A normed division algebra is an algebra over the real numbers that is equipped with a norm, which is a function assigning a non-negative length to each element, and allows division by non-zero elements. The only finite-dimensional normed division algebras over the reals are the real numbers, complex numbers, quaternions, and octonions, as established by the Hurwitz's theorem.