Ask Your Question
2

Automorphism group of Coxeter groups

asked 2019-08-19 12:05:49 +0100

GA316 gravatar image

updated 2020-04-15 21:48:43 +0100

FrédéricC gravatar image

Coxeter groups can be invoked using the comment

W = CoxeterGroup(['A',3],implementation='reflection')

Now, W has three simple reflections S_1, S_2 and S_3. and I am interested in studying the automorphism S_1 -----> S_3, S_2 -----> S_2 and S_3 -----> S_1. Can any one please tell me, how to implement this automorphism of W in sage?

Thank you.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
1

answered 2019-08-27 11:26:08 +0100

Christian Stump gravatar image

This automorphism is realized by conjugation with the longest element in $W$:

sage: W = CoxeterGroup(['A',3],implementation="reflection")
sage: S = W.simple_reflections()
sage: Sauto = { i: W.w0*S[i]*W.w0 for i in S.keys() }
sage: S
Finite family {1: [-1  1  0]
[ 0  1  0]
[ 0  0  1], 2: [ 1  0  0]
[ 1 -1  1]
[ 0  0  1], 3: [ 1  0  0]
[ 0  1  0]
[ 0  1 -1]}
sage: Sauto
{1: [ 1  0  0]
 [ 0  1  0]
 [ 0  1 -1], 2: [ 1  0  0]
 [ 1 -1  1]
 [ 0  0  1], 3: [-1  1  0]
 [ 0  1  0]
 [ 0  0  1]}
edit flag offensive delete link more

Comments

Although there is a subtlety with ['F',4], since in this case, this automorphism is the identity...

jipilab gravatar imagejipilab ( 2019-08-27 13:10:34 +0100 )edit

@jipilab: Yep, same in D4, where this is still an involution while the automorphism group is an $S_3$... But the question was about type A where it works...

Christian Stump gravatar imageChristian Stump ( 2019-08-27 13:14:34 +0100 )edit

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

Stats

Asked: 2019-08-19 12:05:49 +0100

Seen: 389 times

Last updated: Apr 15 '20