Category:Unitary Division Algebras
Jump to navigation
Jump to search
This category contains results about Unitary Division Algebras.
Definitions specific to this category can be found in Definitions/Unitary Division Algebras.
Let $\struct {A_F, \oplus}$ be a division algebra.
Then $\struct {A_F, \oplus}$ is a unitary division algebra if and only if it has an identity element $1_{A_F}$ called a unit for $\oplus$, that is:
- $\exists 1_{A_F} \in A_F: \forall a \in A_F: a \oplus 1_{A_F} = 1_{A_F} \oplus a = a$
The unit is usually denoted $1$ when there is no source of confusion with the identity elements of the underlying structures of the division algebra.
Pages in category "Unitary Division Algebras"
The following 2 pages are in this category, out of 2 total.