Division algebra

In abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible. The multiplication operation of a division algebra is not assumed to be necessarily either commutative or associative.