Division algebra
= Division algebra
A division algebra over a <field> $k$ is a <division ring> equipped with a unital <algebra> structure over $k$, with $k$ mapping into its <center of an associative algebra>. Every nonzero element is invertible; it need not be finite-dimensional over $k$.