# Nonzero Octonions as a 7-sphere

While reading about Moufang loops in the book "An introduction to Quasigroups and their Representations" by Smith, I've encountered the following statement:

The set $S^7$ of nonzero octonions of norm 1 forms a Moufang loop under multiplication. Geometrically, this set is a 7-sphere.

While I understand why this set indeed forms a Moufang loop, I'm not sure how it is viewed as a sphere, or what is the general connection between Moufang loops and this geometrical point of view. Could anyone elaborate?

-

The real octonions are a normed division algebra, and in such a thing you always have a unit sphere. The unit sphere, because of multiplicativity of the norm, is always closed under the product.

The title of your question, though, refers to the nonzero octonions, and that is surly not a sphere (it has the homotopy type of a sphere, and in fact the unit sphere is a strong deformation retract---but I guess that if you know what this term means then you also are aware of this fact!)

-