Not Necessarily Associative Division Algebras
If the division algebra is not assumed to be associative, usually some weaker condition (such as alternativity or power associativity) is imposed instead. See algebra over a field for a list of such conditions.
Over the reals there are (up to isomorphism) only two unitary commutative finite-dimensional division algebras: the reals themselves, and the complex numbers. These are of course both associative. For a non-associative example, consider the complex numbers with multiplication defined by taking the complex conjugate of the usual multiplication:
This is a commutative, non-associative division algebra of dimension 2 over the reals, and has no unit element. There are infinitely many other non-isomorphic commutative, non-associative, finite-dimensional real divisional algebras, but they all have dimension 2.
In fact, every finite-dimensional real commutative division algebra is either 1 or 2 dimensional. This is known as Hopf's theorem, and was proved in 1940. The proof uses methods from topology. Although a later proof was found using algebraic geometry, no direct algebraic proof is known. The fundamental theorem of algebra is a corollary of Hopf's theorem.
Dropping the requirement of commutativity, Hopf generalized his result: Any finite-dimensional real division algebra must have dimension a power of 2.
Later work showed that in fact, any finite-dimensional real division algebra must be of dimension 1, 2, 4, or 8. This was independently proved by Michel Kervaire and John Milnor in 1958, again using techniques of algebraic topology, in particular K-theory. Adolf Hurwitz had shown in 1898 that the identity held only for dimensions 1, 2, 4 and 8. (See Hurwitz's theorem.)
While there are infinitely many non-isomorphic real division algebras of dimensions 2, 4 and 8, one can say the following: any real finite-dimensional division algebra over the reals must be
- isomorphic to R or C if unitary and commutative (equivalently: associative and commutative)
- isomorphic to the quaternions if noncommutative but associative
- isomorphic to the octonions if non-associative but alternative.
The following is known about the dimension of a finite-dimensional division algebra A over a field K:
- dim A = 1 if K is algebraically closed,
- dim A = 1, 2, 4 or 8 if K is real closed, and
- If K is neither algebraically nor real closed, then there are infinitely many dimensions in which there exist division algebras over K.
Read more about this topic: Division Algebra
Famous quotes containing the words necessarily and/or division:
“Does any one suppose that private prayer is necessarily candid—necessarily goes to the roots of action! Private prayer is inaudible speech, and speech is representative: who can represent himself just as he is, even in his own reflections?”
—George Eliot [Mary Ann (or Marian)
“Affection, indulgence, and humor alike are powerless against the instinct of children to rebel. It is essential to their minds and their wills as exercise is to their bodies. If they have no reasons, they will invent them, like nations bound on war. It is hard to imagine families limp enough always to be at peace. Wherever there is character there will be conflict. The best that children and parents can hope for is that the wounds of their conflict may not be too deep or too lasting.”
—New York State Division of Youth Newsletter (20th century)