1 Definition and basic concepts
A ring is an algebraic structure in which two binary operations, typically called addition and multiplication, are combined by a set of axioms. The concept generalizes familiar arithmetic on the integers while allowing a far wider range of examples, including polynomial rings, matrix rings, and many quotient constructions. Rings serve as a basic language for much of modern algebra.
1.1 Set and operations
A ring consists of a set together with two operations that take ordered pairs of elements and return elements of the same set. The additive operation is usually written with plus signs, and the multiplicative operation is often written by juxtaposition or with a multiplication symbol. The two operations need not behave exactly like ordinary numerical addition and multiplication, but they must satisfy a standard collection of compatibility rules.
1.2 Ring axioms
The ring axioms specify how the two operations interact and ensure that the structure is algebraically manageable. In most modern treatments, the additive part is required to form an abelian group, while multiplication is associative and distributes over addition.
1.2.1 Additive structure
Under addition, the elements of a ring must behave like a commutative group. This means addition is associative and commutative, there is an additive identity, and every element has an additive inverse. These properties make subtraction possible within the ring.
1.2.2 Multiplicative structure
Multiplication in a ring is required to be associative, but it need not be commutative. Some rings also include a multiplicative identity element, although not every definition insists on one. Even when multiplication is noncommutative, the associative law allows products of several factors to be unambiguously written without excessive parentheses.
1.2.3 Distributive laws
The interaction between addition and multiplication is governed by the distributive laws. Multiplication must distribute over addition on both the left and the right, so that multiplying a sum produces the sum of the products. These laws connect the two operations and underlie most ring calculations.
1.3 Notation and terminology
Ring elements are commonly denoted by letters such as a, b, and c. The additive identity is often written as 0, and if a multiplicative identity exists it is usually written as 1. Terminology varies somewhat across texts, especially regarding whether rings are assumed to have identity.
1.3.1 Zero element and additive inverses
Every ring has a unique additive identity, called zero, which leaves other elements unchanged under addition. For each element a, there is an additive inverse, usually denoted -a, such that a + (-a) = 0. These notions make it possible to solve many additive equations inside the ring.
1.3.2 Multiplicative identity
A multiplicative identity, when present, is an element 1 satisfying 1a = a1 = a for all ring elements a. Rings with such an element are especially important because they support a theory of divisibility, units, and module actions that closely resembles ordinary arithmetic. In many branches of algebra, the identity is assumed from the outset.
1.3.3 Units and zero divisors
A unit is an element that has a multiplicative inverse within the ring. Units play the role of nonzero numbers under multiplication in the familiar setting of fields. A zero divisor is a nonzero element that can multiply with another nonzero element to give zero; their presence signals that the ring has a more complicated multiplicative structure.
2 Fundamental properties
The basic properties of rings concern the behavior of multiplication, the organization of special subsets, and the role of ideals. These ideas are central because they lead to constructions that simplify rings and reveal their internal structure.
2.1 Commutativity and noncommutativity
In a commutative ring, the order of multiplication does not matter: ab = ba for all elements a and b. Many classical examples are commutative, including the integers and polynomial rings in commuting variables. Noncommutative rings also occur naturally, especially in matrix theory and operator algebra, and they often require distinct methods of study.
2.2 Subrings
A subring is a subset of a ring that is itself a ring under the inherited operations. Subrings allow larger rings to be analyzed by looking at smaller, more manageable parts. They are useful in constructing examples and in isolating algebraically meaningful families of elements.
2.2.1 Criteria for subrings
To verify that a subset is a subring, one usually checks closure under subtraction and multiplication, along with the presence of any required identity if the ambient convention demands it. Because additive inverses can be recovered from subtraction, these criteria are often efficient. A subset meeting them inherits the ring laws automatically.
2.2.2 Generated subrings
The subring generated by a collection of elements is the smallest subring containing them. It consists of all expressions that can be formed from those elements using ring operations and the relevant identities. Generated subrings provide a systematic way to build rings from chosen generators.
2.3 Ideals
An ideal is a special additive subgroup that is stable under multiplication by ring elements. Ideals are among the most important notions in ring theory because they are the subsets that define quotient rings. They also measure the extent to which a ring can be factored or decomposed.
2.3.1 Left ideals and right ideals
In a noncommutative ring, one distinguishes left ideals from right ideals. A left ideal is closed under multiplication by arbitrary ring elements on the left, while a right ideal is closed under multiplication on the right. In commutative rings, these notions coincide.
2.3.2 Principal ideals
A principal ideal is generated by a single element. In many familiar rings, such as the integers, every ideal is principal, which greatly simplifies the structure theory. Principal ideals are also used to express divisibility and factorization properties.
2.3.3 Maximal and prime ideals
A maximal ideal is a proper ideal not contained in any larger proper ideal, while a prime ideal satisfies a condition modeled on the primality of integers. These two classes of ideals play a major role in the structure of commutative rings. Maximal ideals lead to fields as quotients, and prime ideals support geometric interpretations in algebraic geometry.
3 Types of rings
Rings are classified according to additional properties imposed on their operations or on their ideals. These classes often overlap, and a single ring may belong to several categories at once.
3.1 Commutative rings
A commutative ring is one in which multiplication is commutative. This is the setting of much of classical algebra, including arithmetic with integers, polynomials, and algebraic integers. Commutative rings are especially well suited to ideal theory and geometric applications.
3.2 Rings with identity
A ring with identity has a multiplicative unit element. This assumption is common because it allows meaningful notions of units, homomorphisms preserving 1, and module actions. Many standard examples, including the integers and matrix rings, are rings with identity.
3.3 Division rings
A division ring is a ring in which every nonzero element is a unit. Multiplication in a division ring may be noncommutative, so it generalizes fields without requiring commutativity. Division rings are important in noncommutative algebra and projective geometry.
3.4 Integral domains
An integral domain is a commutative ring with identity and no zero divisors. This property ensures that nonzero products cannot vanish unexpectedly. Integral domains are the natural setting for many divisibility arguments and for the construction of fields of fractions.
3.5 Boolean rings
A Boolean ring is a ring in which every element is idempotent under multiplication, meaning a2 = a for all a. Such rings are closely connected to Boolean algebra and logic. Their structure is especially simple and often commutative.
3.6 Local rings
A local ring is a ring with a single maximal ideal. This condition makes local rings useful for studying behavior near a point or a prime ideal. They appear frequently in commutative algebra and algebraic geometry, where local methods simplify global problems.
4 Constructions and examples
Many important rings are built from simpler objects by standard constructions. These examples illustrate how the ring axioms arise in practice and show the breadth of ring theory.
4.1 Integer rings
The integers form the prototypical ring. Their addition and multiplication satisfy all the ring axioms, and many general ring concepts are modeled on integer arithmetic. Other rings are often studied by comparing them to the integers.
4.2 Polynomial rings
Polynomial rings consist of formal expressions in one or more variables with coefficients in a given ring. They extend the coefficient ring while preserving many algebraic features. Polynomial rings are central in algebra because they encode equations, factorization, and generated algebraic structures.
4.3 Matrix rings
Matrix rings are formed from square matrices of fixed size over a ring or field. Addition and multiplication of matrices satisfy the ring axioms, but multiplication is usually noncommutative. Matrix rings are fundamental in linear algebra and serve as key examples of noncommutative rings.
4.4 Quotient rings
A quotient ring is formed by identifying elements that differ by an ideal. This construction reduces a ring by collapsing a chosen ideal to zero. Quotient rings are indispensable for modular arithmetic, factor rings, and many classification arguments.
4.4.1 Congruence relations
An ideal determines an equivalence relation known as congruence modulo that ideal. Two elements are equivalent when their difference lies in the ideal. This relation respects addition and multiplication, which makes it suitable for constructing a new ring structure on equivalence classes.
4.4.2 Construction of factor rings
The factor ring is built from the set of cosets of an ideal. Addition and multiplication are defined on cosets in a way that does not depend on the representatives chosen. This construction produces a new ring that reflects the original ring’s structure after the ideal has been collapsed.
4.5 Direct products
The direct product of rings combines several rings into one by taking ordered tuples and defining operations componentwise. This construction preserves many properties of the factors while producing rings with multiple independent coordinates. Direct products are useful for building examples and for decomposing ring-theoretic problems.
5 Homomorphisms and isomorphisms
Maps between rings organize the study of ring structure by comparing one ring with another. They preserve algebraic behavior and reveal when two rings are essentially the same.
5.1 Ring homomorphisms
A ring homomorphism is a function between rings that respects addition and multiplication, and often the identity when present. Such maps are the natural morphisms in ring theory. They allow structures to be transferred from one ring to another.
5.1.1 Kernels and images
The kernel of a ring homomorphism consists of elements sent to zero, while the image is the set of elements obtained as outputs. The kernel is always an ideal, and the image is a subring of the target. These two sets summarize the extent to which a homomorphism is injective or surjective.
5.1.2 Preservation of structure
A homomorphism preserves sums, products, and, in many conventions, the multiplicative identity. Because of this, algebraic relations in the source ring are reflected in the target. Preservation properties make homomorphisms the main tool for transporting identities and equations across rings.
5.2 Ring isomorphism
An isomorphism is a bijective homomorphism whose inverse is also a homomorphism. Two isomorphic rings have the same algebraic structure, even if their elements are presented differently. Isomorphism is therefore the standard notion of equivalence in ring theory.
5.3 Endomorphisms and automorphisms
An endomorphism is a homomorphism from a ring to itself. An automorphism is a bijective endomorphism, so it is a symmetry of the ring structure. Studying these maps helps describe internal symmetries and self-relations of algebraic systems.
5.4 Isomorphism theorems
The isomorphism theorems connect homomorphisms, quotients, kernels, and images. They show, in various forms, that a ring modulo the kernel of a homomorphism is naturally isomorphic to its image. These results provide a standard framework for simplifying ring computations and structural arguments.
6 Advanced topics
More advanced ring theory extends the basic ideas to modules, localization, finiteness conditions, radicals, and geometric viewpoints. These topics form a bridge between elementary algebra and broader areas of mathematics.
6.1 Modules over a ring
A module is an additive structure on which a ring acts by scalar multiplication. Modules generalize vector spaces by replacing fields with rings. They provide a flexible language for studying representations, linear equations over rings, and homological methods.
6.2 Rings and algebras
An algebra is a ring equipped with additional structure that makes it compatible with a chosen base ring or field. This viewpoint is especially useful when studying polynomials, matrices, and operators as linear objects with multiplicative structure. Algebras unify ring theory with linear methods.
6.3 Localization
Localization is a process that enlarges a ring by inverting a selected set of elements. It allows one to focus on behavior near a prime ideal or to create fractions in a controlled way. Localization is a central tool in commutative algebra and algebraic geometry.
6.4 Noetherian and Artinian rings
Noetherian rings satisfy a finiteness condition on ideals, while Artinian rings satisfy a dual descending chain condition. These properties rule out infinite uncontrolled chains of ideals and make structural analysis more tractable. They are important in classification results and in many finiteness arguments.
6.5 Jacobson radical
The Jacobson radical is an ideal that captures elements behaving like generalized nonunits. It measures how far a ring is from having simple module structure and often controls the intersection of maximal ideals. This radical is a key invariant in both commutative and noncommutative settings.
6.6 Prime spectrum
The prime spectrum of a commutative ring is the set of its prime ideals, viewed as a geometric space. This construction links algebraic data to geometric intuition and is foundational in modern algebraic geometry. The spectrum packages prime ideals into a space that reflects the ring’s global structure.
7 Applications
Ring theory appears in many branches of mathematics and in several applied areas. Its concepts organize arithmetic, encode linear transformations, and support modern computational methods.
7.1 Number theory
Rings provide the natural framework for studying integers, modular arithmetic, and algebraic integers. Many deep questions about factorization and congruences are expressed in ring language. Ring-theoretic methods are essential in modern number theory.
7.2 Linear algebra
Matrix rings and endomorphism rings connect ring theory with linear algebra. These structures describe linear transformations and their compositions. Ring methods help classify operators, analyze invariant subspaces, and organize linear systems.
7.3 Geometry and topology
Rings arise in geometry through coordinate rings, local rings, and cohomological constructions. In topology, ring-valued invariants such as cohomology rings encode information about spaces. These connections let geometric problems be translated into algebraic ones.
7.4 Cryptography and coding theory
Finite rings and related algebraic structures appear in some coding schemes and cryptographic constructions. Their arithmetic can support error-correcting codes and computational protocols. In these settings, ring properties are used to organize symbols, operations, and algebraic constraints.