Skip to main content
Mathematics LibreTexts

4.3: Quotient Rings: New Rings from Old

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives

    In this section, we'll seek to answer the questions:

    • How can we use ideals to build new rings out of old?
    • What sorts of ideals allow us to build domains? Fields?
    • What is the First Isomorphism Theorem?

    If the only rings that existed were polynomial rings, familiar systems of numbers like \(\mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}\text{,}\) and matrix rings, there would still be enough to justify the defining the concept of a ring and exploring its properties. However, these are not the only rings that exist. In this section, we explore a way of building new rings from old by means of ideals. To better understand these new rings, we will also define two new classes of ideals: prime ideals, and maximal ideals. We end by briefly connecting these rings to a familiar problem from high school algebra.

    4.3.1Congruence modulo I

    The major concept of this section is the notion of congruence modulo \(I\text{.}\) One can reasonably think of this idea as a generalization of congruence modulo \(m\) in \(\mathbb{Z}\text{.}\)

    Definition: Congruent Modulo

    Let \(R\) be a ring and \(I\) an ideal of \(R\text{.}\) Then elements \(a,b\in R\) are said to be congruent modulo\(I\) if \(b-a\in I\text{.}\) If this is the case, we write \(a + I = b + I\text{.}\)

    Activity 4.3.1

    Determine (with brief justification) whether \(a + I = b + I\) in the following rings \(R\text{.}\)

    1. \(a = 9\text{,}\) \(b = 3\text{,}\) \(I = \langle 6\rangle\text{,}\) \(R = \mathbb{Z}\)
    2. \(a = 10\text{,}\) \(b = 4\text{,}\) \(I = \langle 7\rangle\text{,}\) \(R = \mathbb{Z}\)
    3. \(a = 9\text{,}\) \(b = 3\text{,}\) \(I = \langle 6\rangle\text{,}\) \(R = \mathbb{Z}[x]\)
    4. \(a = x^2+x-2\text{,}\) \(b = x-1\text{,}\) \(I = \langle x+1\rangle\text{,}\) \(R = \mathbb{Q}[x]\)
    5. (Challenge.) \(a = x^3\text{,}\) \(b = x^2+2x\text{,}\) \(I = \langle y-x^2, y-x-2\rangle\text{,}\) \(R = \mathbb{Q}[x,y]\)
    Exploration 4.3.1

    Given a ring \(R\text{,}\) ideal \(I\text{,}\) and \(a\in R\text{,}\) when is it the case that \(a + I = 0 + I = I\text{?}\)

    Observe that if \(b-a \in I\text{,}\) then there is some \(x\in I\) such that \(b-a = x\text{,}\) and so \(b = a+x\text{.}\)

    As was the case in \(\mathbb{Z}_m\text{,}\) congruence modulo \(I\) is an equivalence relation.

    Theorem 4.3.1

    Let \(R\) be a ring and \(I\) an ideal of \(R\text{.}\) Then congruence modulo \(I\) is an equivalence relation on \(R\text{.}\)

    The set of equivalence classes under this relation is denoted \(R/I\text{.}\) What is more, this is not merely a set of equivalence classes. As the next two theorems demonstrate, this set possesses two algebraic operations that extend naturally from those of \(R\text{.}\)

    Theorem 4.3.2

    Let \(R\) be a ring and \(I\) an ideal of \(R\text{.}\) If \(a,b,c,d\in R\) such that \(a+I = b+I\) and \(c+I = d+I\text{,}\) then \((a+c) + I = (b+d) + I\text{.}\)

    Theorem 4.3.3

    Let \(R\) be a ring and \(I\) an ideal of \(R\text{.}\) If \(a,b,c,d\in R\) such that \(a+I = b+I\) and \(c+I = d+I\text{,}\) then \(ac + I = bd + I\text{.}\)

    The previous two theorems together show that addition and multiplication on the set \(R/I\) is well-defined. As these operations are built on the operations of \(R\text{,}\) it will likely not surprise you to learn that the usual axioms defining a ring also hold.

    Theorem 4.3.4

    Let \(R\) be a commutative ring with identity \(1_R\) and \(I\) an ideal of \(R\text{.}\) The set of equivalence classes modulo \(I\text{,}\) denoted \(R/I\text{,}\) is a commutative ring with identity \(1_R + I\) under the operations of addition modulo \(I\) and multiplication modulo \(I\) defined in Theorem 4.3.2 and Theorem 4.3.3 .

    Thus, given a ring \(R\) and ideal \(I\) of \(R\text{,}\) we may build a new ring \(R/I\text{.}\) In Subsection 4.3.2, we will explore the question of when \(R/I\) possesses some of the properties we've previously explored, e.g., when is \(R/I\) a domain? A field? First, we conclude with two explorations. The first gives us a sense of what these rings can look like. The second connects quotient rings to solution sets of polynomial equations.

    Exploration 4.3.2

    Consider the ring \(R=\mathbb{Z}_2[x]\) and the ideals \(I = \langle x^2-1\rangle\) and \(J = \langle x^3 -x -1\rangle\text{.}\)

    1. List the elements of \(R/I\) and \(R/J\text{.}\)
    2. What happens to \(x^2\) in \(R\) when you pass to the quotient ring \(R/I\text{?}\) How about \(x^3\) as you pass from \(R\) to \(R/J\text{?}\)
    3. In view of your answer to the previous question, how does \(x\) behave as you “mod out” by \(I\) and \(J\text{?}\)
    4. Build addition and multiplication tables for each of \(R/I\) and \(R/J\text{.}\)
    Exploration 4.3.3

    One of the most useful connections made in high school algebra is the connection between a function \(f\) (in particular, a polynomial function) and its graph. We may extend this notion to ideals via the concept of a zero set as follows.

    Let \(F\) be a field and \(R = F[x,y]\) with \(I\subseteq R\) a nonzero ideal. We define the zero set of \(I\text{,}\) denoted \(Z(I)\text{,}\) as the set of all points \((a,b)\in F^2\) for which \(f(a,b)=0\) for all \(f\in I\text{.}\)

    1. Suppose \(I = \langle f_1, f_2, \ldots, f_n\rangle\text{.}\) Prove that \((a,b)\in Z(I)\) if and only if \(f_j(a,b) = 0\) for each \(j\in \{1,\ldots, n\}\text{.}\) Thus, \(Z(I)\) can be determined entirely by examining the generators of \(I\text{.}\)
    2. Describe \(Z(I)\) given \(I = \langle y-x^2\rangle \text{.}\)
    3. (Challenge) Given \(I = \langle y-x^2\rangle\) and \(J = \langle y-x-2\rangle\text{,}\) describe \(Z(I+J)\) and \(Z(I\cap J)\text{.}\)
    4. Given \(I=\langle y-x^2\rangle\text{,}\) describe the relationship between the variables \(x\) and \(y\) in the quotient \(R/I\text{.}\) In what way have we restricted our polynomial “inputs” to the parabola \(y = x^2\text{?}\)

    4.3.2Prime and Maximal Ideals

    In this section, we continue our exploration of quotient rings by looking more closely at properties of ideals. We focus on particular properties of ideals that ensure that the quotient \(R/I\) is either a domain or a field.

    Definition: Prime

    Let \(R\) be commutative with identity and \(P\subsetneq R\) a nonzero ideal. We say \(P\) is prime if whenever \(a,b\in R\) such that \(ab\in P\text{,}\) we have \(a\in P\) or \(b\in P\text{.}\)

    Theorem 4.3.5

    Let \(R\) be a domain and \(p\in R\) be prime. Then \(\langle p\rangle\) is a prime ideal.

    Activity 4.3.2

    Which of the following ideals are prime?

    1. \(\langle 9\rangle\) in \(\mathbb{Z}\)
    2. \(\langle 11\rangle\) in \(\mathbb{Z}\)
    3. \(\langle x^2+1\rangle\) in \(\mathbb{R}[x]\)
    4. \(\langle x^2-1\rangle\) in \(\mathbb{R}[x]\)
    5. \(\langle x^2-5x+6, x^4+2x^3-10x^2+5x-2\rangle\) in \(\mathbb{R}[x]\)

    ​​​​​​It is this precise condition that guarantees that the resulting quotient is a domain.

    Theorem 4.3.6

    Let \(R\) be commutative with identity and \(I\) an ideal of \(R\text{.}\) Then \(I\) is prime if and only if \(R/I\) is an integral domain.

    We now consider another important class of ideals: the maximal ideals.

    Definition: Maximal Ideal

    Let \(R\) be commutative with identity and let \(M\subsetneq R\) be a nonzero ideal. We say that \(M\) is a maximal ideal if no proper ideal of \(R\) properly contains \(M\text{.}\) That is, if \(J\) is an ideal satisfying \(M\subseteq J\subseteq R\text{,}\) either \(J=M\) or \(J=R\text{.}\)

    In other words, an ideal \(M\ne R\) is maximal if no “larger” ideal (with respect to inclusion) properly contains it. As we will see later, rings can have many maximal ideals.

    It is a fact that any ring \(R\) with \(0_R\ne 1_R\) has a maximal ideal. This follows from Zorn's Lemma; a rigorous exploration of Zorn's Lemma lies outside of the scope of this text, but suffice it to say that Zorn's Lemma is incredibly useful in all areas of algebra for proving existence theorems. For example, a proof that every vector space has a basis relies on Zorn's Lemma.

    Rings with only one maximal ideal are said to be local rings, and are actively studied in modern research in commutative algebra (the study of commutative rings and their properties).

    The next two results demonstrate that the maximality of \(I\) is precisely the condition that guarantees that \(R/I\) is a field.

    Theorem 4.3.7

    Let \(R\) be commutative with identity and \(I\) an ideal of \(R\text{.}\) Then \(I\) is maximal if and only if \(R/I\) is a field.


    For the forward direction, apply the previous lemma to construct an inverse for \(x+I\) given any \(x\in R\setminus I\text{.}\)

    Theorem 4.3.8

    Every maximal ideal is prime.

    In general, the converse is not true (see the Challenge below). However, it holds in sufficiently nice rings.

    Theorem 4.3.9

    In a principal ideal domain, every prime ideal is maximal.

    Exploration 4.3.4

    Describe the prime and maximal ideals of \(\mathbb{Z}\) and \(\mathbb{Q}[x]\text{.}\)


    For which ideals \(I\) is \(\mathbb{Z}/I\) a domain? A field? Similarly for \(\mathbb{Q}[x]\text{.}\) Or, use Theorem 4.3.9 .


    Find a commutative ring with identity, \(R\text{,}\) and a nonmaximal prime ideal \(P\) of \(R\text{.}\)

    4.3.3Homomorphisms and Quotient Rings

    As quotient rings provide fertile soil for building new examples of rings, it should not surprise us to find that homomorphisms interact with quotient rings in interesting and useful ways. Chief among them are the isomorphism theorems. In this subsection, we focus primarily on the First Isomorphism Theorem.

    We have seen that any homomorphism \(\varphi : R\to S\) gives rise to an ideal of \(R\text{,}\) namely \(\ker\varphi\text{.}\) Our next theorem demonstrates that, given a commutative ring with identity \(R\text{,}\) every ideal is the kernel of some homomorphism defined on \(R\text{.}\)

    Theorem 4.3.10

    Let \(R\) be commutative with identity and \(I\) an ideal of \(R\text{.}\) Define \(\varphi: R\to R/I\) by \(\varphi(r) = r+I\text{.}\) Then \(\varphi\) is a homomorphism with \(\ker\varphi = I\text{.}\)

    In what follows, we work toward a proof of the First Isomorphism Theorem for Rings.

    Throughout, let \(R\) and \(S\) be commutative rings with identity, and let \(\varphi : R\to S\) be a homomorphism. Recall that \(\text{im } \varphi = \{s\in S : \varphi(r) = s\text{ for some } r\in R\}\text{.}\)

    Define \(f: R/\ker \varphi \to \text{im } \varphi\) by \(f(r+\ker \varphi) = \varphi(r)\text{.}\)

    We thus obtain:

    Theorem 4.3.11 : First Isomorphism Theorem

    Let \(\varphi : R\to S\) be a homomorphism of commutative rings. Then \(R/\ker \varphi \cong \text{im } \varphi\text{.}\)

    In particular, if \(\varphi : R\to S\) is onto, \(R/\ker \varphi \cong S\text{.}\)

    The First Isomorphism Theorem gives a useful way of establishing an isomorphism between a quotient ring \(R/I\) and another ring \(S\text{:}\) find an onto homomorphism \(R\to S\) with kernel \(I\text{.}\)

    Theorem 4.3.12

    We have the following isomorphisms of rings.

    1. \(\displaystyle \mathbb{Z}/\langle m\rangle \cong \mathbb{Z}_m\)
    2. \(\displaystyle \mathbb{Q}[x]/\langle x-5\rangle \cong \mathbb{Q}\)
    3. \(\displaystyle \mathbb{R}[x]/\langle x^2+1\rangle \cong \mathbb{C}\)
    Activity 4.3.3

    Let \(R = \mathbb{Z}_6\) and define \(\varphi : \mathbb{Z}_6 \to \mathbb{Z}_2\) by \(\varphi(\overline{x}) = \overline{x}\text{.}\) That is, \(\varphi\) sends an equivalence class \(\overline{x}\in \mathbb{Z}_6\) represented by \(x\in \mathbb{Z}\) to the equivalence class represented by \(x\) in \(\mathbb{Z}_2\text{.}\)

    1. Show that \(\varphi\) is a well-defined function.
    2. Prove that \(\varphi\) is a homomorphism.
    3. Is \(\varphi\) onto? Justify.
    4. Compute \(\ker\varphi\) (that is, list the elements in the set). Is \(\varphi\) one-to-one?
    5. Without appealing to the definition, is \(\ker\varphi\) prime? Maximal? Explain.

    This page titled 4.3: Quotient Rings: New Rings from Old is shared under a not declared license and was authored, remixed, and/or curated by Michael Janssen & Melissa Lindsey via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?