Abelian group

Abelian group
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	Abelian group
Type	Algebraic structure
Axioms	Associativity, Identity, Inverse, Commutativity

Abelian group An Abelian group is a set with a binary operation satisfying associativity, identity, inverses and commutativity. Introduced in the context of nineteenth‑century mathematics, it underpins developments in Niels Henrik Abel's era and later work by Évariste Galois, Richard Dedekind and Camille Jordan. Abelian groups appear across the study of Carl Friedrich Gauss's number theory, David Hilbert's algebraic number fields and in contemporary topics connected to Alexander Grothendieck's schemes and Jean-Pierre Serre's cohomology.

Definition and basic properties

An Abelian group is a pair (G, ·) with closure, associativity, an identity element, inverses for every element and commutativity. Early formalizations arose alongside work of Niels Henrik Abel, Évariste Galois and Augustin-Louis Cauchy, while systematic axiomatization was promoted in the works of Richard Dedekind and Emmy Noether. Basic consequences include uniqueness of the identity and inverses, cancellation laws used in proofs by Felix Klein and Sophus Lie, and subgroup criteria exploited in analyses by William Rowan Hamilton. The notion is central to the development of Bernhard Riemann's complex analysis via additive groups on Riemann surfaces and to Émile Picard's function theory.

Examples and constructions

Standard examples include the additive group of integers Z, additive groups of rational numbers Q, reals R and complex numbers C, and cyclic groups such as those arising from residues modulo n studied by Carl Friedrich Gauss. Finite Abelian groups occur in classification results by Camille Jordan and in applications to Ferdinand von Lindemann's transcendence investigations. Product constructions produce direct sums and direct products used by Emmy Noether and Alonzo Church in algebraic contexts, while tensor constructions and quotient constructions connect to work of David Hilbert and Emil Artin. Other notable examples feature divisor class groups in algebraic geometry as studied by Oscar Zariski and ideal class groups in algebraic number theory treated by Leopold Kronecker.

Structure theory

Structure theorems for Abelian groups were advanced by Leopold Kronecker, Richard Dedekind and later proved in modern form by Emmy Noether and Steinitz. Decomposition into torsion and torsion‑free parts, primary decomposition into p‑power components, and invariant factor descriptions are core results used by Issai Schur and Issac Newton in algebraic manipulations. Finitely generated cases are described via canonical forms applied in the work of Émile Picard and Henri Poincaré; infinite Abelian groups lead to deeper set‑theoretic interactions explored by Paul Cohen in independence results and by Kurt Gödel in constructibility considerations.

Homomorphisms and quotient groups

Homomorphisms between Abelian groups preserve the operation and lead to kernels and images studied by Évariste Galois and Richard Dedekind in early algebraic frameworks. The First Isomorphism Theorem and the correspondence theorem are tools used by Emmy Noether and Emil Artin to relate subgroups and quotients. Exact sequences, developed in categorical form by Alexander Grothendieck and applied by Jean-Pierre Serre, organize extensions and splitness criteria; extension groups and Yoneda interpretations connect to the work of Samuel Eilenberg and Saunders Mac Lane.

Classification of finitely generated abelian groups

The classification theorem for finitely generated Abelian groups yields a decomposition into invariant factors or into primary cyclic factors, a result refined in expositions by Emmy Noether and presented in canonical form in texts influenced by David Hilbert and Emil Artin. Applications include the structure of finitely generated modules over principal ideal domains as treated by Emmy Noether and Irving Kaplansky, and computations in algebraic number theory explored by Leopold Kronecker and Ernst Kummer. The theorem underlies algorithmic methods in computational algebra developed in the tradition of Richard Brent and Donald Knuth.

Modules, duality, and cohomology connections

Abelian groups are Z‑modules, a perspective emphasized by Emmy Noether and Alexander Grothendieck that allows the import of module theory and homological algebra from works of Samuel Eilenberg and Saunders Mac Lane. Pontryagin duality links locally compact Abelian groups to their character groups in harmonic analysis inspired by Ludwig van Beethoven's era mathematics (historical links via patrons and institutions) and formalized by Lev Pontryagin. Group cohomology and Ext and Tor functors for Abelian groups arise in the contributions of Jean-Pierre Serre, Samuel Eilenberg and Henri Cartan, connecting to class field theory of Emil Artin and duality theorems of Alexander Grothendieck.

Applications and generalizations

Abelian groups appear in algebraic topology in homology groups studied by Henri Poincaré and Élie Cartan, in algebraic geometry as Picard groups in the work of Oscar Zariski and Alexander Grothendieck, and in number theory as ideal class groups treated by Leopold Kronecker and Richard Dedekind. Generalizations include nonabelian groups central to William Rowan Hamilton's quaternion studies, modules over rings developed by Emmy Noether, and higher categorical group objects in the program of Alexander Grothendieck and Jean‑Louis Loday. Computational and cryptographic applications relate to algorithms by Ronald Rivest, Adi Shamir and Leonard Adleman and to coding theory influenced by Claude Shannon and Richard Hamming.

Category:Group theory