Computing homology using generalized Gröbner bases

DOI10.1016/j.jsc.2013.01.004zbMath1277.20058MaRDI QIDQ386986

Becky Eide Hall

Publication date: 11 December 2013

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

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

zbMATH Keywords

group algebras; Gröbner bases; congruence subgroups; group homology; \(\text{SL}_3(\mathbb Z)\)

Mathematics Subject Classification ID

20H05: Unimodular groups, congruence subgroups (group-theoretic aspects)

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

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

20G10: Cohomology theory for linear algebraic groups

11F75: Cohomology of arithmetic groups

Cites Work

• Unnamed Item
• Unnamed Item
• On the modular representations of degree two of \(\text{Gal}({\overline {\mathbb Q}}/{\mathbb Q})\)
• Cohomology of congruence subgroups of \(SL(n,Z)\)
• Galois representations attached to mod \(p\) cohomology of \(GL(n,\mathbb{Z})\)
• An algorithm for constructing Gröbner and free Schreier bases in free group algebras
• An introduction to commutative and noncommutative Gröbner bases
• Multiplicative bases, Gröbner bases, and right Gröbner bases
• An analogue of Serre's conjecture for Galois representations and Hecke eigenclasses in the \(\operatorname{mod} p\) cohomology of \(\text{GL}(n,\mathbb{Z})\)
• Galois representations with conjectural connections to arithmetic cohomology
• The weight in a Serre-type conjecture for tame \(n\)-dimensional Galois representations
• On Serre's reciprocity conjecture for 2-dimensional mod \(p\) representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\)
• Heeke Eigenforms in the Cohomology of Congruence Subgroups of SL(3, Z)
• Recursive Unsolvability of a problem of Thue