MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

That is, suppose that a subset S of the octonions $\mathbb{O}$ is a group under octonionic multiplication. Does it follow that S is contained in the Quaternions $\mathbb{H}$?

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

Are you assuming that the subset is multiplicatively closed? If not, exactly what do you mean by "associative"? Do you mean associations of length 3, or of all lengths?

If $S$ is associative, then the $\mathbb R$-linearity of multiplication shows that the vector subspace generated by $S$ is associative (simply break it up into terms and use associativity on each one). If you mean all associations, then that generates an associative subalgebra and you're done. (Being contained in a division algebra is enough to prove Frobenius.)

I'm not sure what to do if only associations of length 3 are allowed. There is probably still a proof of some kind.

share|cite|improve this answer
So that this answer really answers the question, one should probably add to observation that the maximal associative subalgebras of $O$ are all isomorphic to $H$ (but they are many such subalgebras isomorphic to $H$ —transitively permuted by the action of $G_2$, iirc— so the statement «$S$ is contained in $H$» needs to be tweaked into «contained up to conjugation») – Mariano Suárez-Alvarez Feb 10 '12 at 4:46

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.