Ask Your Question

How to write an involution in Weyl group as a product of $2$-cycles?

asked 2023-04-22 10:54:36 +0200

lijr07 gravatar image

updated 2023-04-27 22:22:45 +0200

Is there some method in Sage to decompose an involution in Weyl group as a product of $2$-cycles (transpositions)?

For example, I define

W=WeylGroup(['A', 3], prefix='s')

How to write t2 as a product of $2$-cycles? The result should be $(1,4)(2,3)$. Thank you very much.

edit retag flag offensive close merge delete


Something along these lines should do the job:

R = W.domain().roots()
perm = Word(map(t2.action,R)).standard_permutation() / Word(R).standard_permutation()
Max Alekseyev gravatar imageMax Alekseyev ( 2023-04-25 02:05:22 +0200 )edit

@max, thank you very much! But the result I got is [(1, 12), (2, 11), (3, 10), (4, 9), (5, 8), (6, 7)] not (1,4)(2,3). Do you know what is the problem? Thank you very much.

lijr07 gravatar imagelijr07 ( 2023-04-27 22:24:26 +0200 )edit

It depends on how you interpret t2 as a permutation. In the code above I consider it as a permutation of the 12 roots. If you have something else in mind, modify the code accordingly.

Max Alekseyev gravatar imageMax Alekseyev ( 2023-04-27 23:26:39 +0200 )edit

E.g. try to change .roots() to .simple_roots().

Max Alekseyev gravatar imageMax Alekseyev ( 2023-04-27 23:44:28 +0200 )edit

@max, thank you very much. I tried simple_roots() but it has errors. The t2 is the product of simple reflections $s_1s_2s_3s_1s_2s_1$.

lijr07 gravatar imagelijr07 ( 2023-04-28 15:55:22 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2023-05-02 21:57:52 +0200

Max Alekseyev gravatar image

According to the interpretation given in the comments, the desired representation as the product of 2-cycles can be obtained as

prod(Permutation((i,i+1)) for i in t1).cycle_tuples()
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-04-22 10:54:36 +0200

Seen: 149 times

Last updated: May 02