Timeline for An identity in Weyl group
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2018 at 9:39 | comment | added | Jianrong Li | @darij grinberg, thank you very much. Yes, we can take $W_J$ as the ambient group. | |
| Jun 14, 2018 at 21:14 | comment | added | darij grinberg | Also, the proof of your claim should be a 5-liner if properly set up. Conjugation by $w_0^J$ is a group isomorphism $W_K \to W_{K^{\ast}}$ sending $K$ to $K^{\ast}$, so it is an isomorphism of Coxeter groups. Thus, it sends longest element to longest element. | |
| Jun 14, 2018 at 20:44 | comment | added | darij grinberg | Is there any reason to work with $W$ and not $W_J$ as the ambient group? | |
| Jun 14, 2018 at 20:37 | history | asked | Jianrong Li | CC BY-SA 4.0 |