central simple algebras

central simple algebras
Name	Central simple algebras
Field	Algebra
Introduced	20th century
Notable	Richard Brauer, Issai Schur, Emmy Noether, Joseph Wedderburn

central simple algebras

Central simple algebras are finite-dimensional associative algebras over a field whose center is exactly the base field and which have no nontrivial two-sided ideals; they generalize matrix algebras and serve as building blocks in the study of algebraic structures introduced by Richard Brauer, refined by Issai Schur and classified using techniques from Galois theory and cohomology theory. These algebras link classical results such as Wedderburn's little theorem and the Skolem–Noether theorem to modern frameworks including the Brauer group and noncommutative division rings studied by Amitsur and others. They play central roles in the theories developed by Emmy Noether, Samuel Eilenberg, and in arithmetic contexts related to Alexander Grothendieck’s ideas.

Definition and basic properties

A central simple algebra over a field F is an associative F-algebra A that is finite-dimensional as an F-vector space, has center equal to F, and contains no nontrivial two-sided ideals; foundational properties are established by results of Joseph Wedderburn and Richard Brauer. Basic invariants include the degree deg(A) = sqrt(dim_F A), the index ind(A) equal to the degree of the unique division algebra Brauer-equivalent to A, and notions of opposite algebra A^op related to structure theorems used by Jacobson and Albert. Fundamental structural facts invoke the Skolem–Noether theorem for automorphisms and embeddings, and Morita equivalence with matrix algebras over division algebras, a perspective popularized in the work of Hyman Bass and Francis Borceux.

Examples and classification over fields

Standard examples are full matrix algebras M_n(F) and central division algebras such as quaternion algebras constructed by William Rowan Hamilton and generalized by Adolf Hurwitz and Erich Hecke to form symbol algebras and cyclic algebras defined using Emil Artin’s cyclic extensions. Over algebraically closed fields like Évariste Galois-related closures, every central simple algebra is isomorphic to a matrix algebra by results akin to Wedderburn's theorem; over local fields studied by John Tate and André Weil, classification uses invariants from local class field theory and Hasse invariants invoked by Helmut Hasse. Over global fields such as Richard Dedekind’s number fields, the Albert–Brauer–Hasse–Noether theorem describes decomposition using local invariants developed by Helmut Hasse and Emil Artin.

Central simple algebras and the Brauer group

Central simple algebras up to Brauer equivalence form the Brauer group Br(F), introduced by Richard Brauer and linked to cohomological formulations by Jean-Pierre Serre and Claude Chevalley. The Brauer group is a torsion abelian group whose elements correspond to similarity classes of central simple algebras; group operations use tensor product and inverses are given by opposite algebras, themes appearing in the work of David Mumford and Alexander Grothendieck on Azumaya algebras. Cohomological interpretation identifies Br(F) with the Galois cohomology group H^2(Gal(F^sep/F), (F^sep)^×) following frameworks of Jean-Pierre Serre and used extensively by Serre in arithmetic geometry and by John Milnor in K-theory contexts.

Structure theory: division algebras and Wedderburn's theorem

Structure theory asserts every central simple algebra is isomorphic to M_n(D) for a unique central division algebra D over F, a result rooted in Wedderburn’s and Nathan Jacobson’s work and refined by Richard Brauer; D is unique up to isomorphism and its degree equals the index of the original algebra. For finite fields, Wedderburn’s theorem implies every finite division ring is a field, a classic result associated with Wedderburn and appearing in studies by Emil Artin. The reduction of central simple algebras to division algebras is key in classification problems tackled by Albert’s theory of central division algebras and by investigations of cyclicity due to Albert and Emil Artin.

Cohomological and Galois-theoretic approaches

Cohomological methods identify Brauer classes with elements of H^2(Gal(F^sep/F), (F^sep)^×) via the inflation-restriction sequences used in Galois cohomology developed by Jean-Pierre Serre and Serre’s collaborators; the Tate cohomology techniques of John Tate and duality theorems of Tate and J. T. Tate provide local-global principles. Cyclic algebras arise from cup products in Galois cohomology tied to Emil Artin’s reciprocity laws and to corestriction maps used in class field theory by Emil Artin and Helmut Hasse. Étale cohomology frameworks introduced by Alexander Grothendieck extend these approaches to schemes and Azumaya algebras relevant to Grothendieck’s school.

Applications and connections (algebraic groups, K-theory, arithmetic)

Central simple algebras underpin constructions in the theory of algebraic groups, notably inner forms of GL_n and SL_n and their reductive group counterparts studied by Claude Chevalley and Armand Borel, and they appear in the classification of arithmetic groups examined by Gopal Prasad and Armand Borel. In algebraic K-theory, relationships with Milnor K-theory and symbols were explored by John Milnor and Alexander Merkurjev, culminating in the Merkurjev–Suslin theorem proved by Alexander Merkurjev and Andrei Suslin, linking K_2 to the Brauer group. Arithmetic applications include the study of automorphic forms and local-global principles involving Andre Weil and James Arthur frameworks, and explicit appearances in the theory of quadratic forms and Witt groups developed by Ernst Witt and Maximal studies of division algebras in number theory by Helmut Hasse.

Category:Algebra