GAP QA #9
All conjugate Subgroups
Keywords:
Subgroups, Transversal
Respondent:
Alexander Hulpke (
hulpke@math.colostate.edu)
Question:
I have got a group G and a subgroup H and would like to compute all the
conjugate subgroups H^g = g^-1*H*g of H in G. Further, for every conjugate
subgroup of H in G, call it C, I would like to know one g satisfying C=H^g.
Answer:
You want to use the right transversal. If $H$ is a subgroup, let
T:= RightTransversal( G, Normalizer(G,H) );
The elements of $T$ are in one-to-one correspondence to the subgroups
conjugates to $H$.
You can run through the transversal in a loop:
for i in T do
rep:=i;
conj:=H^i;
...
od;
or look at particular transversal elements
T[i]
Finally you can identify the tranversal position of a coset by
`PositionCanonical' (gives the position of the representative for the same
coset. This might not be the same representative).
The transversal object uses some magic to avoid writing out a list of all
elements at once, so this approach is also memory efficient.
Back
to the GAP QA list