skew field

skew field A skew field is a noncommutative division ring in which every nonzero element has a multiplicative inverse. It generalizes the notion of a field by allowing multiplication to be noncommutative, and it appears in the study of ring theory, division algebras, module theory, and projective geometry. Skew fields are central to results in Noetherian ring theory, simple algebra classification, and constructions related to the Brauer group.

Definition and Basic Properties

A skew field is an associative unital ring D in which every nonzero element a ∈ D has a two-sided inverse a^{-1}, so D is a division algebra over its center Z(D), and the center is a field. Key properties include that D is a simple algebra with no nontrivial two-sided ideals, D is an algebra over Z(D) and finite-dimensional examples are central to the Wedderburn theorem and the Artin–Wedderburn theorem. For finite skew fields, the Wedderburn little theorem shows that any finite skew field is commutative, yielding a finite field; this result connects to the classification of finite simple groups and finite Galois theory constructions in algebraic number theory and Galois extensions.

Examples and Constructions

Classic examples include the real numbers ℝ and complex numbers ℂ as commutative fields, and the quaternions ℍ as a noncommutative skew field discovered by William Rowan Hamilton. Other constructions arise from central simple algebras such as matrix algebras over division rings, crossed product algebras related to Galois group actions, and cyclic division algebras used in explicit class field theory and the construction of noncommutative examples over number fields like ℚ or quadratic extensions. Local and global fields produce examples via Brauer group elements represented by division rings, and division rings appear in the study of p-adic numbers ℚ_p through central division algebras that feature in the local class field theory and the Hasse invariant classification. Skew Laurent series and skew polynomial rings tied to automorphisms form noncommutative analogues used in skew group algebra constructions and in examples connected to Noetherian ring properties.

Algebraic Structure and Theorems

Structural results center on central simple algebra classification such as the Brauer group correspondence between equivalence classes of central simple algebras and cohomology classes in Galois cohomology, with seminal inputs from Richard Brauer and Emmy Noether. The Skolem–Noether theorem characterizes automorphisms of simple algebras, while the Albert–Brauer–Hasse–Noether theorem addresses splitting behavior over global fields. For division algebras finite over their center, the reduced norm and reduced trace provide invariants analogous to determinant and trace in matrix theory, linking to results by John von Neumann and applications in operator algebra contexts involving von Neumann algebra classification. The Noether–Skolem theorem and Wedderburn theorem constrain possible algebra structures; the Ore condition governs the formation of classical rings of fractions in noncommutative settings and is pivotal for constructing division rings from domains, a technique used in Ore extension theory and in examples studied by Øystein Ore.

Modules and Linear Algebra over Skew Fields

Vector spaces over skew fields are right- or left-modules whose dimension notions require sidedness; the concept of basis and linear independence generalize with the caveat that linear maps correspond to matrices over a division ring with multiplication order sensitivity, yielding a theory of linear algebra adapted to noncommutativity used in the study of projective space over division rings and in Baer–Kaplansky theorem contexts. The classification of simple modules over central simple algebras ties to Morita equivalence and the Jacobson density theorem characterizes endomorphism rings of simple modules as dense subrings of endomorphism rings over division rings, an approach central to Jacobson radical studies and to structure theory developed by Nathan Jacobson. Concepts such as determinant require the reduced norm for matrices over division algebras, influencing representation theory for algebraic groups and automorphic forms where division algebras supply local components.

Applications and Historical Context

Historically, the discovery of the quaternions by William Rowan Hamilton in the 19th century inaugurated the systematic study of noncommutative division algebras, influencing later work by Richard Dedekind, Emmy Noether, and Richard Brauer. Skew fields appear in classical projective geometry over division rings studied by H.S.M. Coxeter and in modern applications to coding theory and space-time block code design where cyclic division algebras contribute constructions used in telecommunications engineering. In number theory, central division algebras classify via the Brauer group with ramifications for class field theory and the Hasse principle; in representation theory and harmonic analysis, division algebras underpin local component analysis for automorphic representation theory tied to the work of Robert Langlands. Operator algebra contexts relate to the role of division rings in the classification of factors and to noncommutative geometry initiatives associated with Alain Connes.

Category:Division rings