MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider Leech lattice definition provided by Wilson (Octonions and Leech lattice, 2008). There are 819 E8 sublattices defined by

$ (2\lambda, 0, 0); $ $ (\lambda \overline{s}, (\lambda \overline{s}) j, 0); $ $ ( (\lambda s)j, \lambda k, (\lambda j) k ) $

where $\lambda$ span 240 vectors of E8 lattice, j,k are 16 base octonions (plus, minus), and s is -1+sum of imaginary unit octonions. (I am testing LaTeX here) See page 3, chapter 3 of Wilson paper. I wonder what is the subgroup of $Co_0$ generated by 819 reflections in 8-dim planes spanned by those E8 sublattices. They could be considered as octonion reflections. And as such they are elements of F4 Lie group being automorphism of $OP^2$.

My questions is following. Has anyone tried to extend definition of complex reflection and quaternion reflection to octonion reflection. In such definition Conway group $Co_0$ would be octonion reflection group i.e. it is generated by reflections in 8-dim planes in 24-dim Euclidean space.

In general when order 2 element in abstract group - called involution - can be considered as reflection ? I know involution is algebraic notion while reflection is geometric. But geometry is something which make group theory interesting.

Regards, Marek

share|cite|improve this question
up vote 5 down vote accepted

Yes, such groups are interesting, see this paper by Daniel Alcock, "Reflection groups on the octave hyperbolic plane,"

If you write to Daniel, he will probably give you more references.

share|cite|improve this answer
Thank you for the reference ! I have downloaded Allcock paper and also Serre lecture on finite subgroups of Lie groups. I will read them. I have made mistake thinking that 819 reflections in E8 spaces preserve 819 spaces. The first example is number 4 reflection (1,1,0) which does not preserve 70th E8 which is (lambdas)i, lambdaj, (lambda*i)j. I checked this in GAP. This is nothing strange, because reflections 1,4,5,6,7,8,9,52 generate full Co0 which does not have presentation as 819 permutaions. Removing one by one generators we obtain Suzuki chain. Regards, Marek – Marek Mitros Apr 12 '12 at 11:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.