# Quotient ring

A **quotient ring** (also called a **factor ring**) is a ring constructed from a ring \( R \) and an ideal \( I \subseteq R \) by forming the cosets \( a + I \) and defining addition and multiplication on them by \( (a+I) + (b+I) = (a+b)+I \) and \( (a+I)(b+I) = ab+I \). The resulting ring is written \( R/I \). The construction generalizes congruence modulo \( m \) in the integers and is the standard way of building new rings from old ones.<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup>

| Key fact | Detail |
|---|---|
| Elements | The cosets \( a + I = \{a + i \mid i \in I\} \), also called congruence classes of \( R \) modulo \( I \)<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> |
| Operations | \( (a+I)+(b+I)=(a+b)+I \) and \( (a+I)(b+I)=ab+I \); well-defined because \( I \) is an ideal<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> |
| Identity and zero | The zero element is \( 0_R + I \) (which is \( I \) itself); if \( R \) has an identity, the identity of \( R/I \) is \( 1_R + I \)<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup><sup> • </sup><sup>[2](https://web.ma.utexas.edu/users/voloch/Homework/ash-ch2.pdf)</sup> |
| Natural map | \( \pi : R \to R/I \), \( \pi(r) = r+I \), is a surjective ring homomorphism with kernel exactly \( I \)<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> |
| Kernels and ideals | The kernels of ring homomorphisms with domain \( R \) are precisely the ideals of \( R \)<sup>[3](https://crypto.stanford.edu/pbc/notes/commalg/ideals.html)</sup> |
| Prime and maximal | For a proper ideal \( I \) of a commutative ring \( R \): \( I \) is prime if and only if \( R/I \) is an integral domain, and \( I \) is maximal if and only if \( R/I \) is a field<sup>[4](https://www.maths.tcd.ie/~ormondca/notes/Algebraic%20Geometry.pdf)</sup> |
| Canonical examples | \( \mathbb{Z}/n\mathbb{Z} \) is modular arithmetic; \( \mathbb{R}[x]/(x^2+1) \cong \mathbb{C} \)<sup>[5](https://math.hodapp.com/lectures/foundations/rings/ideals-and-quotient-rings.html)</sup> |

## Definition and well-definedness

Let \( I \) be an ideal in a ring \( R \). Because \( I \) is an additive subgroup, the cosets \( a + I \) form a quotient group under addition. The ring structure requires multiplication, and this is where the ideal property does its work. The central theorem asserts that whenever two cosets in \( R/I \) agree, say \( a+I = b+I \) and \( c+I = d+I \), their sums and products also agree, meaning \( (a+c)+I = (b+d)+I \) and \( ac+I = bd+I \); in other words, adding and multiplying cosets is well defined regardless of the representatives picked.<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup>

The verification of well-definedness for multiplication uses absorption directly: if \( I+a = I+a' \) and \( I+b = I+b' \), then \( ab - a'b' = a(b-b') + (a-a')b' \in I \), since \( I \) absorbs multiplication by any element of \( R \).<sup>[3](https://crypto.stanford.edu/pbc/notes/commalg/ideals.html)</sup> An ordinary additive subgroup would not guarantee this, which is why ideals, rather than arbitrary subrings, are the subsets by which rings can be divided.

The construction inherits properties from \( R \): if \( R \) is commutative, so is \( R/I \), and if \( R \) has an identity \( 1_R \), then \( 1_R + I \) is the identity of \( R/I \).<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> In a ring with identity, an ideal \( I \) equals the whole ring \( R \) exactly when \( I \) contains a unit.<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup>

## The natural map and the isomorphism theorems

The map \( \pi : R \to R/I \) sending \( r \) to \( r + I \) is a surjective ring homomorphism whose kernel is \( I \): indeed \( r + I = 0 + I \) exactly when \( r \in I \).<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> Conversely, the kernel of any ring homomorphism \( f : R \to S \) is an ideal of \( R \), since \( f(a-b) = f(a)-f(b) \) and \( f(ra) = f(r)f(a) \) vanish whenever \( f(a) = 0 \).<sup>[1](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)</sup> So the ideals of \( R \) and the kernels of homomorphisms out of \( R \) are the same objects, viewed from two sides.<sup>[3](https://crypto.stanford.edu/pbc/notes/commalg/ideals.html)</sup>

The **First Isomorphism Theorem** completes the picture: for a homomorphism \( \varphi : R \to S \) of commutative rings, \( R/\ker\varphi \cong \operatorname{im}\varphi \), and if \( \varphi \) is onto, \( R/\ker\varphi \cong S \).<sup>[6](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Rings_with_Inquiry_%28Janssen_and_Lindsey%29/04%3A_Ideals_and_Homomorphisms_and_test/4.03%3A_Quotient_Rings%3A_New_Rings_from_Old)</sup> This gives a practical recipe for proving that a quotient ring \( R/I \) is isomorphic to some ring \( S \): find a surjective homomorphism \( R \to S \) with kernel \( I \).<sup>[6](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Rings_with_Inquiry_%28Janssen_and_Lindsey%29/04%3A_Ideals_and_Homomorphisms_and_test/4.03%3A_Quotient_Rings%3A_New_Rings_from_Old)</sup>

Quotients also behave well with respect to their own ideals. The natural map \( \pi \) induces a one-to-one, order-preserving correspondence between the ideals of \( R \) that contain \( I \) and the ideals of \( R/I \).<sup>[7](https://people.maths.bris.ac.uk/~ki18754/AG_notes/main.html)</sup>

## Congruences

The quotient construction can be described without mentioning ideals first. A **congruence** on a ring \( R \) is an equivalence relation \( \sim \) compatible with the operations: if \( x \sim y \), then \( x+a \sim y+a \), \( xa \sim ya \), and \( ax \sim ay \) for all \( a \in R \). Addition and multiplication of equivalence classes, \( \overline{x} + \overline{y} = \overline{x+y} \) and \( \overline{x}\,\overline{y} = \overline{xy} \), are then well defined and give a ring, and the map \( x \mapsto \overline{x} \) is a homomorphism.<sup>[8](https://www.sciencedirect.com/topics/mathematics/ring-homomorphism)</sup>

There is a one-to-one correspondence between ideals and congruences: to a congruence associate the set of elements congruent to \( 0 \), which is an ideal, and the congruence is recovered from that ideal by \( x \sim y \) if and only if \( x - y \) lies in it.<sup>[8](https://www.sciencedirect.com/topics/mathematics/ring-homomorphism)</sup> In this light, an ideal is exactly the data of a way of declaring two ring elements equal without breaking the arithmetic.

## Examples

**Modular arithmetic.** Quotienting \( \mathbb{Z} \) by the principal ideal \( n\mathbb{Z} \) imposes the relation \( n = 0 \); the quotient \( \mathbb{Z}/n\mathbb{Z} \) is the ring of integers modulo \( n \), with the residue classes \( \overline{0}, \overline{1}, \ldots, \overline{n-1} \) as elements.<sup>[5](https://math.hodapp.com/lectures/foundations/rings/ideals-and-quotient-rings.html)</sup> When \( n \) is prime, this ring is a field, denoted \( \mathbb{F}_p \).<sup>[5](https://math.hodapp.com/lectures/foundations/rings/ideals-and-quotient-rings.html)</sup>

**The complex numbers as a quotient.** Quotienting \( \mathbb{R}[x] \) by the ideal \( (x^2+1) \) adds the relation \( x^2 = -1 \). Every coset has a unique representative of degree at most 1, say \( a + bx \), and the multiplication \( (a+bx)(c+dx) = (ac-bd) + (ad+bc)x \) is exactly the multiplication of complex numbers under \( x \leftrightarrow i \). The First Isomorphism Theorem gives the same result from the other direction: evaluation at \( i \), \( f(x) \mapsto f(i) \), is a surjective homomorphism \( \mathbb{R}[x] \to \mathbb{C} \) with kernel \( (x^2+1) \).<sup>[5](https://math.hodapp.com/lectures/foundations/rings/ideals-and-quotient-rings.html)</sup> The same technique over \( \mathbb{Q} \) produces fields such as \( \mathbb{Q}[x]/(x^2-2) \cong \mathbb{Q}(\sqrt{2}) \).<sup>[9](https://cs.yale.edu/homes/aspnes/pinewiki/Polynomials.html)</sup>

**Finite fields.** For a polynomial \( p(x) \) over a field \( F \), the quotient \( F[x]/(p(x)) \) is a field if and only if \( p \) is irreducible, by the prime/maximal criterion applied in the principal ideal domain \( F[x] \).<sup>[9](https://cs.yale.edu/homes/aspnes/pinewiki/Polynomials.html)</sup><sup> • </sup><sup>[4](https://www.maths.tcd.ie/~ormondca/notes/Algebraic%20Geometry.pdf)</sup> Starting from \( F = \mathbb{F}_p \) and an irreducible polynomial of degree \( n \), the quotient has exactly \( p^n \) elements, each representable by the \( n \) coefficients of a remainder of degree less than \( n \).<sup>[9](https://cs.yale.edu/homes/aspnes/pinewiki/Polynomials.html)</sup> This is the standard construction of the finite field \( \mathbb{F}_{p^n} \), and it underlies finite-field arithmetic in cryptography and coding theory; the FAEST post-quantum signature specification, for example, defines its fields \( \mathbb{F}_{2^{64}} \), \( \mathbb{F}_{2^{128}} \), \( \mathbb{F}_{2^{192}} \), and \( \mathbb{F}_{2^{256}} \) as polynomials over \( \mathbb{F}_2 \) taken modulo an irreducible polynomial.<sup>[10](https://csrc.nist.gov/csrc/media/Projects/pqc-dig-sig/documents/round-1/spec-files/FAEST-spec-web.pdf)</sup>

**Coordinate rings.** In algebraic geometry, the affine coordinate ring of an algebraic set \( V \subseteq \mathbb{A}^n \) is the quotient \( \mathbb{C}[V] = \mathbb{C}[x_1, \ldots, x_n]/\mathbb{I}(V) \), where \( \mathbb{I}(V) \) is the ideal of polynomials vanishing on \( V \). Its elements are polynomial functions restricted to \( V \): two polynomials agree on \( V \) exactly when their difference lies in \( \mathbb{I}(V) \).<sup>[7](https://people.maths.bris.ac.uk/~ki18754/AG_notes/main.html)</sup><sup> • </sup><sup>[11](https://mathe2.uni-bayreuth.de/stoll/lecture-notes/IntroductoryGeometry_AlgebraicGeometry.pdf)</sup> When \( V \) is a variety, \( \mathbb{I}(V) \) is prime, so the coordinate ring is an integral domain, and its field of fractions is the function field of \( V \).<sup>[11](https://mathe2.uni-bayreuth.de/stoll/lecture-notes/IntroductoryGeometry_AlgebraicGeometry.pdf)</sup>

## Prime and maximal ideals

The quotient construction converts ideal-theoretic conditions into ring-theoretic ones. For a proper ideal \( I \) of a commutative ring \( R \), \( I \) is prime if and only if \( R/I \) is an integral domain, and \( I \) is maximal if and only if \( R/I \) is a field; since every field is a domain, every maximal ideal is prime.<sup>[4](https://www.maths.tcd.ie/~ormondca/notes/Algebraic%20Geometry.pdf)</sup> The converse fails in general, though it holds in a principal ideal domain, where every prime ideal is maximal.<sup>[6](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Rings_with_Inquiry_%28Janssen_and_Lindsey%29/04%3A_Ideals_and_Homomorphisms_and_test/4.03%3A_Quotient_Rings%3A_New_Rings_from_Old)</sup>

This dictionary is what makes quotients a working tool: to test whether an ideal is prime or maximal, one examines whether the quotient is a domain or a field, questions about elements rather than about containment chains of ideals.

## The Chinese Remainder Theorem

Quotient rings decompose. The Chinese Remainder Theorem for rings states that if \( R \) is \( \mathbb{Z} \) or a polynomial ring \( F[x] \), and \( m_1, \ldots, m_k \) are pairwise coprime with product \( m \), then
\[ R/(m) \cong R/(m_1) \oplus R/(m_2) \oplus \cdots \oplus R/(m_k). \]
In words, the quotient by the principal ideal \( (m) \) is isomorphic to the direct sum of the quotients by the factors.<sup>[12](https://www.cse.iitk.ac.in/users/manindra/CS681/2005/Lecture4.pdf)</sup> The isomorphism is used computationally: modular algorithms apply the theorem to break a computation over \( \mathbb{Z} \) or \( F[x] \) into computations over simpler quotient rings, and quotients of rings of integers are used in computational number theory to prevent coefficient explosion, to exploit Chinese-remainder field structure, and to limit precision in \( p \)-adic computations.<sup>[13](https://arxiv.org/abs/1612.09176)</sup>

## Historical background

The ideal concept was invented by [Richard Dedekind](https://www.edgepedia.org/richard-dedekind) in the 1870s as part of his theory of algebraic integers, a development described as a major turning point in the history of algebra; to state it he had to build the framework of fields, rings, modules, and vector spaces that later formed the core of abstract algebra.<sup>[14](https://www.cambridge.org/core/books/abs/theory-of-algebraic-integers/translators-introduction/1C3FB85AD6C4B00C2A68E1D7BB6A5EDB)</sup> The axiomatic treatment of commutative rings came in the 1920s with [Emmy Noether](https://www.edgepedia.org/emmy-noether) and [Wolfgang Krull](https://www.edgepedia.org/wolfgang-krull); Noether's 1921 paper *Idealtheorie in Ringbereichen* brought the theories of polynomial rings and rings of numbers under a single abstract theory, and her results became widely known with the publication of Bartel van der Waerden's *Modern Algebra* in 1930.<sup>[15](https://mathshistory.st-andrews.ac.uk//HistTopics/Ring_theory/)</sup> Noether herself pointed students back to Dedekind, remarking "Es steht schon bei Dedekind" ("It's already in Dedekind").<sup>[14](https://www.cambridge.org/core/books/abs/theory-of-algebraic-integers/translators-introduction/1C3FB85AD6C4B00C2A68E1D7BB6A5EDB)</sup>

## References

1. [Quotient rings and homomorphisms, course notes (University of Hawaii)](https://math.hawaii.edu/~tom/old_classes/412notes6.pdf)
2. [Rings and Fields, ch. 2 (University of Texas at Austin)](https://web.ma.utexas.edu/users/voloch/Homework/ash-ch2.pdf)
3. [Comm. Algebra - Ideals, Paul Burchard notes (Stanford)](https://crypto.stanford.edu/pbc/notes/commalg/ideals.html)
4. [MA 2318: Algebraic Geometry, lecture notes (Trinity College Dublin)](https://www.maths.tcd.ie/~ormondca/notes/Algebraic%20Geometry.pdf)
5. [Ideals and quotient rings, Math foundations](https://math.hodapp.com/lectures/foundations/rings/ideals-and-quotient-rings.html)
6. [4.3: Quotient Rings: New Rings from Old, LibreTexts (Janssen & Lindsey)](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Rings_with_Inquiry_%28Janssen_and_Lindsey%29/04%3A_Ideals_and_Homomorphisms_and_test/4.03%3A_Quotient_Rings%3A_New_Rings_from_Old)
7. [Algebraic Geometry Notes, University of Bristol](https://people.maths.bris.ac.uk/~ki18754/AG_notes/main.html)
8. [Ring Homomorphism - an overview, ScienceDirect Topics](https://www.sciencedirect.com/topics/mathematics/ring-homomorphism)
9. [Polynomials, James Aspnes, Yale University](https://cs.yale.edu/homes/aspnes/pinewiki/Polynomials.html)
10. [FAEST Specification Document, NIST Post-Quantum Cryptography](https://csrc.nist.gov/csrc/media/Projects/pqc-dig-sig/documents/round-1/spec-files/FAEST-spec-web.pdf)
11. [Introductory Geometry: Algebraic Geometry, M. Stoll, Universität Bayreuth](https://mathe2.uni-bayreuth.de/stoll/lecture-notes/IntroductoryGeometry_AlgebraicGeometry.pdf)
12. [CS 681 Lecture 4: Chinese Remainder Theorem, M. Agrawal, IIT Kanpur](https://www.cse.iitk.ac.in/users/manindra/CS681/2005/Lecture4.pdf)
13. [Computing in quotients of rings of integers, arXiv:1612.09176](https://arxiv.org/abs/1612.09176)
14. [Translator's introduction, Dedekind, Theory of Algebraic Integers, Cambridge University Press](https://www.cambridge.org/core/books/abs/theory-of-algebraic-integers/translators-introduction/1C3FB85AD6C4B00C2A68E1D7BB6A5EDB)
15. [Ring Theory, MacTutor History of Mathematics, University of St Andrews](https://mathshistory.st-andrews.ac.uk//HistTopics/Ring_theory/)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Ring theory › Ring foundations*

*Initially written Sep 17, 2026 · Reviewed: Sep 19, 2026; Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license