65.5 Finding Submodules

  • MTX.ProperSubmoduleBasis(module) F

    returns the action on a proper submodule and fail if no proper submodule exists.

  • MTX.BasesSubmodules(module) F

    returns a list containing a basis for every submodule.

  • MTX.BasesMinimalSubmodules(module) F

    returns a list of bases of all minimal submodules.

  • MTX.BasesMaximalSubmodules(module) F

    returns a list of bases of all maximal submodules.

  • MTX.BasesMinimalSupermodules(module,sub) F

    returns a list of bases of all minimal supermodules of the submodule given by the basis sub.

  • MTX.BasesCompositionSeries(module) F

    returns a list of bases of submodules in a composition series in ascending order.

  • MTX.CompositionFactors(module) F

    returns a list of composition factors of module in ascending order.

  • MTX.CollectedFactors(module) F

    returns a list giving all irreducible composition factors with their frequencies.

    [Top] [Previous] [Up] [Next] [Index]

    GAP 4 manual
    February 2000