The octonionic projective plane
arXiv:1909.07047
Abstract
This small note, without claim of originality, constructs the projective plane over the octonionic numbers and recalls how this can be used to rule out the existence of higher-dimensional real division algebras, using Adams' solution of the Hopf invariant problem.
9 pages