First time here? Check out the FAQ!

Ask Your Question
1

How to construct direct product of cyclic groups

asked 2 years ago

abhijitg gravatar image

updated 2 years ago

FrédéricC gravatar image

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)?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
0

answered 2 years ago

abhijitg gravatar image

updated 2 years ago

By trial and error I found the answer:

K = D.as_finitely_presented_group()

H = K.as_permutation_group()

This gives the desired presentation of D.

Preview: (hide)
link

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2 years ago

Seen: 750 times

Last updated: Sep 01 '22