Hi everyone, Let (G,.) be group with two subgroup H and K, I want to know when HK=G? $HK={h.k | h\in H ,k\in K}$ I try this
D= CyclicPermutationGroup(9)
H=D.subgroups()
for i in H:
for j in H:
i*j=K
if(K==G)
I have no idea how define " * "
I suppose you can try this:
D = CyclicPermutationGroup(9)
H = D.subgroups()
for i in H:
for j in H:
K = set(D(x*y) for x in i for y in j)
if K == set(D):
...
Asked: 2012-10-30 16:32:49 +0100
Seen: 600 times
Last updated: Oct 30 '12
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
http://www.gap-system.org/Manuals/doc/ref/chap49_mj.html suggests this isn't possible even in GAP.