GroupHomology(G,k):: Group, Int --> List
GroupHomology(G,k,p):: Group, Int, Int --> List

Inputs a group G and integer k \ge 0. The group G should either be finite or else lie in one of a range of classes of infinite groups (such as nilpotent, crystallographic, Artin etc.). The function returns the list of abelian invariants of H_k(G,\mathbb Z).

If a prime p is given as an optional third input variable then the function returns the list of abelian invariants of H_k(G,\mathbb Z_p). In this case each abelian invariant will be equal to p and the length of the list will be the dimension of the vector space H_k(G,\mathbb Z_p).