Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section16.3Ring Homomorphisms and Ideals

In the study of groups, a homomorphism is a map that preserves the operation of the group. Similarly, a homomorphism between rings preserves the operations of addition and multiplication in the ring. More specifically, if \(R\) and \(S\) are rings, then a ring homomorphism is a map \(\phi : R \rightarrow S\) satisfying \begin{align*} \phi( a + b ) & = \phi( a ) + \phi(b)\\ \phi( a b ) & = \phi( a ) \phi(b) \end{align*} for all \(a, b \in R\). If \(\phi : R \rightarrow S\) is a one-to-one and onto homomorphism, then \(\phi\) is called an isomorphism of rings.

The set of elements that a ring homomorphism maps to \(0\) plays a fundamental role in the theory of rings. For any ring homomorphism \(\phi : R \rightarrow S\), we define the kernel of a ring homomorphism to be the set \begin{equation*}\ker \phi = \{ r \in R : \phi( r ) = 0 \}.\end{equation*}


For any integer \(n\) we can define a ring homomorphism \(\phi : {\mathbb Z} \rightarrow {\mathbb Z}_n\) by \(a \mapsto a \pmod{n}\). This is indeed a ring homomorphism, since \begin{align*} \phi( a + b ) & = (a + b) \pmod{n}\\ & = a \pmod{n} + b \pmod{n}\\ & = \phi( a ) + \phi(b) \end{align*} and \begin{align*} \phi( a b ) & = ab \pmod{n}\\ & = a \pmod{n}\cdot b \pmod{n}\\ & = \phi( a ) \phi(b). \end{align*} The kernel of the homomorphism \(\phi\) is \(n {\mathbb Z}\).


Let \(C[a, b]\) be the ring of continuous real-valued functions on an interval \([a,b]\) as in Example 16.5. For a fixed \(\alpha \in [a, b]\), we can define a ring homomorphism \(\phi_{\alpha} : C[a, b] \rightarrow {\mathbb R}\) by \(\phi_{\alpha} (f ) = f( \alpha)\). This is a ring homomorphism since \begin{gather*} \phi_{\alpha}( f + g ) = (f + g)( \alpha) = f(\alpha) + g(\alpha) = \phi_{\alpha}( f ) + \phi_{\alpha}(g )\\ \phi_{\alpha}( f g ) = (f g)( \alpha) = f(\alpha) g(\alpha) = \phi_{\alpha}( f ) \phi_{\alpha}(g ). \end{gather*} Ring homomorphisms of the type \(\phi_{\alpha}\) are called evaluation homomorphisms.

In the next proposition we will examine some fundamental properties of ring homomorphisms. The proof of the proposition is left as an exercise.

In group theory we found that normal subgroups play a special role. These subgroups have nice characteristics that make them more interesting to study than arbitrary subgroups. In ring theory the objects corresponding to normal subgroups are a special class of subrings called ideals. An ideal in a ring \(R\) is a subring \(I\) of \(R\) such that if \(a\) is in \(I\) and \(r\) is in \(R\), then both \(ar\) and \(ra\) are in \(I\); that is, \(rI \subset I\) and \(Ir \subset I\) for all \(r \in R\).


Every ring \(R\) has at least two ideals, \(\{ 0 \}\) and \(R\). These ideals are called the trivial ideals.

Let \(R\) be a ring with identity and suppose that \(I\) is an ideal in \(R\) such that \(1\) is in \(I\). Since for any \(r \in R\), \(r1 = r \in I\) by the definition of an ideal, \(I = R\).


If \(a\) is any element in a commutative ring \(R\) with identity, then the set \begin{equation*}\langle a \rangle = \{ ar : r \in R \}\end{equation*} is an ideal in \(R\). Certainly, \(\langle a \rangle\) is nonempty since both \(0 = a0\) and \(a = a1\) are in \(\langle a \rangle\). The sum of two elements in \(\langle a \rangle\) is again in \(\langle a \rangle\) since \(ar + ar' = a(r + r')\). The inverse of \(ar\) is \(-ar = a (-r) \in \langle a \rangle\). Finally, if we multiply an element \(ar \in \langle a \rangle\) by an arbitrary element \(s \in R\), we have \(s(ar) = a(sr)\). Therefore, \(\langle a \rangle\) satisfies the definition of an ideal.

If \(R\) is a commutative ring with identity, then an ideal of the form \(\langle a \rangle = \{ ar : r \in R \}\) is called a principal ideal.


The set \(n {\mathbb Z}\) is ideal in the ring of integers. If \(na\) is in \(n{\mathbb Z}\) and \(b\) is in \({\mathbb Z}\), then \(nab\) is in \(n {\mathbb Z}\) as required. In fact, by Theorem 16.25, these are the only ideals of \({\mathbb Z}\).


In our definition of an ideal we have required that \(rI \subset I\) and \(Ir \subset I\) for all \(r \in R\). Such ideals are sometimes referred to as two-sided ideals. We can also consider one-sided ideals; that is, we may require only that either \(rI \subset I\) or \(Ir \subset I\) for \(r \in R\) hold but not both. Such ideals are called left ideals and right ideals, respectively. Of course, in a commutative ring any ideal must be two-sided. In this text we will concentrate on two-sided ideals.


The ring \(R/I\) in Theorem 16.29 is called the factor or quotient ring. Just as with group homomorphisms and normal subgroups, there is a relationship between ring homomorphisms and ideals.


The map \(\phi : R \rightarrow R/I\) is often called the natural or canonical homomorphism. In ring theory we have isomorphism theorems relating ideals and ring homomorphisms similar to the isomorphism theorems for groups that relate normal subgroups and homomorphisms in Chapter 11. We will prove only the First Isomorphism Theorem for rings in this chapter and leave the proofs of the other two theorems as exercises. All of the proofs are similar to the proofs of the isomorphism theorems for groups.