An algebra over a field where division exists.
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.
New to topics? Read the docs here!