Definition:Division Algebra/Definition 2
Jump to navigation
Jump to search
Definition
Let $\struct {A_F, \oplus}$ be an algebra over field $F$ such that $A_F$ does not consist solely of the zero vector $\mathbf 0_A$ of $A_F$.
$\struct {A_F, \oplus}$ is a division algebra if and only if it has no zero divisors:
- $\forall a, b \in A_F: a \oplus b = \mathbf 0_A \implies a = \mathbf 0_A \lor b = \mathbf 0_A$
Also see
- Division Algebra has No Zero Divisors, in which the two definitions are shown to be equivalent.
- Results about division algebras can be found here.