- module
- module-arith
- module-diff
- module-integers
- module-isomorphism
- module-props
- module-with-basis
- ModuleExtensions
- ModuleHomomorphism
- ModuleMap
- ModuleMaps
- ModuleOperations
- ModuleOverSmallerField
- Modules
- Modules (SERIES RINGS OVER p-ADIC RINGS)
- AbsoluteModulesOverMinimalField(Q, F) : [ ModGrp ], FldFin -> [ ModGrp ]
- AbsolutelyIrreducibleModules(G) : Grp -> SeqEnum
- AbsolutelyIrreducibleModules(G, K : parameters) : Grp, Fld -> SeqEnum
- AbsolutelyIrreducibleModulesBurnside(G, K : parameters ) : Grp, FldFin -> [ ModGrp ]
- AbsolutelyIrreducibleModulesSchur(G, K) : GrpPC, Fld -> List
- AbsolutelyIrreducibleModulesSchur(G, K) : GrpPC, Fld -> List
- AbsolutelyIrreducibleModulesSoluble(G, p) : Grp, RngIntElt -> SeqEnum
- AbsolutelyIrreducibleRepresentationsSchur(G, k: parameters) : GrpPC, Rng -> List[Map]
- CompactProjectiveResolutionsOfSimpleModules(A,n) : AlgBas, RngIntElt -> SeqEnum
- DimensionsOfInjectiveModules(B) : AlgBas -> SeqEnum
- DimensionsOfProjectiveModules(B) : AlgBas -> SeqEnum
- IrreducibleModules(G, K) : Grp, Fld -> SeqEnum
- IrreducibleModules(G, K : parameters) : Grp, Fld -> SeqEnum
- IrreducibleModules(G, K : parameters) : Grp, Fld -> SeqEnum
- IrreducibleModules(G, K : parameters) : Grp, Fld -> SeqEnum
- IrreducibleModules(G, Q : parameters) : Grp, FldRat -> SeqEnum, SeqEnum
- IrreducibleModulesBurnside(G, K : parameters ) : Grp, FldFin -> [ ModGrp ]
- IrreducibleModulesSchur(G, K: parameters) : GrpPC, Rng -> List[GModule]
- IrreducibleRepresentationsSchur(G, k: parameters) : GrpPC, Rng -> List[Map]
- LowDimensionalModules(G, K, n) : Grp, Fld, RngIntElt -> SeqEnum
- ModulesOverCommonField(M, N) : ModGrp, ModGrp -> ModGrp, ModGrp
- ModulesOverSmallerField(Q, F) : SeqEnum, FldFin -> ModGrp
- ProjectiveIndecomposableModules(G, K: parameters) : Grp, FldFin -> SeqEnum
- SumOfBettiNumbersOfSimpleModules(A, n) : AlgBas, RngIntElt -> RngIntElt
- Grp_Modules (Example H63E30)
- modules
V2.28, 13 July 2023