1 Definition and basic properties
A subring is a subset of a ring that is itself a ring when the inherited addition and multiplication are used. Subrings provide a way to isolate smaller algebraic systems inside a larger one, making it possible to study structure by restriction. In many texts, a subring is required to be closed under subtraction and multiplication; whether it must contain the same multiplicative identity as the ambient ring depends on convention.
1.1 Ring-theoretic requirements
To qualify as a subring, a subset must be closed under the operations needed to form a ring. In the common non-unital convention, this means the subset is closed under addition, additive inverses, and multiplication. The subset then inherits associativity, distributivity, and the additive group structure from the larger ring. If the ambient ring is commutative, a subring is automatically commutative as well.
1.2 Subring tests
Subring tests are criteria that allow one to check whether a subset is a subring without verifying every ring axiom separately. These tests are especially useful in concrete settings such as polynomial rings and matrix rings. They reduce the problem to a small number of closure checks.
1.2.1 Closure under addition and multiplication
A common test states that a nonempty subset is a subring if it is closed under subtraction and multiplication. Closure under subtraction implies closure under addition and additive inverses, since addition can be recovered from subtraction by rewriting one term as the negative of another. In rings where the identity is not required, this is usually the most efficient criterion.
1.2.2 Additive inverses and additive identity
Another formulation requires the subset to contain the additive identity and be closed under addition, additive inverses, and multiplication. The presence of zero follows from closure under subtraction or from closure under additive inverses together with nonemptiness. These conditions ensure that the subset forms an additive subgroup and is stable under multiplication.
1.3 Unital and non-unital subrings
Different authors use different conventions about whether a subring must share the identity of the ambient ring. This distinction affects examples and theorems, especially in fields and rings of functions. Care is needed when comparing sources.
1.3.1 Subrings with the same identity
A unital subring contains the multiplicative identity of the larger ring. Under this convention, every subring is automatically a ring with identity, and the inclusion map preserves units. This is often preferred in algebraic contexts where morphisms are assumed to respect identity.
1.3.2 Subrings without identity
Under the broader convention, a subring need not contain the ambient identity. This allows many natural examples, such as ideals viewed as rings under inherited operations. Such subrings may lack a multiplicative identity even though they remain closed under addition and multiplication.
2 Examples
Subrings appear throughout algebra in familiar and concrete forms. Some are simple subsets like even integers, while others arise as naturally defined families of matrices or polynomials. The examples illustrate both unital and non-unital behavior.
2.1 Simple examples
The set of even integers is a subring of the integers under the non-unital convention, since it is closed under addition, subtraction, and multiplication. In a field, the prime subring generated by repeated addition of the identity is a basic example of a subring. More generally, the zero ring is a subring of every ring in the non-unital sense.
2.2 Subrings of common rings
2.2.1 Subrings of the integers
The integers have a very limited subring structure. Under the usual classification, the nonzero subrings of the integers are of the form nZ for some positive integer n, which are all ideals as well. If the identity is required, then the only subring of Z is Z itself.
2.2.2 Subrings of polynomial rings
Polynomial rings contain many subrings, such as constant polynomials and polynomials in a selected variable with coefficients in a subring of the coefficient ring. A typical example is the subring of polynomials with even coefficients inside a larger coefficient ring. Subrings also arise by imposing symmetry or degree restrictions, provided the chosen set is closed under the ring operations.
2.2.3 Subrings of matrix rings
Matrix rings have numerous subrings defined by pattern or block structure. Examples include diagonal matrices, upper triangular matrices, and scalar matrices, depending on the ambient ring and the chosen convention for identity. These subrings are important in linear algebra because they capture common operator classes and invariant decompositions.
2.3 Trivial and improper subrings
The zero ring is often regarded as a trivial subring. If unital subrings are required, then the ambient ring itself is the improper subring, while proper subrings are those strictly contained in it. This terminology is used to distinguish interesting internal structure from the whole ring.
3 Constructions
Subrings can be produced by standard algebraic operations. Some are generated from a set of elements, while others arise as intersections or products of existing rings. These constructions make subrings a flexible tool for building examples and proving general results.
3.1 Generated subring
The smallest subring containing a given set is called the subring generated by that set. It is formed by closing the set under the ring operations and taking all finite expressions built from the elements. This mirrors the construction of generated subgroups and subalgebras.
3.1.1 Subring generated by a subset
Given a subset S of a ring, the subring generated by S is the intersection of all subrings containing S. Equivalently, it consists of all elements obtainable from S using addition, subtraction, and multiplication finitely many times. This construction produces the minimal subring in which S lies.
3.1.2 Subring generated by an element
When S consists of a single element, one obtains the subring generated by that element. In commutative rings, this often corresponds to expressions in one variable with coefficients from the prime subring. Such subrings are central in studying algebraic elements and adjoining roots of polynomials.
3.2 Intersection of subrings
The intersection of any collection of subrings is again a subring, since the closure properties are preserved under common elements. This fact is fundamental in constructing generated subrings as intersections of all subrings containing a specified set. It also helps organize subrings into a lattice under inclusion.
3.3 Direct products and embedded subrings
Direct products of rings contain natural subrings formed by selecting coordinatewise substructures. For example, a ring can be embedded into a product via diagonal maps or by placing it in one component and zeros elsewhere. Such embedded subrings are often used to compare ring-theoretic properties across related objects.
4 Relationships with other structures
Subrings are closely related to ideals, subalgebras, and ring homomorphisms. These connections show how subring theory sits within the broader framework of universal algebra. They also provide standard methods for transferring structure between rings.
4.1 Ideals as special subrings
An ideal is a subring with additional absorption properties under multiplication by elements of the ambient ring. Every ideal is a subring in the non-unital sense, but not every subring is an ideal. This distinction is important because ideals support quotient constructions, whereas arbitrary subrings do not.
4.2 Subalgebras and subrings
A subalgebra is the analogue of a subring in an algebra over a base ring or field, with compatibility for scalar multiplication. In many contexts, a subalgebra is simply a subring that is also closed under the external scalar action. Thus subring theory often serves as the underlying ring-theoretic layer of algebra theory.
4.3 Subrings and ring homomorphisms
Ring homomorphisms interact naturally with subrings through images and preimages. This makes subrings useful for tracking how algebraic structure changes under maps. Homomorphisms often reveal subrings as invariant or transported pieces of larger rings.
4.3.1 Images of homomorphisms
The image of a ring homomorphism is always a subring of the codomain. If the homomorphism preserves identity, then the image is a unital subring of the target whenever the map is surjective onto its image. This provides one of the most common ways subrings arise in practice.
4.3.2 Preimages of subrings
The preimage of a subring under a ring homomorphism is again a subring of the domain. This follows from the preservation of addition and multiplication. Preimages are useful for pulling subring conditions back along maps and for describing inverse images of algebraic conditions.
5 Properties and theorems
Subrings inherit many structural features from the rings they sit inside. Some results describe their closure behavior, while others organize all subrings of a ring into an inclusion-based structure. Special rings often admit strong classification theorems.
5.1 Closure properties
Subrings are stable under intersection and under the formation of generated subrings. They are also preserved by direct image and inverse image constructions associated with homomorphisms. These closure properties make subrings a robust class for algebraic analysis.
5.2 Lattice of subrings
The set of all subrings of a ring, ordered by inclusion, forms a lattice under intersection and generated subring operations. This lattice records how subrings are nested inside one another. In finite rings and well-behaved infinite rings, the lattice can reveal significant structural information.
5.3 Finite subrings
Finite subrings exhibit especially rigid behavior. In a finite ring, every subring is finite, and additive structure often forces strong restrictions on possible subrings. Classification problems in finite ring theory frequently reduce to understanding these finite substructures.
5.4 Characterizations in special rings
In some rings, subrings can be described very explicitly. The integers have only the subrings given by multiples of a fixed integer, while fields often have few unital subrings beyond the prime subring and those generated by algebraic elements. Matrix and polynomial rings admit richer families, but many of their subrings are constrained by structural patterns such as triangularity or coefficient restrictions.
6 Applications
Subrings are used throughout algebra to isolate manageable pieces of a larger ring. They support constructions in arithmetic, geometry, and representation theory. Their role is both conceptual and computational.
6.1 Number theory
In number theory, subrings appear in the study of algebraic integers and rings of integers in number fields. They help describe integrality, divisibility, and arithmetic closure properties. Subrings also arise when considering congruence-related structures inside the integers and their extensions.
6.2 Algebraic geometry
In algebraic geometry, coordinate rings and their subrings encode maps between varieties and schemes. Subrings can represent functions restricted to subspaces or invariants under symmetries. They are useful in constructing graded rings and in describing coordinate changes.
6.3 Module and representation theory
In module theory and representation theory, subrings often serve as endomorphism rings of modules or as algebras acting on vector spaces. Subrings can preserve invariant submodules and reflect decompositions into simpler components. They are also used to compare representations by restricting scalars to smaller rings.