An algebra over a field where division exists.
Notably, the octonions are not associative.
Articles by others on the same topic
Division algebra is a type of algebraic structure where division is possible, except by zero. More formally, a division algebra is a vector space over a field \( F \) equipped with a bilinear multiplication operation that satisfies the following conditions: 1. **Non-Associativity or Associativity**: In a general division algebra, multiplication can be either associative or non-associative. If it is associative, the algebra is called an associative division algebra.