Ask Your Question

Revision history [back]

How to construct direct product of cyclic groups

If I use D = direct_product_permgroups([G1,G2]) where G1 = CyclicPermutationGroup(3), G2 = CyclicPermutationGroup(4), then I get D presented as a subgroup of SymmetricGroup(7). Is there a way to obtain the product of G1 and G2 as a subgroup of SymmetricGroup(12)?

More generally, is there a way to obtain direct product of CyclicPermutationGroup(n1) and CyclicPermutationGroup(n2) as a subgroup of SymmetricGroup(n1 n2) rather than SymmetricGroup(n1+n2)?

click to hide/show revision 2
None

How to construct direct product of cyclic groups

If I use

D = direct_product_permgroups([G1,G2]) where direct_product_permgroups([G1,G2])

where

G1 = CyclicPermutationGroup(3), CyclicPermutationGroup(3)
G2 = CyclicPermutationGroup(4), CyclicPermutationGroup(4)

then I get D presented as a subgroup of SymmetricGroup(7). Is there a way to obtain the product of G1 and G2 as a subgroup of SymmetricGroup(12)?

More generally, is there a way to obtain direct product of CyclicPermutationGroup(n1) and CyclicPermutationGroup(n2) as a subgroup of SymmetricGroup(n1 n2) rather than SymmetricGroup(n1+n2)?