An algorithm for low dimensional group homology.

DOI10.4310/HHA.2010.V12.N1.A3MaRDI QIDQ2267728zbMATH OpenFDO

Authors Joshua Roberts

Publication date 1 March 2010

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.2610, http://intlpress.com/hha/v12/n1/a3/pdf

zbMATH Keywords

algorithmsgroup homologycomputational algebraexperimental mathematicshomology groupsHopf formula

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Homological methods in group theory (20J05) Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over global fields and their integers (20G30) Software, source code, etc. for problems pertaining to group theory (20-04)

Abstract: Given a finitely presented group $G$, Hopf's formula expresses the second integral homology of $G$ in terms of generators and relators. We give an algorithm that exploits Hopf's formula to estimate $H_2(G;k)$, with coefficients in a finite field k, and give examples using $G=S{L}_2$ over specific rings of integers. These examples are related to a conjecture of Quillen.

Recommendations

• An algorithm for computing homology groups
• An algorithm computing homotopy groups.
• Computing the homology of groups: the geometric way.
• Persistent homology of groups.
• Low-dimensional topology and ordering groups.
• A limit approach to group homology.
• scientific article; zbMATH DE number 1786349
• scientific article; zbMATH DE number 3863472
• scientific article; zbMATH DE number 3106555

Cited in

(6)

• Generators for group homology and a vanishing conjecture
• An algorithm for computing homology groups
• An algorithm computing homotopy groups.
• An exact sequence and triviality of Bogomolov multiplier of groups
• Bruner-Greenlees conjecture on real connective K-theory of generalized quaternion groups
• Second mod 2 homology of Artin groups

Describes a project that uses

Uses Software

• GAP

This page was built for publication: An algorithm for low dimensional group homology.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2267728)