Timeline for The Weyl group of E8 versus $O_8^+(2)$
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 5, 2016 at 9:58 | comment | added | Marty | Yep - the kernel of $W \rightarrow O(\bar \Omega, N)$ is $\{ \pm 1 \}$. | |
| Feb 5, 2016 at 7:01 | comment | added | John Baez | Thanks. The group called $\mathrm{O}_8^+(2)$ in the original question is not $\mathrm{SO}(\bar{\Omega}),N)$ but $\mathrm{O}(\bar{\Omega},N)$. My question was thus in part whether there's a 2-1 homomorphism from $W$ to $\mathrm{O}(\bar{\Omega},N)$. You're saying there's a homomorphism, but not whether it's 2-1. But I'm pretty sure it's 2-1 now. | |
| Feb 4, 2016 at 7:42 | history | edited | Marty | CC BY-SA 3.0 |
Hedged a bit due to confusions on notation.
|
| Feb 4, 2016 at 5:57 | comment | added | Marty | Incidentally, the notation issues with finite simple groups of Lie type in type $D$ are bemoaned at en.wikipedia.org/wiki/Group_of_Lie_type#Notation_issues. | |
| Feb 4, 2016 at 5:45 | history | edited | Marty | CC BY-SA 3.0 |
added 23 characters in body
|
| Feb 4, 2016 at 3:17 | history | answered | Marty | CC BY-SA 3.0 |