Cohomology and Extensions
- Introduction
- Creation of a Cohomology Module
CohomologyModule(G, M): GrpPerm, ModGrp → ModCohoCohomologyModule(G, M): GrpPC, ModGrp → ModCohoCohomologyModule(G, M): GrpMat, ModGrp → ModCohoCohomologyModule(G, M): GrpFP, ModGrp → ModCohoCohomologyModule(G, Q, T): GrpPerm, SeqEnum, SeqEnum → ModCohoCohomologyModule(G, Q, T): GrpPC, SeqEnum, SeqEnum → ModCohoCohomologyModule(G, Q, T): GrpMat, SeqEnum, SeqEnum → ModCohoCohomologyModule(G, Q, T): GrpFP, SeqEnum, SeqEnum → ModCohoExample: Coho Module1Example: Coho Module4Example: Coho Module2Example: Coho Module3CohomologyModule(G, A, M): GrpPerm, GrpAb, Any → ModCoho
- Accessing Properties of the Cohomology Module
- Calculating Cohomology
CohomologyGroup(CM, n): ModCoho, RngIntElt → ModTupRngExample: Coho Module2contExample: Coho Module3contCohomologicalDimension(CM, n): ModCoho, RngIntElt → RngIntEltCohomologicalDimension(M, n): ModGrp, n → RngIntEltCohomologicalDimensions(M, n): ModGrp, n → RngIntEltCohomologicalDimension(G, M, n): GrpPerm, ModRng, RngIntElt → RngIntEltH1Dimension(F, f, M): GrpFP, Map, ModGrp → RngIntEltH1Dimension(G, f, K): GrpFP, Map, Rng → RngIntEltH1DimensionSymmetricSquare(G, f, K): GrpFP, Map, Rng → RngIntEltH1DimensionExteriorSquare(G, f, K): GrpFP, Map, Rng → RngIntEltExample: Coho ExampleExample: Coho Module4 ContExample: More Difficult
- Cocycles
ZeroCocycle(CM, s): ModCoho, SeqEnum → UserProgramZeroCocycle(CM, s): ModCoho, ModTupRngElt → UserProgramIdentifyZeroCocycle(CM, s): ModCoho, UserProgram → ModTupRngEltOneCocycle(CM, s): ModCoho, SeqEnum → UserProgramOneCocycle(CM, s): ModCoho, ModTupRngElt → UserProgramIdentifyOneCocycle(CM, s): ModCoho, UserProgram → ModTupRngEltIsOneCoboundary(CM, s): ModCoho, UserProgram → BoolElt, UserProgramTwoCocycle(CM, s): ModCoho, SeqEnum → UserProgramTwoCocycle(CM, s): ModCoho, ModTupRngElt → UserProgramIdentifyTwoCocycle(CM, s): ModCoho, UserProgram → ModTupRngEltIsTwoCoboundary(CM, s): ModCoho, UserProgram → BoolElt, UserProgramExample: cocycles
- The Restriction to a Subgroup
- Other Operations on Cohomology Modules
CorestrictionMapImage(G, C, c, i): Grp, ModCoho, UserProgram, RngIntElt → UserProgramCorestrictCocycle(G, C, c, i): Grp, ModCoho, UserProgram, RngIntElt → UserProgramInflationMapImage(M, c): Map, UserProgram → UserProgramLiftCocycle(M, c): Map, UserProgram → UserProgramCoboundaryMapImage(M, i, c): ModCoho, RngIntElt, UserProgram → UserProgram
- Constructing Extensions
Extension(CM, s): ModCoho, SeqEnum → Grp, HomGrp, MapExtension(CM, s): ModCoho, ModTupRngElt → Grp, HomGrp, MapExtension(GrpPerm, CM, s): Cat, ModCoho, SeqEnum → GrpPerm, HomGrp, MapExtension(GrpPerm, CM, s): Cat, ModCoho, ModTupRngElt → GrpPerm, HomGrp, MapExample: A7coverExample: DempwolffSplitExtension(CM): ModCoho → Grp, HomGrp, MapSplitExtension(G, M): ModCoho → Grp, ModGrp -> HomGrp, MapSplitExtension(M): ModCoho → ModGrp -> HomGrp, MapSplitExtension(GrpPerm,CM): Cat, ModCoho → GrpPerm, HomGrp, MapSplitExtension(GrpPerm,G,M): Cat, ModCoho → GrpPerm, HomGrp, MapSplitExtension(GrpPerm,M): Cat, ModCoho → GrpPerm, HomGrp, MapExample: Split ExtensionExample: Split ExtensionpMultiplicator(G, p): GrpPerm, RngIntElt → [ RngIntElt ]pCover(G, F, p): GrpPerm, GrpFP, RngIntElt → GrpFPExample: straightforwardExample: Nonsplit 2^5.L 5(2)Example: Module Integers
- Constructing Distinct Extensions
- Finite Group Cohomology
- Creation of Gamma-groups
GammaGroup(Gamma, A, action): Grp, Grp, Map[Grp, GrpAuto] → GGrpInducedGammaGroup(A, B): GGrp, Grp → GGrpExample: create G GrpIsNormalised(B, action): Grp, Map → BoolEltIsInduced(AmodB): GGrp → BoolElt, GGrp, GGrp, Map, Map
- Accessing Information
- One Cocycles
OneCocycle(A, imgs): GGrp, SeqEnum[GrpElt] → OneCoCOneCocycle(A, alpha): GGrp, Map[Grp,Grp] → OneCoCTrivialOneCocycle(A): GGrp → OneCoCIsOneCocycle(A, imgs): GGrp, SeqEnum[GrpElt] → BoolElt, OneCoCIsOneCocycle(A, alpha): GGrp, Map[Grp,Grp] → BoolElt, OneCoCAreCohomologous(alpha, beta): OneCoC, OneCoC → BoolElt, GrpEltCohomologyClass(alpha): OneCoC → SetIndx[OneCoC]InducedOneCocycle(AmodB, alpha): GGrp, OneCoC → OneCoCInducedOneCocycle(A, B, alpha): GGrp, Grp, OneCoC → OneCoCExtendedOneCocycle(alpha): OneCoC → SetEnum[OneCoC]ExtendedCohomologyClass(alpha): OneCoC → SetEnum[OneCoC]GammaGroup(alpha): OneCoC → GGrpCocycleMap(alpha): OneCoC → Map
- Group Cohomology
