Although, in the case of an abelian group, many of the standard subgroup constructors are trivial, they are all implemented for the sake of uniformity.

H ^ g : GrpAb, GrpAbElt -> GrpAb

Conjugate(H, g) : GrpAb, GrpAbElt -> GrpAb

Construct the conjugate g^(-1) H g of the group H under the action of the element g. The group H and the element g must belong to a common group.

H ^ G : GrpAb, GrpAb -> GrpAb

ncl< G | H > : GrpAb, GrpAb -> GrpAb

Given a subgroup H of the group G, construct the normal closure of H in G.

Given subgroups H and K of some group G, construct their intersection.

Replace H with the intersection of groups H and K.

CommutatorSubgroup(H, K) : GrpAb, GrpAb -> GrpAb

Construct the commutator subgroup of groups H and K, where H and K are subgroups of a common group G.

Centraliser(G, g) : GrpAb, GrpAbElt -> GrpAb

The centralizer of the element g in the group G.

Centralizer(G, H) : GrpAb, GrpAb -> GrpAb

Centraliser(G, H) : GrpAb, GrpAb -> GrpAb

The centralizer of the group H in the group G.

The maximal normal subgroup of G that is contained in the subgroup H of G.

The normal closure of the subgroup H in the group G.

Normaliser(G, H) : GrpAb, GrpAb -> GrpAb

The normalizer of the subgroup H of the group G.

Sylow(G, p) : GrpAb, RngIntElt -> GrpAb

The Sylow p-subgroup for the group G.

The largest normal p-subgroup of the group G.