Fact-checked by Grok 2 weeks ago

Quotient ring

In abstract algebra, a quotient ring is a fundamental construction that extends the concept of modular arithmetic to general rings, formed by partitioning a ring R into cosets modulo a specified ideal I and endowing the collection of these cosets with ring operations.^[1] Specifically, if R is a ring and I is a two-sided ideal of R, the quotient ring R/I consists of the set of all cosets \{a + I \mid a \in R\}, where addition is defined by (a + I) + (b + I) = (a + b) + I and multiplication by (a + I)(b + I) = ab + I.^[2] This structure is well-defined precisely because I is an ideal, ensuring closure under the ring operations and compatibility with the distributive laws.^[3] The requirement that I be an ideal— a nonempty additive subgroup of R closed under left and right multiplication by elements of R—guarantees that the operations on R/I inherit the algebraic properties of R, such as associativity and distributivity.^[2] If R is commutative, then so is R/I; similarly, if R has a multiplicative identity $1, then $1 + I serves as the identity in R/I.^[1] Units in R map to units in R/I, with the inverse of a + I being a^{-1} + I when a is invertible.^[1] These properties make quotient rings a powerful tool for simplifying complex ring structures while preserving essential features. Notable examples include the integers modulo n, denoted \mathbb{Z}/n\mathbb{Z}, which forms a ring with n elements and is isomorphic to the standard ring of integers modulo n; here, the ideal is n\mathbb{Z}.^[3] Another key example is the quotient of a polynomial ring F by an ideal generated by a polynomial, such as \mathbb{Z}_3/\langle 2x^2 + x + 2 \rangle, which yields a finite ring with nine elements consisting of polynomials of degree less than 2.^[1] In commutative rings, all ideals are two-sided, simplifying the construction.^[2] Quotient rings play a central role in ring theory through the isomorphism theorems, particularly the first isomorphism theorem, which states that for a ring homomorphism \phi: R \to S, the quotient R/\ker(\phi) is isomorphic to the image \phi(R).^[2] Moreover, R/I is an integral domain if and only if I is a prime ideal, and a field if and only if I is maximal, linking ideals to the classification of rings.^[3] These connections underpin applications in algebraic geometry, number theory, and coding theory, where quotient constructions model symmetries and reductions in more advanced structures.^[1]

Definition and Construction

Definition

A ring R is a set equipped with two binary operations, addition and multiplication, such that (R, +) is an abelian group, multiplication is associative, and multiplication distributes over addition: for all a, b, c \in R, a(b + c) = ab + ac and (a + b)c = ac + bc.^[4] An ideal I of a ring R is a nonempty subset of R that forms an additive subgroup of R and absorbs multiplication by elements of R: for all r \in R and i \in I, both ri \in I and ir \in I (making I a two-sided ideal).^[5] Given a ring R and a two-sided ideal I \subseteq R, define the relation \sim on R by a \sim b if and only if a - b \in I; this is an equivalence relation.^[1] The equivalence classes under \sim are the cosets of I, denoted a + I = \{ a + i \mid i \in I \} for a \in [R](/page/R).^[5] The quotient ring R/I is the set of all cosets of I in [R](/page/R), equipped with addition and multiplication defined by

(a + I) + (b + I) = (a + b) + I, \quad (a + I)(b + I) = ab + I

for all a, b \in [R](/page/R); these operations are well-defined precisely because I is an ideal.^[1] The structure (R/I, +, \cdot) forms a ring: addition inherits the abelian group structure as the quotient group (R, +)/I, multiplication is associative and distributive over addition as these properties hold in R and are preserved under the coset operations.^[5] If R has a multiplicative identity $1 and I \neq R, then R/I has multiplicative identity $1 + I, since (1 + I)(a + I) = a + I for all a + I \in R/I and $1 + I \neq I.^[6]

Construction via Ideals

The quotient ring R/I of a ring R by an ideal I is constructed explicitly by first forming the set of cosets of I in R. This involves partitioning R into equivalence classes, known as left cosets, where two elements r, s \in R are equivalent if r - s \in I; each coset is denoted r + I = \{ r + i \mid i \in I \}. The quotient set R/I consists of all such distinct cosets, which forms an abelian group under the induced addition (r + I) + (s + I) = (r + s) + I, inheriting the additive structure of R since I is an additive subgroup.^[5]^[7] To equip R/I with a ring multiplication and make it a ring, define the product of cosets as (r + I)(s + I) = rs + I. For this operation to be well-defined, it must be independent of the choice of representatives from each coset. Suppose a' + I = a + I and b' + I = b + I, so a' - a = i_1 \in I and b' - b = i_2 \in I for some i_1, i_2 \in I. Then, the product using the alternative representatives is a'b' + I = (a + i_1)(b + i_2) + I = ab + a i_2 + i_1 b + i_1 i_2 + I. For a'b' + I = ab + I, the terms a i_2 + i_1 b + i_1 i_2 must lie in I; this holds if I is a two-sided ideal, as I absorbs multiplication from both sides (R I \subseteq I and I R \subseteq I) and is closed under addition and its own multiplication. In non-commutative rings, left ideals (requiring R I \subseteq I) ensure well-definedness with respect to the right operand, right ideals (requiring I R \subseteq I) ensure well-definedness with respect to the left operand, but two-sided ideals are necessary for the full ring structure. In commutative rings, all ideals are two-sided, simplifying the construction.^[8]^[3]^[7] The ideal I must be proper, meaning I \neq R, to yield a nontrivial quotient ring; if I = R, then every coset equals R, collapsing R/I to a single element (the zero ring). This construction preserves the ring axioms, with the zero element $0 + I = I and multiplicative identity $1 + I (provided I does not contain 1, which follows from I being proper).^[5]^[3]

Universal Property and Isomorphisms

Universal Property

The universal property of the quotient ring characterizes it in terms of ring homomorphisms. Let R be a ring and I an ideal of R. For any ring S and any ring homomorphism \phi: R \to S such that I \subseteq \ker(\phi), there exists a unique ring homomorphism \psi: R/I \to S such that \psi \circ \pi = \phi, where \pi: R \to R/I is the canonical projection map sending r \mapsto + I.^[9]^[10] To see this, define \psi( + I) = \phi(r) for all r \in R. Well-definedness follows because if + I = [r'] + I, then r - r' \in I \subseteq \ker(\phi), so \phi(r) = \phi(r'). That \psi preserves addition and multiplication is verified directly: \psi(( + I) + ( + I)) = \psi([r + s] + I) = \phi(r + s) = \phi(r) + \phi(s) = \psi( + I) + \psi( + I), and similarly for multiplication \psi(( + I) \cdot ( + I)) = \psi([rs] + I) = \phi(rs) = \phi(r)\phi(s) = \psi( + I) \cdot \psi( + I). It preserves the multiplicative identity since \psi([1_R] + I) = \phi(1_R) = 1_S. Uniqueness holds because any such \psi must satisfy \psi( + I) = \phi(r) for all r \in R, as \phi(r) = \psi(\pi(r)) = \psi( + I).^[10]^[11] This relationship is captured by the following commutative diagram:

\begin{CD} R @>\pi>> R/I \\ @V{\phi}VV @VV{\psi}V \\ S @= S \end{CD}

where the solid arrows denote the given maps and the dashed arrow \psi is induced uniquely.^[9] The universal property implies that R/I is the "largest" quotient of R in which I is identified with zero, as any homomorphism from R that kills I factors uniquely through R/I. Categorically, (R/I, \pi) is the initial object in the category whose objects are pairs (S, \phi: R \to S) with I \subseteq \ker(\phi) and whose morphisms are ring homomorphisms making the obvious triangle commute.^[9]^[10]

Isomorphism Theorems

The isomorphism theorems for rings provide fundamental relationships between ring homomorphisms, ideals, quotient rings, and subrings, analogous to those in group theory but adapted to the ring structure with two-sided ideals. These theorems, formulated by Emmy Noether, rely on the universal property of quotient rings to establish canonical isomorphisms. They hold for both commutative and non-commutative unital rings, where quotients are taken modulo two-sided ideals to ensure the result is a ring.^[12]^[13] The First Isomorphism Theorem states that if \phi: R \to S is a ring homomorphism between unital rings R and S, then \ker(\phi) is a two-sided ideal of R, the image \operatorname{im}(\phi) is a subring of S, and there is a ring isomorphism R / \ker(\phi) \cong \operatorname{im}(\phi).^[14] To prove this using the universal property, note that the kernel I = \ker(\phi) is an ideal since \phi(0) = 0_S, and for a, b \in I, r \in R, we have \phi(a + b) = \phi(a) + \phi(b) = 0_S, \phi(ra) = \phi(r)\phi(a) = \phi(r) \cdot 0_S = 0_S, and similarly \phi(ar) = 0_S. The universal property of the quotient ring R/I asserts that for any ring homomorphism \psi: R \to T with I \subseteq \ker(\psi), there exists a unique ring homomorphism \overline{\psi}: R/I \to T such that \psi = \overline{\psi} \circ \pi, where \pi: R \to R/I is the canonical projection. Applying this with \psi = \phi and T = S, since I = \ker(\phi), yields a unique \overline{\phi}: R/I \to S with \phi = \overline{\phi} \circ \pi. Restricting the codomain to \operatorname{im}(\phi) gives the map \overline{\phi}: R/I \to \operatorname{im}(\phi) defined by [r + I] \mapsto \phi(r), which is well-defined because if r - r' \in I, then \phi(r) = \phi(r'). This map is a ring homomorphism: \overline{\phi}([r_1 + I] + [r_2 + I]) = \phi(r_1 + r_2) = \phi(r_1) + \phi(r_2) = \overline{\phi}([r_1 + I]) + \overline{\phi}([r_2 + I]), and similarly for multiplication and the unit. It is surjective onto \operatorname{im}(\phi) by definition, and injective because if \overline{\phi}([r + I]) = 0, then \phi(r) = 0, so r \in \ker(\phi) = I, hence [r + I] = [0 + I]. Thus, \overline{\phi} is an isomorphism.^[14] The Second Isomorphism Theorem states that if I is an ideal of the unital ring R and S is a subring of R, then S + I = \{s + a \mid s \in S, a \in I\} is a subring containing I, S \cap I is an ideal of S, and there is a ring isomorphism (S + I)/I \cong S/(S \cap I).^[12] The proof constructs an explicit isomorphism via the map \psi: S \to (S + I)/I given by \psi(s) = s + I. This is well-defined and a ring homomorphism because S is a subring and I is an ideal, so \psi(s_1 + s_2) = (s_1 + s_2) + I = (s_1 + I) + (s_2 + I) = \psi(s_1) + \psi(s_2), and \psi(s_1 s_2) = s_1 s_2 + I = (s_1 + I)(s_2 + I) = \psi(s_1) \psi(s_2), with \psi(1_S) = 1_S + I = 1_R + I. It is surjective since any element in (S + I)/I is of the form s + a + I = s + I = \psi(s). The kernel is S \cap I, as \psi(s) = s + I = I if and only if s \in I. By the First Isomorphism Theorem applied to \psi, we obtain S / (S \cap I) \cong (S + I)/I. The bijectivity follows from the properties of the kernel and surjectivity.^[12] The Third Isomorphism Theorem states that if I \subseteq J are two-sided ideals of the unital ring R, then J/I is an ideal of the quotient ring R/I, and there is a ring isomorphism (R/I) / (J/I) \cong R/J.^[12] This is often viewed as a corollary of the First Isomorphism Theorem. Define the map \phi: R/I \to R/J by \phi(r + I) = r + J. It is well-defined because if r + I = r' + I, then r - r' \in I \subseteq J, so r + J = r' + J. It is a ring homomorphism: \phi((r_1 + I) + (r_2 + I)) = (r_1 + r_2) + J = (r_1 + J) + (r_2 + J) = \phi(r_1 + I) + \phi(r_2 + I), and similarly for multiplication. The kernel is \{r + I \mid r + J = J\} = \{r + I \mid r \in J\} = J/I, which is an ideal of R/I since for [j + I] \in J/I, [r + I] \in R/I, we have [r + I] \cdot [j + I] = [r j + I] \in J/I (as r j \in J because J is a two-sided ideal) and similarly for right multiplication and addition. The image is all of R/J since \phi is surjective. By the First Isomorphism Theorem, (R/I) / (J/I) \cong R/J. The explicit isomorphism is given by the coset mapping [r + I] + (J/I) \mapsto r + J, which preserves addition and multiplication as verified by direct computation.^[12] In the non-commutative case, the theorems require two-sided ideals for the quotients to be well-defined rings, as left or right ideals alone do not suffice to make the quotient multiplication associative in general; the proofs adapt directly using two-sided absorption properties.^[13]

Examples

Polynomial Rings

A fundamental example of a quotient ring arises in the context of polynomial rings. Consider a ring R and the polynomial ring R in one indeterminate x. For a fixed polynomial f(x) \in R, the principal ideal generated by f(x) is \langle f(x) \rangle = \{ g(x) f(x) \mid g(x) \in R \}. The quotient ring R/\langle f(x) \rangle consists of the cosets of this ideal, which can be interpreted as the ring of polynomials over R modulo f(x). When R is a field, such as \mathbb{Q} or \mathbb{R}, R is a principal ideal domain, ensuring that every ideal is principal.^[15]^[8] Elements of R/\langle f(x) \rangle are equivalence classes of polynomials where two polynomials p(x) and q(x) are equivalent if their difference is a multiple of f(x). By the division algorithm in polynomial rings over fields, every polynomial p(x) \in R can be uniquely written as p(x) = q(x) f(x) + r(x) where \deg(r(x)) < \deg(f(x)). Thus, each coset has a unique representative r(x) of degree less than \deg(f(x)), and addition is componentwise while multiplication is performed on these representatives and then reduced modulo f(x):

(a_0 + a_1 x + \cdots + a_{n-1} x^{n-1}) \cdot (b_0 + b_1 x + \cdots + b_{n-1} x^{n-1}) \mod f(x),

where n = \deg(f(x)). This structure endows the quotient with a ring operation that respects the polynomial arithmetic.^[15]^[16] In the specific case where R = \mathbb{Q} and f(x) is an irreducible polynomial over \mathbb{Q}, the ideal \langle f(x) \rangle is maximal, making \mathbb{Q}/\langle f(x) \rangle a field. This quotient ring provides a field extension of \mathbb{Q} of degree \deg(f(x)), adjoining a root of f(x) to \mathbb{Q}. For instance, when R = \mathbb{R} and f(x) = x^2 + 1, which is irreducible over \mathbb{R}, the quotient \mathbb{R}/\langle x^2 + 1 \rangle is isomorphic to the field of complex numbers \mathbb{C}, where the coset of x behaves as the imaginary unit i with i^2 = -1. Similarly, for R = \mathbb{Z} and monic irreducible f(x), \mathbb{Z}/\langle f(x) \rangle yields \mathbb{Z}[\alpha], an order in the ring of integers of the number field \mathbb{Q}/\langle f(x) \rangle.^[17]^[18]^[19] These constructions highlight the role of quotient rings in building algebraic extensions.

Integer and Modular Rings

One of the most fundamental examples of a quotient ring arises from the ring of integers \mathbb{Z}, where for a positive integer n, the ideal \langle n \rangle = n\mathbb{Z} consists of all multiples of n. The quotient ring \mathbb{Z}/n\mathbb{Z} is then formed by the cosets of this ideal, with each coset denoted = k + n\mathbb{Z} = \{k + mn \mid m \in \mathbb{Z}\}, where two integers a and b belong to the same coset if a \equiv b \pmod{n}.^[20]^[1] The ring structure on \mathbb{Z}/n\mathbb{Z} is defined by componentwise operations inherited from \mathbb{Z}: addition + = [a + b] and multiplication \cdot = [ab], both reduced modulo n, ensuring well-definedness because n\mathbb{Z} is an ideal.^[20]^[1] Equivalently, the multiplication is given by

\cdot = [ab \mod n],

yielding a commutative ring with multiplicative identity $1 + n\mathbb{Z}.^[20]^[21] This construction formalizes modular arithmetic, where \mathbb{Z}/n\mathbb{Z} serves as the initial ring of characteristic n, meaning n \cdot 1 = 0 in the ring.^[20] The ring \mathbb{Z}/n\mathbb{Z} is finite, possessing exactly n distinct elements, represented canonically as

\{ {{grok:render&&&type=render_inline_citation&&&citation_id=0&&&citation_type=wikipedia}}, {{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}, \dots, [n-1] \}

.^[20]^[21] Its additive group is the cyclic group \mathbb{Z}/n\mathbb{Z} of order n, generated by

{{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}}

, but the multiplication distinguishes it as a ring rather than merely a group.^[20]^[1] Key properties depend on n: if n = p is prime, then \mathbb{Z}/p\mathbb{Z} is a field, as every nonzero element has a multiplicative inverse.^[20]^[1] Otherwise, for composite n, \mathbb{Z}/n\mathbb{Z} has zero divisors; for instance, in \mathbb{Z}/4\mathbb{Z},

{{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}} \cdot {{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}} = {{grok:render&&&type=render_inline_citation&&&citation_id=0&&&citation_type=wikipedia}}

, yet

{{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}} \neq {{grok:render&&&type=render_inline_citation&&&citation_id=0&&&citation_type=wikipedia}}

.^[20]^[1]

Function and Matrix Rings

In the ring C([0,1]) of continuous real-valued functions on the closed interval [0,1], consider the ideal M_c = \{ f \in C([0,1]) \mid f(c) = 0 \} for a fixed point c \in [0,1]. The quotient ring C([0,1]) / M_c is isomorphic to \mathbb{R} via the evaluation homomorphism \mathrm{ev}_c: C([0,1]) \to \mathbb{R} given by \mathrm{ev}_c(f) = f(c), whose kernel is precisely M_c. This construction yields a field, confirming that M_c is a maximal ideal, and illustrates how quotient rings capture point evaluations in function rings. More generally, ideals in such rings can consist of functions vanishing on closed sets or having compact support; for instance, the ideal C_c(\mathbb{R}) of continuous functions on \mathbb{R} with compact support is proper and contained in various maximal ideals, though its vanishing set is empty.^[22] For non-commutative examples, matrix rings provide a key illustration. Let R be a ring with two-sided ideal J, and let I = M_n(J) denote the set of n \times n matrices over R with entries in J; then I is a two-sided ideal of the matrix ring M_n(R). The quotient M_n(R) / I is isomorphic to M_n(R/J), where cosets are denoted [A] = A + I for A \in M_n(R), addition is componentwise, and multiplication is defined by [A][B] = AB + I. This multiplication is well-defined because, for i, j \in I, the terms A j + i B + i j lie in I since I absorbs multiplication from both sides: R I \subseteq I and I R \subseteq I. A concrete case is M_n(\mathbb{Z}) / M_n(n\mathbb{Z}) \cong M_n(\mathbb{Z}/n\mathbb{Z}), where n\mathbb{Z} is the principal ideal generated by n. The necessity of two-sided ideals becomes evident in non-commutative settings, as left or right ideals alone do not ensure the quotient inherits a compatible ring structure under multiplication. For instance, in the ring \mathbb{H} of real quaternions (a central simple algebra over \mathbb{R}), proper ideals are trivial, but in non-division orders like the Lipschitz quaternions \mathbb{Z} + \mathbb{Z} i + \mathbb{Z} j + \mathbb{Z} k, the principal ideal generated by the central element 2 (i.e., $2\mathbb{Z}[i,j,k]) is two-sided due to centrality, and the quotient \mathbb{Z}[i,j,k] / 2\mathbb{Z}[i,j,k] is a finite ring of order 16.^[23]

Properties

Ring Homomorphisms and Kernels

Ring homomorphisms play a central role in the study of quotient rings, as they provide a mechanism for constructing and understanding these structures through the identification of kernels. A ring homomorphism \phi: R \to S between rings R and S is a function that preserves addition and multiplication, satisfying \phi(r_1 + r_2) = \phi(r_1) + \phi(r_2) and \phi(r_1 r_2) = \phi(r_1) \phi(r_2) for all r_1, r_2 \in R, along with \phi(1_R) = 1_S if the rings have identities.^[24] Such maps induce quotient structures by factoring out the kernel, which consists of elements mapped to the zero element in S.^[7] The kernel of a ring homomorphism \phi: R \to S, defined as \ker(\phi) = \{ r \in R \mid \phi(r) = 0_S \}, forms an ideal of R. This follows directly from the homomorphism properties: for any r \in \ker(\phi) and s \in R, \phi(s r) = \phi(s) \phi(r) = \phi(s) \cdot 0_S = 0_S and similarly \phi(r s) = 0_S, ensuring absorption by ring elements, while closure under addition holds since \phi(r_1 + r_2) = 0_S + 0_S = 0_S.^[16] Conversely, every ideal I of R arises as the kernel of the canonical projection homomorphism \pi: R \to R/I, where \pi(r) = r + I, which is surjective and has \ker(\pi) = I.^[25] This duality highlights how ideals capture the "invisible" elements under homomorphisms, enabling the formation of quotient rings. A fundamental connection is given by the first isomorphism theorem for rings: if \phi: R \to S is a surjective ring homomorphism, then S \cong R / \ker(\phi) as rings, where the isomorphism is induced by \phi on the cosets.^[26] The image \operatorname{im}(\phi) = \{ \phi(r) \mid r \in R \} is always a subring of S, but quotient constructions typically emphasize factoring the domain by the kernel to match the codomain structure, rather than focusing on the cokernel S / \operatorname{im}(\phi), which may not simplify as neatly in non-surjective cases.^[2] These preservation properties ensure that homomorphisms descend to well-defined maps on quotients: if \phi: R \to S is a homomorphism and I is an ideal of R contained in \ker(\phi), then \phi factors through a homomorphism \overline{\phi}: R/I \to S via \overline{\phi}(r + I) = \phi(r).^[27] A concrete illustration occurs with the evaluation homomorphism \operatorname{ev}_a: R \to R for a commutative ring R and a \in R, defined by \operatorname{ev}_a(p) = p(a), whose kernel is the principal ideal \langle x - a \rangle, yielding R / \langle x - a \rangle \cong R.^[16] This example demonstrates how kernels precisely identify the relations imposed by the homomorphism, facilitating isomorphism to simpler rings.

Prime, Maximal, and Nilpotent Ideals

In the context of commutative rings with identity, an ideal P of a ring R is prime if and only if the quotient ring R/P is an integral domain.^[7] This condition ensures that R/P has no zero-divisors, meaning that if the product of two elements in R/P is zero, then at least one of the elements is zero. Equivalently, in R, if the product ab \in P, then either a \in P or b \in P. This property reflects the absence of zero-divisors in the quotient and positions prime ideals as the "prime" building blocks analogous to prime elements in domains. An ideal M of R is maximal if and only if the quotient ring R/M is a field.^[7] In this case, R/M is a simple ring with unity where every nonzero element has a multiplicative inverse, corresponding to the fact that M is a proper ideal not properly contained in any other proper ideal of R. Maximal ideals thus yield the most "simple" quotients, fields, which serve as residue fields in many algebraic structures. An ideal N of R is nilpotent if there exists a positive integer k \geq 2 such that N^k = \{0\}, the zero ideal. In the quotient R/N, this nilpotency is eliminated since elements of N become zero, reducing the presence of nilpotent structures originating from N. More broadly, to obtain a quotient with reduced nilradical (i.e., a reduced ring with no nonzero nilpotent elements), one quotients by the nilradical \mathrm{Nil}(R), the ideal consisting of all nilpotent elements of R; the resulting ring R / \mathrm{Nil}(R) is reduced.^[28] By the isomorphism theorems, there is a bijection between the ideals of the quotient ring R/I and the ideals of R containing I, preserving inclusion and quotient operations. This correspondence theorem links the ideal structure of R to that of its quotients. In commutative rings, the spectrum \mathrm{Spec}(R) consists of the prime ideals of R, and the quotients R/P for prime P are integral domains whose fraction fields serve as residue fields associated to points in \mathrm{Spec}(R).^[7]

Chinese Remainder Theorem Applications

In ring theory, the Chinese Remainder Theorem provides a decomposition of quotient rings when ideals are comaximal. Specifically, for a commutative ring R with ideals I and J such that I + J = R (comaximal), the intersection I \cap J = IJ, and the quotient ring R/(I \cap J) is isomorphic to the direct product R/I \times R/J.^[29] This isomorphism is given explicitly by the ring homomorphism \phi: R \to R/I \times R/J defined by \phi(r) = (r + I, r + J), which has kernel IJ and is surjective due to the comaximal condition.^[30] The surjectivity follows from Bézout's identity: since $1 = a + b for some a \in I and b \in J, for any (x + I, y + J) \in R/I \times R/J, the element r = x b + y a satisfies \phi(r) = (x + I, y + J).^[29] Alternatively, the proof can be sketched using idempotents: the comaximal condition yields orthogonal idempotents e_1, e_2 \in R with e_1 + e_2 = 1, e_1 e_2 = 0, e_1 \in J, and e_2 \in I, leading to a decomposition R \cong R e_1 \times R e_2 that induces the quotient isomorphism.^[30] The map \phi is bijective because the comaximal ideals ensure that elements in the intersection are precisely those congruent modulo both I and J.^[31] This result generalizes to finitely many pairwise comaximal ideals I_1, \dots, I_n in R, where I_1 \cap \cdots \cap I_n = I_1 \cdots I_n and R/(I_1 \cap \cdots \cap I_n) \cong R/I_1 \times \cdots \times R/I_n, with the isomorphism r + (I_1 \cdots I_n) \mapsto (r + I_1, \dots, r + I_n).^[29] The proof proceeds by induction, applying the two-ideal case iteratively.^[30] A key application arises in the ring of integers: if n = p_1^{k_1} \cdots p_m^{k_m} is the prime factorization of n, then the ideals (p_i^{k_i}) are pairwise comaximal, yielding \mathbb{Z}/n\mathbb{Z} \cong \prod_{i=1}^m \mathbb{Z}/p_i^{k_i}\mathbb{Z}.^[30] This decomposition simplifies computations, such as finding the structure of the multiplicative group (\mathbb{Z}/n\mathbb{Z})^\times \cong \prod_{i=1}^m (\mathbb{Z}/p_i^{k_i}\mathbb{Z})^\times.^[30] In the context of Artinian rings, the Chinese Remainder Theorem enables a unique decomposition (up to isomorphism) into a finite direct product of local Artinian rings, corresponding to the maximal ideals.^[32] For non-commutative rings, the theorem requires two-sided ideals that are comaximal in the sense that their sum is the entire ring, but the product must account for all orderings to ensure the intersection equals the appropriate ideal sum.^[29]

Advanced Topics

Quotient Rings of Algebras

In the setting of algebras over a commutative ring k, a k-algebra A is a ring equipped with a ring homomorphism from k to the center of A, making A a k-module compatible with the multiplication. A quotient A/I is defined where I is a two-sided ideal of A that is also a k-submodule, ensuring the scalar multiplication descends to the quotient. This construction preserves the k-algebra structure, as the induced map from k factors through the quotient map, and the multiplication on cosets is well-defined.^[33] If A is finite-dimensional as a k-vector space (assuming k is a field), then \dim_k(A/I) = \dim_k A - \dim_k I, reflecting the codimension of the ideal in the algebra. For example, in the group algebra k[G] of a finite group G, quotients by k-ideals I (such as the augmentation ideal, where the quotient is isomorphic to k) inherit the algebra structure and can model representations of quotients of G. Similarly, quotients of the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g} over k by ideals generated by central elements yield finite-dimensional representations, preserving the Hopf algebra structure when applicable.^[34]^[35] In the commutative case, consider A = k[x_1, \dots, x_n], the polynomial algebra over an algebraically closed field k. The quotient A/J by an ideal J generated by relations corresponds to the coordinate ring of the affine variety defined by those relations. By Hilbert's Nullstellensatz, there is a bijection between radical ideals in A and affine varieties in \mathbb{A}^n_k, where the coordinate ring of a variety Y is precisely A/I(Y) with I(Y) the vanishing ideal of Y, establishing a one-to-one correspondence between points of Y and maximal ideals of the quotient.^[36]^[37] For non-commutative algebras, the Weyl algebra D = k\langle x_1, \dots, x_n, \partial_1, \dots, \partial_n \rangle over a field k of characteristic zero, with relations [\partial_i, x_j] = \delta_{ij} and commutativity among x's and among \partial's, models differential operators on affine space. Quotients D/I by left ideals I (extended to two-sided) yield rings of differential operators on the quotient variety \mathrm{Spec}(k[x_1, \dots, x_n]/J), preserving the order filtration and allowing computation of derivations on singular curves or surfaces.^[38]

Relation to Modules and Fields

In ring theory, the quotient ring R/I, where R is a commutative ring with identity and I is a two-sided ideal, inherits a natural structure as an R-module via the canonical projection homomorphism \pi: R \to R/I, defined by r \cdot (s + I) = rs + I for r, s \in R.^[39] This module structure makes R/I cyclic, generated by the coset $1 + I. The annihilator ideal \operatorname{Ann}_R(R/I) = \{ r \in R \mid r(R/I) = 0 \} coincides exactly with I, since r \in I if and only if r acts trivially on every coset.^[39] More generally, the construction of quotient rings parallels that of quotient modules: for an R-module M and submodule N \subseteq M, the quotient M/N is defined by the equivalence relation m \sim m' if m - m' \in N, with R-action r(m + N) = rm + N. This analogy is particularly evident when M = R viewed as a left (or right) module over itself, where submodules are precisely the left (or right) ideals, and the quotient R/I recovers the ring structure.^[20] In homological algebra, this interplay is crucial for building projective resolutions of modules, where successive quotients by kernels (or images) yield exact sequences of modules, often starting from free modules over R and incorporating quotient rings to resolve singularities or compute derived functors.^[40] Quotient rings also connect to field constructions, particularly for integral domains. For an integral domain R, the trivial quotient R/\{0\} \cong R embeds naturally into its field of fractions \operatorname{Frac}(R), the smallest field containing R as a subring, via the inclusion map sending r \in R to r/1 \in \operatorname{Frac}(R).^[20] When I is a maximal ideal, R/I is itself a field, serving as a residue field. More broadly, for a prime ideal \mathfrak{p} \subseteq R, the quotient R/\mathfrak{p} is an integral domain, and its field of fractions \kappa(\mathfrak{p}) = \operatorname{Frac}(R/\mathfrak{p}) defines the residue field at \mathfrak{p}, which plays a key role in studying field extensions and local properties of rings.^[41] Completions provide another link to fields via inverse limits of quotients. For the ring of integers \mathbb{Z} and prime p, the p-adic integers \mathbb{Z}_p form the inverse limit

\mathbb{Z}_p = \varprojlim_n \mathbb{Z}/p^n \mathbb{Z},

where the transition maps are the natural projections \mathbb{Z}/p^{n+1} \mathbb{Z} \to \mathbb{Z}/p^n \mathbb{Z}. This ring is an integral domain whose fraction field is the p-adic numbers \mathbb{Q}_p, illustrating how successive quotients capture completion with respect to the p-adic topology.^[42]

Historical Development

The concept of quotient rings emerged from early efforts to extend number systems and address failures of unique factorization in algebraic integers. In 1844, William Rowan Hamilton introduced quaternions as a non-commutative extension of complex numbers, which can be presented as the quotient of the free associative algebra over the reals generated by i, j, k by the two-sided ideal generated by i² + 1 = 0, j² + 1 = 0, k² + 1 = 0, ij - k = 0, jk - i = 0, ki - j = 0, motivating later non-commutative ring constructions.^[43] During the 1880s, Leopold Kronecker developed foundational work on polynomial domains and ideals in the context of algebraic number theory, emphasizing modular systems that prefigured quotient structures in elimination theory. A pivotal advancement occurred in 1871 when Richard Dedekind introduced the notion of ideals in the rings of integers \mathbb{Z} and Gaussian integers \mathbb{Z} to restore unique factorization, demonstrating that every nonzero ideal factors uniquely into prime ideals and thereby laying the groundwork for quotient rings as algebraic objects preserving such properties.^[44] Building on this, David Hilbert's basis theorem in 1893 established that every ideal in a polynomial ring over a field is finitely generated, enabling the study of quotient rings as coordinate rings of algebraic varieties and facilitating computations in invariant theory.^[45] In the 1920s, Emmy Noether pioneered abstract ring theory, abstracting Dedekind's ideal concepts to general rings and formulating the isomorphism theorems in her work on hypercomplex systems, which formalized quotient rings via kernels of homomorphisms and integrated them into the structure theory of algebras.^[46] Post-World War II developments saw Emil Artin and Oscar Zariski apply these ideas to algebraic geometry, where quotient rings describe affine schemes and resolution of singularities. Nathan Jacobson extended the theory to non-commutative rings, emphasizing primitive ideals and their quotients in works like his 1943 book The Structure of Rings.^[47] The influence of quotient rings extended to category theory through Alexander Grothendieck's 1957 Tôhoku paper, which abstracted module categories over rings into Grothendieck categories, incorporating quotients as exact functors. In computer algebra, Bruno Buchberger's 1965 algorithm for Gröbner bases provided a computational framework for ideals in polynomial rings, enabling effective manipulation of quotient rings for solving systems of equations.^[48]

References

[1]
[PDF] Quotient Rings
Apr 21, 2018 · the quotient group. R. I is defined. Addition of cosets is defined by adding coset representatives: (a + I)+(b + I)=(a + b) + I.
[2]
IAAWA Ideals and Quotient Rings - UTK Math
7.1 Ideals and Quotient Rings. 🔗 An ideal in a ring is a nonempty subset of such that if and are in , then is in , and if is in and is in , then both and are ...
[3]
[PDF] Math 403 Chapter 14: Ideals and Quotient (Factor) Rings
3. Quotient (Factor) Rings: (a) Definition: Let R be a ring and A be a subring of A. Then the set of cosets (defined. the same way as for groups with addition):
[4]
https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/An_Inquiry-Based_Approach_to_Abstract_Algebra_(Ernst)/08%3A_An_Introduction_to_Rings/8.01%3A_Definitions_and_Examples
[5]
[PDF] Lecture 32 - MATH 415–501, Fall 2021 [3mm] Modern Algebra I
If the ring R is commutative, then so is the factor ring R/∼. If R has the unity 1, then R/∼ has the unity [1]. Page 5 ...
[6]
[PDF] Chapter 6, Ideals and quotient rings
Recall the definition of a ring. For congruence, we need a special subring that will behave like nZ or like p(x)F[x] = { p(x)f(x) | f(x) ∈ F[x] }. Definition, p ...
[7]
[PDF] NOTES ON IDEALS 1. Introduction Let R be a commutative ring ...
We call I a maximal ideal if the quotient ring R/I is a field. Typically prime ideals are written as P and Q, while maximal ideals are written as M. Since the ...Missing: via textbook
[8]
[PDF] Universal mapping properties - Keith Conrad
To express this theorem as a universal mapping property, convert it into a state- ment about an initial object in a category by fixing the ring R and ideal I ...
[9]
[PDF] MAS439 Lecture 7 Isomorphism Theorem
Universal property as a slogan: Maps out of R/I are the same thing as maps out of R whose kernel contains I This property defines the quotient ring R/I. ...
[10]
[PDF] Math 332 Winter 2023, Lecture 10: Rings 1. Rings and ideals (cont'd)
Quotient rings (cont'd). 1.9.5. The universal property of quotient rings. When trying to understand a quotient ring R/I, it is important to construct.
[11]
[PDF] ring homomorphisms and the isomorphism theorems
Theorem 4 (Second isomorphism theorem). Let R be a ring, let S ⊂ R be a subring, and let I be an ideal of R. Then: (1) S + I := {s + a : s ∈ S, a ∈ I} is a ...
[12]
None
Summary of each segment:
[13]
[PDF] Math 332 Winter 2023, Lecture 11: Rings 1. Rings and ideals (cont'd)
Feb 27, 2023 · Now, let us extend the First Isomorphism Theorem to rings and ring morphisms ... on the universal property of quotient rings (Theorem 1.9.6 ...
[14]
[PDF] RES.18-012 (Spring 2022) Lecture 10: Ideals in Polynomial Rings
We'll first look at ideals in F[x], the ring of polynomials in one variable over a field. Proposition 10.2. Every ideal in F[x] is principal. ... Now consider the ...
[15]
[PDF] Contents 3 Homomorphisms, Ideals, and Quotients - Evan Dummit
... ideal mZ, while F[x]/p is the quotient of the polynomial ring F[x] by the principal ideal (p) consisting of all multiples of p. ◦ It is not hard to see ...
[16]
[PDF] Summaries, April 21, 23, 26 Finite fields
If f(x) is an irreducible element of the polynomial ring F[x], then the principal ideal (f) it generates is a maximal ideal, so the quotient ring F[x]/(f) is a ...
[17]
[PDF] Oct 14: Fundamental Theorem of Field Theory - Algebra Notes
Oct 14, 2015 · Method 1: Start with a field F and an irreducible polynomial f ∈ F[x]. The quotient ring. E = F[x]/hfi is a field with the following properties:.
[18]
[PDF] Abstract Algebra
... ABSTRACT ALGEBRA. Third Edition. David S. Dummit. University of Vermont. Richard M. Foote. University of Vermont john Wiley & Sons, Inc. Page 6. ASSOCIATE ...
[19]
[PDF] the ring z and its quotients - Institut de Mathématiques de Bordeaux
The quotient of Z by NZ is a ring. The class x + NZ is often denoted x mod N. The quotient ring Z/NZ is finite. We denote (Z/NZ). ∗ the group of units.
[20]
[PDF] Algebraic geometry of the ring of continuous functions
... ideals: the ideal a = Cc(x) of functions with compact support is proper, hence is contained in a maximal ideal, but V (a) = ∅. In fact, the maximal ideals ...
[21]
Quotient rings of integral quaternion rings - MathOverflow
Apr 2, 2024 · I'm having a hard time finding information about the quotient rings of the Lipschitz quaternions and the Hurwitz quaternions.Left- and right-sided principal ideals of quaternions have same index?On conductors, levels and traces on quaternion algebrasMore results from mathoverflow.netMissing: central | Show results with:central
[22]
https://pages.uoregon.edu/adding/notes/cont_ag.pdf
[23]
[PDF] Kernels, ideals and quotient rings
In this lecture we continue our study of rings and homomorphisms, with an emphasis on the notions of kernel, ideal and quotient ring. Let ϕ ∶ R Ñ R1 be a ring ...
[24]
[PDF] Lecture 13: Ideals; kernels of ring homomorphisms - UCSD Math
Lecture 13: The quotient ring. Friday, August 25, 2017. 12:36 AM math103b-19-w Page 4. Page 5. Lecture 13: The fundamental homomorphism theorem. Friday, August ...
[25]
[PDF] Abstract Algebra I - Lecture 31 - Michigan State University
The kernel of a ring homomorphism is the set of elements that map to 0. Two-sided ideals are precisely the kernels of ring homomorphisms.
[26]
[PDF] Week 1: Ring homomorphisms, quotient rings ... - UC Berkeley math
(b) The nilradical of R is defined by N(R) = √. 0. A ring S satisfying N(S) = 0 is called reduced. Show that R/N(R) is reduced. We now show that N(R) is the ...
[27]
[PDF] Math 533 Winter 2021, Lecture 5: Rings and ideals
Theorem 1.1.1 (The Chinese Remainder Theorem for two ideals). Let I and J be two comaximal ideals of a commutative ring R. (Recall that “comaximal” means ...
[28]
[PDF] 5 Chinese Remainder Theorem - Columbia Math Department
We can define direct products of rings, just as we did for groups. If R, S are rings, then R×S is a ring under componentwise addition and multiplication.
[29]
[PDF] Lecture 6: Chinese Remainder Theorem & Algorithm
Jan 27, 2021 · Quotient Rings. Given a ring R, and an ideal I ⊂ R, we can form equivalence classes of elements of R modulo I a ∼ b ⇔ a − b ∈ I. 10 / 68 ...
[30]
[PDF] worksheet on artinian rings with proofs
Any Artinian ring decomposes uniquely (up to isomorphism) as a direct product of finitely many local Artinian rings. Proof. Existence of this decomposition is ...
[31]
[PDF] Section IV.7. Algebras
Oct 30, 2022 · A K-algebra is a ring A where (A,+) is a unitary (left) K-module, and k(ab)=(ka)b = a(kb) for all k ∈ K and a, b ∈ A.
[32]
group algebra in nLab
Oct 12, 2025 · A quotient algebra of the group algebra of a central extension G ω G^\omega of a group G G corresponding to a group 2-cocycle ω : G × G → k ...
[33]
[PDF] Fall, 2022 Lecture IIIA: The Universal Enveloping Algebra, Free Lie ...
Sep 27, 2022 · The Universal Enveloping Algebra (U(L)) is the quotient of the tensor algebra T(L) by an ideal, and is an associative algebra.
[34]
[PDF] Affine Varieties and the Nullstellensatz - Purdue Math
Show that Hilbert's Nullstellensatz implies the weak Nullstellensatz. 0.3 Regular maps. One of the key realizations from the 1950's onwards, is that in ...
[35]
[PDF] 1. Affine Varieties
Exercise 1.23 (Relative Nullstellensatz, see Remark 1.18 (b)). Let Y ⊂ An be an affine variety, and denote by π : K[x1,...,xn] → K[x1,...,xn]/I(Y) = A(Y) the ...
[36]
[PDF] Rings of Differential Operators - Eamon Quinlan-Gallego
This ring is called the Weyl algebra in 2n-generators. We will denote it by D. Our first goal today is to study behaviour under quotients, so that we may begin ...
[37]
[PDF] atiyahmacdonald.pdf
The quotient group A/a inherits a uniquely defined multiplication from A which makes it into a ring, called the quotient ring (or residue-class ring) A/a.
[38]
[PDF] rotman.pdf
Theorem 2.35 says that every module is a quotient of a projective module. (actually, it is a stronger result: every module is a quotient of a free module).
[39]
Section 10.18 (07BH): Local rings—The Stacks project
If R is a local ring, then the maximal ideal is often denoted \mathfrak m_ R and the field R/\mathfrak m_ R is called the residue field of the local ring R. We ...
[40]
[PDF] 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #4
Sep 17, 2013 · 4.2 The ring of p-adic integers. Definition 4.3. For a prime p, the ring of p-adic integers Zp is the inverse limit. Zp = lim. ←−Z/p n. Z.
[41]
[PDF] Quaternion algebras - John Voight
Mar 20, 2025 · They capture essential features of noncommutative ring theory, number theory, 𝐾- theory, group theory, geometric topology, Lie theory, functions ...
[42]
[PDF] Dedekind's 1871 Version of the Theory of Ideals
Mar 19, 2004 · Thus, Dedekind, in fact, introduced the modern algebraic definition of an ideal, and ultimately showed that every such ideal arises from an ...
[43]
[PDF] arXiv:2309.14024v1 [math.AG] 25 Sep 2023
Sep 25, 2023 · Hilbert explicitly states that the basis theorem applies in particular to homogeneous ideals in polynomial rings; he uses Dedekind's term module ...<|separator|>
[44]
[PDF] Emmy Noether's contributions to the theory of group rings
Feb 14, 2002 · Although she was heading for group algebras over a field, the first 50 pages are devoted to abstract algebraic theorems. 2 Algebras and ...
[45]
THE ORIGINS OF THE DEFINITION OF ABSTRACT RINGS
Wolfgang Krull and Emmy Noether, that the theory of ideals became organically integrated into the theory of abstract rings. Rather than providing a ...
[46]
The 50th Anniversary of Gröbner Bases - Project Euclid
The discovery of the algorithm by Bruno Buchberger on July 1965, the so-called Buchberger algorithm used to compute Gröbner bases of ideals of the polynomial ...Missing: quotient | Show results with:quotient