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.
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]}Although there is a subtlety with ['F',4], since in this case, this automorphism is the identity...
@jipilab: Yep, same in D4, where this is still an involution while the automorphism group is an S3... But the question was about type A where it works...
Asked: 5 years ago
Seen: 419 times
Last updated: Apr 15 '20
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
