AbelianGroup(Q) : [ RngIntElt ] -> GrpAb

Let Q = [ a_1, ..., a_r] be a sequence of non-negative integers. This function creates the abelian group Z_1 + ... + Z_r, where Z_i is the cyclic group of order a_i, i = 1, ..., r. Note that a zero term of Q is interpreted as infinite order.

AbelianGroup(M) : ModTupED -> GrpAb, Hom

Given a Z-module M, return the corresponding abelian group.

Given a finitely presented, permutation, matrix or polycyclic group G, return the maximal abelian quotient A of G. The function returns the natural homomorphism phi: G -> A as its second value.

The direct sum of abelian groups A and B.