Automorphism group

Automorphism group
Name	Automorphism group
Caption	Symmetries of algebraic and geometric structures
Type	Mathematical object
Field	Group theory, Abstract algebra, Topology
Studied by	Évariste Galois, Arthur Cayley, Emmy Noether, Sophus Lie

Automorphism group An automorphism group is the group of all isomorphisms from a mathematical object to itself under composition, capturing internal symmetries studied across Galois theory, Lie theory, Category theory, Algebraic geometry and Topology. It provides a unifying language linking the work of Évariste Galois, Camille Jordan, Felix Klein, Emmy Noether and Sophus Lie and appears in classification problems addressed by William Burnside, Wolfgang Krull and John von Neumann. Automorphism groups govern invariants used in theorems of Noetherian rings, Riemann surfaces, Algebraic number theory and the theory of Finite simple groups.

Definition and basic properties

An automorphism group of an object X consists of all bijective morphisms X → X in the ambient category that preserve the structure, with composition forming a group; foundational examples arise in Galois theory where automorphisms of field extensions relate to Fundamental theorem of Galois theory and in Cayley’s theorem which embeds groups into permutation groups like Symmetric group. Basic properties include closure under composition, existence of identity and inverses, and often a natural topology or algebraic structure as in the case of Lie groups, Profinite groups and Algebraic groups. The center, normal subgroups and conjugacy classes of an automorphism group reflect invariants studied in works by Burnside, Frobenius, Jordan–Hölder theorem and Schur.

Examples and computations

Finite examples include automorphism groups of finite sets given by Symmetric group and of finite graphs studied in the context of the Graph isomorphism problem and by researchers like László Babai and Richard Karp. Field automorphisms are central to Galois groups such as the automorphism group of cyclotomic extensions connected to Gauss and Kummer. Matrix algebra automorphisms lead to classical groups like GL(n), SL(n), O(n), Sp(n), while automorphisms of polynomial algebras invoke results by Abhyankar and Shestakov–Umirbaev. Computations often use generators and relations seen in Presentation (group theory) and algorithmic approaches from Computational group theory by authors like Serge Lang and Derek Holt.

Automorphism groups in algebraic structures

In ring theory and module theory, automorphism groups classify symmetries of Noetherian rings, Dedekind domains, Artinian modules and Simple algebras studied by Emil Artin and Jacobson. In category-theoretic contexts, natural automorphisms of functors relate to Yoneda lemma applications used by Grothendieck and Alexander Grothendieck's school in Algebraic geometry. Automorphisms of fields underpin results in Algebraic number theory such as class field theory developed by Hilbert, Artin, and Tate. Linear automorphisms of vector spaces are classical objects in the theories of Hermann Weyl and Élie Cartan.

Topological and geometric automorphism groups

Homeomorphism groups and diffeomorphism groups of manifolds connect to work of Henri Poincaré, Marston Morse, Stephen Smale and Michael Atiyah; mapping class groups of surfaces studied by William Thurston and Benson Farb act as automorphism groups of topological structures like Riemann surfaces and Teichmüller space. Isometry groups of metric spaces relate to Felix Klein's Erlangen program and include examples like automorphism groups of Euclidean space, Hyperbolic space, and symmetric spaces classified by Élie Cartan and Armand Borel. In algebraic geometry, automorphism groups of varieties and schemes are algebraic groups treated by Mumford and Grothendieck.

Group actions and classification

Automorphism groups give group actions on sets, graphs, varieties, and cohomology groups; such actions are central to classification efforts like the Classification of Finite Simple Groups and the study of permutation groups in the tradition of Camille Jordan and Wielandt. The study of primitive and transitive automorphism group actions uses techniques from Permutation group theory developed by Peter Neumann and Charles Sims. Orbit-stabilizer phenomena appear in the analysis of moduli spaces by David Mumford and in equivariant topology studied by G. W. Whitehead and Tom Dieck.

Extensions, outer automorphisms, and cohomology

Extensions of automorphism groups and the distinction between inner and outer automorphisms arise in the theory of group extensions treated by Hochschild–Serre and in the classification of exceptional cases like the outer automorphism of S6 discovered historically in the context of permutation groups. Group cohomology developed by Jean-Pierre Serre and Samuel Eilenberg–Saunders Mac Lane links automorphism problems to obstruction theory and classification of extensions, with applications in Class field theory and deformation theory studied by Grothendieck and Deligne. Nonabelian cohomology techniques illuminate twisting of structures under automorphism groups in the work of André Weil and Alexander Grothendieck.

Category:Group theory