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. Here we document only those which are meaningful in the context of abelian groups.
Given subgroups H and K of some group G, construct their intersection.
Replace H with the intersection of groups H and K.
Given subgroups H and K of some group G, construct the smallest subgroup containing both.
For an integer n and some abelian group G, construct the subgroup nG. The second return value is the map G to G sending g to ng.
The Frattini subgroup of the finite abelian group G.
Structure: Bool Default: false
The Sylow p-subgroup for the group G. If G is a generic group and the parameter Structure is true, or if the group structure of A is known, then the group structure of the Sylow subgroup is computed.
> m := 34384;
> Zm := Integers(m);
> U := {@ x : x in Zm | GCD(x, m) eq 1 @};
> G := GenericAbelianGroup(U : IdIntrinsic := "Id",
> AddIntrinsic := "*", InverseIntrinsic := "/");
> _ := AbelianGroup(G);
> Factorization(#G);
> Sylow(G, 2);
2-Sylow subgroup: Generic Abelian Group over
Residue class ring of integers modulo 34384
Abelian Group isomorphic to Z/2 + Z/2 + Z/2 + Z/4
Defined on 4 generators in supergroup G:
GAp.1 = G.1
GAp.2 = G.2
GAp.3 = 3*G.3
GAp.4 = 153*G.4
Relations:
2*GAp.1 = 0
2*GAp.2 = 0
2*GAp.3 = 0
4*GAp.4 = 0