Ask Your Question

simultaneous conjugacy in Sn

asked 2023-02-13 16:20:54 +0200

matrixman gravatar image

Is there a built-in function in sage to determine whether two pairs (a,b) and (c,d) of elements of S_n (symmetric group of n letters) are simultaneously conjugate, i.e. checking whether there exists x such that

xa=cx and xb=dx ?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2023-02-13 20:59:11 +0200

Max Alekseyev gravatar image

updated 2023-02-13 21:00:52 +0200

Using GAP interface and the idea from here:

G=SymmetricGroup(3); a=G((1,2)); c=G((2,3))
b, d = c, a    # just as an example

C = (G(x) for x in gap.AsList( gap.RightCoset(gap.Centralizer(G,c), gap.RepresentativeAction(G,c,a)) ))
    x = next(x for x in C if x*b==d*x)
except StopIteration:
    print('No x exists!')
edit flag offensive delete link more

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


Asked: 2023-02-13 16:20:54 +0200

Seen: 88 times

Last updated: Feb 13 '23