Division algebra

An algebra $ A $ over a field $ F $ such that for any elements $ a \neq 0 $ and $ b $ the equations $ ax = b $, $ ya = b $ are solvable in $ A $. An associative division algebra, considered as a ring, is a skew-field, its centre $ C $ is a field, and $ C \supseteq F $. If $ C = F $, the division algebra $ A $ is called a central division algebra. Finite-dimensional central associative division algebras over $ F $ may be identified, up to an isomorphism, with the elements of the Brauer group $ B( F ) $ of the field $ F $. Let $ [ A: F ] $ denote the dimension of $ A $ over $ F $. If $ A \in B( F ) $ and if $ L $ is the maximal subfield in $ A $ ($ L \supseteq F $), then $ [ A: F ] = {[ L: F ] } ^ {2} $. According to the Frobenius theorem, all associative finite-dimensional division algebras over the field of real numbers $ \mathbf R $ are exhausted by $ \mathbf R $ itself, the field of complex numbers, and the quaternion algebra. For this reason the group $ B( \mathbf R ) $ is cyclic of order two. If the associativity requirement is dropped, there is yet another example of a division algebra over the field of real numbers: the Cayley–Dickson algebra. This algebra is alternative, and its dimension over $ \mathbf R $ is 8. If $ A $ is a finite-dimensional (not necessarily associative) division algebra over $ \mathbf R $, then $ [ A: \mathbf R ] $ has one of the values 1, 2, 4, or 8.

References

[1]	A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian) MR0158000 Zbl 0121.25901
[2]	A.A. Albert, "Structure of algebras" , Amer. Math. Soc. (1939) MR0000595 Zbl 0023.19901 Zbl 65.0094.02
[3]	I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968) MR1535024 MR0227205 Zbl 0177.05801
[4]	J.F. Adams, "On the non-existence of elements of Hopf invariant one" Ann. of Math. , 72 : 1 (1960) pp. 20–104 MR0141119 Zbl 0096.17404

Comments

Over a finite field every finite-dimensional central division algebra is automatically commutative. For infinite-dimensional division algebras the situation is quite different, because a result of Mokar–Limonov states that such an algebra contains a free algebra in two variables.

If a finite-dimensional central division algebra $ D $ contains a maximal commutative subfield $ L $ which is a Galois extension of $ F $, then $ D $ is a cross product of $ L $ and $ G = \mathop{\rm Gal} ( L/ F ) $ in the sense that $ D $ is the free $ L $-module generated by $ \{ {u _ \sigma } : {\sigma \in G } \} $ with product determined by:

$$ \tag{a1 } \left . \begin{array}{ll} u _ \sigma u _ \tau = c ( \sigma , \tau ) u _ {\sigma \tau } &\textrm{ for some } c ( \sigma , \tau ) \in L ^ {*} , \\ u _ \sigma \lambda = \lambda ^ \sigma u _ \sigma &\textrm{ for } \lambda \in L ,\ \tau \in G . \\ \end{array} \right \} $$

Associativity of $ D $ entails that $ c : G \times G \rightarrow L ^ {*} $ represents an element of $ H ^ {2} ( G , L ^ {*} ) $ (the second Galois cohomology group). One of the basic problems in algebra was formulated by A. Albert (1931): Is every finite-dimensional central division algebra necessarily a cross product? In 1972, S. Amitsur provided a counter-example using properties of generic division algebras resulting from the theory of PI-algebras (see PI-algebra, [a2]). Other examples of division algebras were obtain by F. van Ostaeyen (1972 Thesis, cf. [a3]), i.e. generic cross products, a notion generalized by Amitsur and D. Saltman (1978), describing all cross product division algebras for a given group $ G $ over the field $ F $ as reductions of a generic division algebra.

References

[a1]	A.H. Schofield, "Representations of rings over skew fields" , London Math. Soc. (1986) MR0800853
[a2]	N. Jacobson, "PI algebras. An introduction" , Springer (1975) MR0369421 Zbl 0326.16013
[a3]	F. van Oystaeyen, "Prime spectra in non-commutative algebra" , Springer (1975) Zbl 0302.16001