On, around, and beyond Frobenius' theorem on division algebras

Frobenius' Theorem states that, besides the fields of real and complex numbers, the algebra of quaternions H is the only finite-dimensional real division algebra. We first give a short elementary p...