Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.

DOI10.1016/j.jsc.2010.09.001zbMath1210.20047MaRDI QIDQ629345

Juan-Miguel Gracia

Publication date: 9 March 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.09.001

zbMATH Keywords

finite \(p\)-groups; projective resolutions; computational algebra; presentations of cohomology rings; kernels of derivations

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

18G40: Spectral sequences, hypercohomology

20J06: Cohomology of groups

20D15: Finite nilpotent groups, (p)-groups

20-04: Software, source code, etc. for problems pertaining to group theory

Uses Software

• GAP
• HAP
• Mod-p group cohomology
• happrime