Skolem-Noether theorem

Skolem-Noether theorem
Name	Skolem–Noether theorem
Field	Algebra
Statement	Any automorphism of a simple algebra that fixes a central subalgebra is inner
Introduced	1927–1933
Contributors	Thoralf Skolem; Emmy Noether
Related	Wedderburn theorem; Artin–Wedderburn theorem

Skolem-Noether theorem The Skolem–Noether theorem is a foundational result in ring theory and algebra describing the structure of automorphisms of simple algebras that fix the center. It asserts that homomorphisms between central simple algebras over a field are implemented by conjugation by an invertible element, linking structural properties of algebras with explicit matrix realizations. The theorem has deep ties to the work of Emmy Noether, Thoralf Skolem, and later developments by Richard Brauer, Emil Artin, and Joseph Wedderburn.

Statement

Let A be a central simple algebra over a field K and let B be a simple subalgebra or a K-algebra homomorphism image; then any K-algebra homomorphism φ: B → A is inner, i.e., there exists an invertible element u in A such that φ(b) = ubu^{-1} for all b in B. In the special case where B = A, every K-algebra automorphism of A that fixes K pointwise is inner. This formulation connects to statements in the Artin–Wedderburn theorem, the Wedderburn theorem, and classical structure theorems developed by Richard Brauer and Nathan Jacobson.

Historical context and motivation

The result emerged amid early 20th-century advances in algebraic structures driven by mathematicians such as Emmy Noether, whose structural approach influenced ring theory, and Thoralf Skolem, who studied ring homomorphisms and division algebras. Work by Richard Brauer on division algebras and the Brauer group clarified central simple algebras as matrix algebras over division rings, a perspective advanced by Emil Artin and Joseph Wedderburn. Later expositions and refinements involved Nathan Jacobson, Max Zorn, Claude Chevalley, and Jean-Pierre Serre, embedding the theorem within the broader program of algebraic structures pursued at institutions like Göttingen, University of Oslo, University of Chicago, and research groups around German Mathematical Society meetings and International Congress of Mathematicians sessions.

Motivations included classification problems addressed by the Artin–Wedderburn theorem, representability concerns in matrix theory explored by Ferdinand Frobenius and William Rowan Hamilton, and the need for internal descriptions of automorphism groups that had consequences in the theory of group representations as studied by Issai Schur and Frobenius.

Proofs and variants

Classical proofs exploit the identification of central simple algebras with matrix algebras over division algebras via the Wedderburn theorem and then use explicit matrix conjugation arguments analogous to those in linear algebra treated by Carl Friedrich Gauss and Augustin-Louis Cauchy. An alternate approach uses module-theoretic techniques developed by Emmy Noether and Oscar Zariski, viewing A as End_V(D) for a right vector space V over a division algebra D and invoking Morita equivalence as studied by Kiiti Morita. Cohomological proofs utilize Galois cohomology machinery pioneered by Claude Chevalley and Jean-Pierre Serre, connecting inner automorphisms to 1-cocycles in nonabelian cohomology in the style of Alexander Grothendieck and Jean-Louis Koszul.

Variants include versions for simple rings with identity treated by Nathan Jacobson, for separable algebras over commutative rings addressed in work by Maxwell Rosenlicht and Pierre Deligne, and categorical renditions framed in the context of Grothendieck’s theory and Tannakian duality studied by Saavedra Rivano and Deligne.

Consequences and applications

The theorem yields immediate control of automorphism groups of central simple algebras, informing the classification of division algebras in the Brauer group and results on crossed product algebras investigated by Emil Artin and Richard Brauer. It underpins structural facts used in the representation theory of algebraic groups such as GL_n and SL_n, influences the study of simple Lie algebras in the line of Élie Cartan and Claude Chevalley, and appears in the analysis of forms of classical groups by Armand Borel and Jacques Tits. In number theory, it interacts with local and global field techniques of Helmut Hasse, John Tate, and André Weil via the classification of central simple algebras over local fields and global fields. In algebraic geometry and arithmetic geometry it informs twisted forms and Azumaya algebras as developed by Alexander Grothendieck and Michael Artin.

Examples and special cases

For A = M_n(K), the algebra of n×n matrices over a field K, the theorem reduces to the classical fact that every K-algebra automorphism is inner, implemented by an invertible matrix; this connects to linear algebra results of Carl Gustav Jacob Jacobi and canonical forms studied by Arthur Cayley and James Sylvester. When A is a division algebra D central over K, homomorphisms into End_K(V) reflect the structure of simple modules explored by Emil Artin and Nathan Jacobson. Concrete arithmetic examples include quaternion algebras studied by William Rowan Hamilton and the explicit constructions used by Dmitri Mendeleev-era contemporaries in later algebraic contexts, and local examples over p-adic fields examined in the tradition of Kurt Hensel and Helmut Hasse.

Generalizations and related results

Generalizations extend to Azumaya algebras over commutative rings studied by Alexander Grothendieck and Max Karoubi, to separable algebras in the work of Pierre Deligne and Michel Demazure, and to categorical and higher-categorical settings influenced by Grothendieck’s school and Daniel Quillen’s K-theory program. Related results include the Noether–Skolem phenomenon in the theory of operator algebras as pursued by John von Neumann and Paul Halmos, noncommutative cohomology perspectives linking to Jean-Pierre Serre and Galois cohomology, and rigidity theorems in algebraic groups examined by Armand Borel, Jacques Tits, and Robert Steinberg.

Category:Ring theory