symmetric group: get back conjugacy class from its generators

rue82
113 ●1 ●4 ●13

The function below returns a list r of elements of the symmetric group that leave a certain polynomial f fixed. I know (by the properties of f that I'm not specifiying here) that the list of g's that leave it fixed generate one of the 11 conjugacy subclasses of S(4). What is the best way to output from my code below a number between 1 and 11 that corresponds to such subclass?

R = PolynomialRing(QQ, 4, ["q1","q2","q3","q4"])
q1,q2,q3,q4 = R.gens()
f = 1 + q1 +q2 # in general, it is a polynomial with unit coefficients in the ring R
G = SymmetricGroup(4)
cl = G.conjugacy_classes_subgroups()
r = []
for g in G:
     if (f * g) == f: r.append(g)
return r

add a comment

2 Answers

Sort by » oldest newest most voted

answered 5 years ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

Unfortunately the method conjugacy_classes_subgroups returns representatives, unlike GAP, which returns objects representing conjugacy classes. It would be nicer to have such objects in SageMath as well.

Fortunately we can still use the underlying interface to GAP:

H = G.subgroup(r)
gap_cl = G.gap().ConjugacyClassesSubgroups()
gap_H = H.gap()
cl_index_of_H = next(k for (k,gap_c) in enumerate(gap_cl) if gap_H in gap_c)

and then (using that the ordering of cl is the same as gap_cl):

sage: cl[cl_index_of_H]
Subgroup generated by [(3,4), (1,2)(3,4)] of (Symmetric group of order 4! as a permutation group)

link

Comments

Looking at both your answer and mine, would it be possible to outpu a number between 1 and 11 instead of 'Subgroup generated by...'?

rue82 ( 5 years ago )

That would be cl_index_of_H + 1.

rburing ( 5 years ago )

add a comment

answered 5 years ago

rue82
113 ●1 ●4 ●13

updated 5 years ago

This is my attempt (edit):

R = PolynomialRing(QQ, 4, ["q1","q2","q3","q4"])
q1,q2,q3,q4 = R.gens()
f = 1+q1+q2 # for example
G = SymmetricGroup(4)
r = []
for g in G:
    if (f * g) == f: r.append(g)
H = PermutationGroup(r)
return ConjugacyClass(H, G)

link

Comments

Be careful that isomorphism is weaker than conjugacy, so this doesn't always work (it gives "false positives").

rburing ( 5 years ago )

@rburing Thanks, indeed I corrected.

rue82 ( 5 years ago )

add a comment

Your Answer

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

Add Answer

symmetric group: get back conjugacy class from its generators

2 Answers

Comments

Comments

Your Answer

Question Tools

Stats

Related questions

symmetric group: get back conjugacy class from its generators savecancel

2 Answers

Comments

Comments

Your Answer

Question Tools

Stats

Related questions

symmetric group: get back conjugacy class from its generators