Subsections

• Construction of Subgroups
• Construction of Quotient Groups

Construct the subgroup B of the abelian group A generated by the elements specified by the terms of the generator list L. A term L[i] of the generator list may consist of any of the following objects:

• An element liftable to A;
• A sequence of integers representing an element of A;
• A subgroup of A;
• A set or sequence of type (a), (b), or (c).

The collection of words and groups specified by the list must all belong to the group A and B will be constructed as a subgroup of A.

Given an abelian group F, and a set of relations R in the generators of F, construct the quotient A of F by the subgroup of F defined by R. The presentation defining the group A consists of the relations for F (if any), together with the additional relations defined by the list R.

The expression defining F may be either simply the name of a previously constructed group, or an expression defining an abelian group. The possibilities for the relation list R are the same as for the AbelianGroup construction.

The function returns:

• The quotient group A;
• The natural homomorphism phi : F -> A.

Given a subgroup B of the abelian group A, construct the quotient of A by B.