Creation of a Cohomology Module
CohomologyModule(G, M) : GrpPerm, ModGrp -> ModCoho
CohomologyModule(G, Q, T) : GrpPerm, SeqEnum, SeqEnum -> ModCoho
Example GrpCoh_coho-module1 (H27E1)
Accessing Properties of the Cohomology Module
Module(CM) : ModCoho -> ModGrp
Invariants(CM) : ModCoho -> SeqEnum
Dimension(CM) : ModCoho -> RngIntElt
Ring(CM) : ModCoho -> ModGrp
Group(CM) : ModCoho -> Grp
FPGroup(CM) : ModCoho -> Grp, HomGrp
Calculating Cohomology
CohomologyGroup(CM, n) : ModCoho, RngIntElt -> ModTupRng
CohomologicalDimension(CM, n) : ModCoho, RngIntElt -> RngIntElt
CohomologicalDimension(G, M, n) : GrpPerm, ModRng, RngIntElt -> RngIntElt
Example GrpCoh_coho-example (H27E2)
Example GrpCoh_more-difficult (H27E3)
Cocycles
ZeroCocycle(CM, s) : ModCoho, SeqEnum -> ModTupRngElt
IdentifyZeroCocycle(CM, s) : ModCoho, SeqEnum -> ModTupRngElt
OneCocycle(CM, s) : ModCoho, SeqEnum -> UserProgram
IdentifyOneCocycle(CM, s) : ModCoho, UserProgram -> ModTupRngElt
TwoCocycle(CM, s) : ModCoho, SeqEnum -> UserProgram
IdentifyTwoCocycle(CM, s) : ModCoho, UserProgram -> ModTupRngElt
Example GrpCoh_cocycles (H27E4)
Example GrpCoh_restriction (H27E5)
Constructing Extensions
Extension(CM, s) : ModCoho, SeqEnum -> Grp
SplitExtension(CM) : ModCoho -> Grp
pMultiplicator(G, p) : GrpPerm, RngIntElt -> [ RngIntElt ]
pCover(G, F, p) : GrpPerm, GrpFP, RngIntElt -> GrpFP
Example GrpCoh_straightforward (H27E6)
Example GrpCoh_module-integers (H27E7)
Constructing Distinct Extensions
DistinctExtensions(CM) : ModCoho -> SeqEnum
Example GrpCoh_distinct-extensions (H27E8)
ExtensionsOfElementaryAbelianGroup(p, d, G) : RngIntElt, RngIntElt, GrpPerm -> SeqEnum
Example GrpCoh_extensions-abelian (H27E9)
ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
Example GrpCoh_extensions-soluble (H27E10)
Example GrpCoh_distinct-extensions (H27E11)
Creation of Gamma-groups
GammaGroup(Gamma, A, action) : Grp, Grp, Map[Grp, GrpAuto] -> GGrp
InducedGammaGroup(A, B) : GGrp, Grp -> GGrp
Example GrpCoh_createGGrp (H27E12)
IsNormalised(B, action) : Grp, Map -> BoolElt
IsInduced(AmodB) : GGrp -> BoolElt, GGrp, GGrp, Map, Map
Accessing Information
Group(A) : GGrp -> Grp
GammaAction(A) : GGrp -> Map[Grp, GrpAuto]
ActingGroup(A) : GGrp -> Grp
One Cocycles
OneCocycle(A, imgs) : GGrp, SeqEnum[GrpElt] -> OneCoC
TrivialOneCocycle(A) : GGrp -> OneCoC
IsOneCocycle(A, imgs) : GGrp, SeqEnum[GrpElt] -> BoolElt, OneCoC
AreCohomologous(alpha, beta) : OneCoC, OneCoC -> BoolElt, GrpElt
CohomologyClass(alpha) : OneCoC -> SetIndx[OneCoC]
InducedOneCocycle(AmodB, alpha) : GGrp, OneCoC -> OneCoC
ExtendedOneCocycle(alpha) : OneCoC -> SetEnum[OneCoC]
ExtendedCohomologyClass(alpha) : OneCoC -> SetEnum[OneCoC]
GammaGroup(alpha) : OneCoC -> GGrp
CocycleMap(alpha) : OneCoC -> Map
Group Cohomology
Cohomology(A, n) : GGrp, RngIntElt -> SetEnum[OneCoC]
OneCohomology(A) : GGrp -> SetEnum[OneCoC]
TwistedGroup(A, alpha) : GGrp, OneCoC -> GGrp