Mod-p group cohomology

swMATH ID: 8638
Software Authors: Simon King, David Green
Description: This is an optional package for the Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal presentations of the cohomology rings, can compute various ring invariants (Poincaré series, a-invariant, depth, ...) and also the nil-radical and essential classes. It provided the first complete computation of the mod-2 cohomology rings of all groups of order 128. It was also used to compute the mod-p cohomology of various finite simple groups (for different primes p), including the first computation of the mod-2 cohomology ring of the third Conway group, showing that this ring is Cohen-Macaulay.
Homepage: http://sage.math.washington.edu/home/SimonKing/Cohomology/
Dependencies: Sage
Keywords: modular cohomology; finite groups; stable element method; projective resolution
Related Software: GAP; SageMath; SINGULAR; ModIsomExt; SmallGrp; UnitLib; LAGUNA; ModIsom; LiE; Z; CHomP; QuillenSuslin; REPSN; KILLING; GCLC; SmallGroups Library; ATLAS Group Representations; MeatAxe; Cython; happrime
Cited in: 9 Documents

Citations by Year