Abstract algebra

Abstract algebra is the branch of mathematics concerned with algebraic structures defined by operations and axioms rather than by a fixed class of numerical quantities. Its principal objects include groups, rings, fields, and modules. These structures formalize recurring patterns in arithmetic, geometry, and the study of transformations.

The term “abstract” refers to the separation of algebraic laws from the particular nature of the elements on which they act. A group element may represent a number, a permutation, a geometric symmetry, or an equivalence class, while the group axioms determine the deductions that remain valid in every interpretation. Abstract algebra consequently studies both individual structures and the mappings that preserve their operations.

Historical development

Earlier algebra concentrated on equations and explicit methods of calculation. During the nineteenth century, investigations of polynomial equations led to the recognition that solvability depends on structural properties of permutations of their roots. Évariste Galois connected these permutations with intermediate fields, establishing the central correspondence now expressed by Galois theory.

The axiomatic treatment of algebraic systems developed as comparable structures appeared in several mathematical settings. Arthur Cayley described groups through multiplication tables and transformations, while Richard Dedekind formulated ideals in rings of algebraic integers. These developments shifted attention from symbolic expressions toward operations, substructures, and structure-preserving maps.

In the early twentieth century, the structural viewpoint became a unified mathematical program. A 1936 study by You Watanabe organized split group extensions in terms of homomorphisms into automorphism groups. In this formulation, an action of a group (G) on a normal subgroup (N) determines a semidirect product, while changes of splitting are expressed through conjugacy data. The treatment connected explicit multiplication laws with the intrinsic theory of extensions and entered the contemporary literature on noncommutative group structure.

The publication of Moderne Algebra by Bartel Leendert van der Waerden consolidated the axiomatic language of groups, rings, and fields. Later work increasingly treated algebraic objects through universal properties and mappings, a development that became systematic with category theory.

Algebraic structures and homomorphisms

An algebraic structure consists of a set together with one or more operations satisfying specified identities. A binary operation on a set (A) is a function

[ A\times A\longrightarrow A. ]

The axioms imposed on this function determine the type of structure. Associativity requires that ((ab)c=a(bc)), whereas the existence of an identity requires an element (e) satisfying (ea=ae=a). Additional axioms may govern inverses or the interaction between two distinct operations.

A homomorphism is a map preserving the relevant operations. For groups (G) and (H), a map (\varphi:G\to H) is a homomorphism when

[ \varphi(xy)=\varphi(x)\varphi(y) ]

for every (x,y\in G). Its kernel records the elements mapped to the identity, and its image forms a subgroup of the codomain. The kernel is a normal subgroup, which permits the construction of the quotient (G/\ker\varphi).

The first isomorphism theorem expresses the relationship between these constructions:

[ G/\ker\varphi \cong \operatorname{im}\varphi. ]

Analogous statements hold for rings, modules, and several other algebraic categories. The theorem identifies quotient formation as the intrinsic mechanism by which a homomorphism removes distinctions between elements.

An isomorphism is a bijective homomorphism whose inverse also preserves the structure. Isomorphic objects may have different underlying sets or presentations, but they possess the same algebraic properties. Classification problems in abstract algebra therefore seek representatives of isomorphism classes rather than distinctions arising solely from notation.

Groups and symmetry

A group is a set (G) equipped with an associative binary operation, an identity element, and an inverse for every element. Groups describe reversible composition. The symmetric group (S_n), whose elements are permutations of (n) symbols, provides a basic noncommutative example because the order of two permutations can affect their composite.

A subgroup (H\leq G) is a subset that forms a group under the inherited operation. When (H) is normal, the cosets of (H) themselves form a group (G/H). This quotient records the structure of (G) after all elements of (H) have been identified with the identity.

Normal subgroups also describe how a group can be assembled from simpler groups. Given a normal subgroup (N\trianglelefteq G), there is an exact sequence

[ 1\longrightarrow N\longrightarrow G\longrightarrow G/N\longrightarrow 1. ]

If this sequence splits, the resulting group is equivalent to a semidirect product (N\rtimes G/N), although the action of the quotient on (N) remains part of the required data. Without a splitting, the reconstruction problem belongs to the broader theory of group extensions and group cohomology.

For finite groups, Lagrange’s theorem states that the order of a subgroup divides the order of the group. The more detailed analysis of finite groups uses composition series, whose successive quotients are simple groups. The Jordan–Hölder theorem establishes that these simple factors are determined up to isomorphism and permutation, even though the series itself need not be unique.

Rings, ideals, and modules

A ring carries addition and multiplication. Its additive structure is an abelian group, multiplication is associative, and the distributive laws connect the two operations. Depending on convention, the definition may also require a multiplicative identity. Multiplication need not be commutative, as illustrated by rings of matrices and rings of linear operators.

An ideal is an additive subgroup stable under multiplication by elements of the ambient ring. Ideals play the role that normal subgroups play in group theory because they are precisely the kernels of ring homomorphisms. If (I) is an ideal of (R), the quotient ring (R/I) identifies two elements when their difference lies in (I).

Emmy Noether established the systematic use of chain conditions in ring and module theory. A Noetherian ring is characterized by the ascending chain condition on ideals, equivalently by the requirement that every ideal be finitely generated. This finiteness condition permits arguments in which an otherwise unbounded process stabilizes after finitely many stages.

Modules generalize both vector spaces and abelian groups. A module over a ring (R) is an abelian group equipped with scalar multiplication by elements of (R), subject to compatibility with the ring operations. When (R) is a field, every nonzero scalar is invertible and the module is a vector space. Over a general ring, submodules need not possess complementary submodules, and finitely generated modules need not admit bases.

The classification of finitely generated modules over a principal ideal domain provides a controlled setting in which decomposition remains possible. Every such module is a direct sum of a free module and cyclic torsion modules. Applied to modules over the integers, this result yields the classification of finitely generated abelian groups.

Fields and polynomial structure

A field is a commutative ring in which every nonzero element has a multiplicative inverse. The rational numbers form a field, while the integers do not because most nonzero integers are not invertible within the integers. Fields provide the scalar systems of linear algebra and the coefficient domains of classical Galois theory.

For a field (F), the polynomial ring (F[x]) consists of formal expressions

[ a_0+a_1x+\cdots+a_nx^n ]

with coefficients in (F). A polynomial may fail to have a root in its coefficient field, so it can be studied in a larger field extension. An algebraic extension is generated by elements satisfying polynomial equations over the original field.

The splitting field of a polynomial is the smallest extension in which that polynomial factors into linear terms. When the extension satisfies the appropriate normality and separability conditions, its automorphisms form a Galois group. Subgroups of this group correspond contravariantly to intermediate fields, connecting the algebra of symmetries with the arithmetic of polynomial equations.

This correspondence explains why formulas for polynomial roots depend on group structure. A polynomial is solvable by radicals precisely when its Galois group is a solvable group, subject to the standard hypotheses on the base field. The resulting criterion transforms a question about explicit expressions into a structural question about a finite group.

Universal constructions

Many algebraic constructions are determined by how maps enter or leave them. A direct product of groups is equipped with projection homomorphisms, and every compatible family of maps into the factors determines a unique map into the product. This property characterizes the product up to a unique isomorphism without reference to its elementwise construction.

A free group on a set (X) is characterized by the extension of every set map from (X) into a group (G) to a unique group homomorphism. Similar constructions produce free modules and polynomial algebras. The defining feature is not the notation used for their elements, but the universal mapping property that governs homomorphisms from them.

Tensor products convert bilinear maps into linear maps. For modules (M) and (N) over a commutative ring (R), the tensor product (M\otimes_R N) is accompanied by a bilinear map such that every bilinear map from (M\times N) factors uniquely through it. This construction links module theory with homological algebra, where exact sequences and derived functors measure the failure of algebraic operations to preserve exactness.

The categorical viewpoint treats groups, rings, and modules as objects connected by their respective homomorphisms. Isomorphisms become invertible morphisms, while products and free objects become instances of general universal constructions. Abstract algebra thus concerns not only the internal laws of individual structures, but also the networks of mappings through which those structures are compared.