16.6: Maximal and Prime Ideals
- Page ID
- 81162
\( \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}\)In this particular section we are especially interested in certain ideals of commutative rings. These ideals give us special types of factor rings. More specifically, we would like to characterize those ideals \(I\) of a commutative ring \(R\) such that \(R/I\) is an integral domain or a field.
A proper ideal \(M\) of a ring \(R\) is a maximal ideal of \(R\) if the ideal \(M\) is not a proper subset of any ideal of \(R\) except \(R\) itself. That is, \(M\) is a maximal ideal if for any ideal \(I\) properly containing \(M\text{,}\) \(I = R\text{.}\) The following theorem completely characterizes maximal ideals for commutative rings with identity in terms of their corresponding factor rings.
Theorem \(16.35\)
Let \(R\) be a commutative ring with identity and \(M\) an ideal in \(R\text{.}\) Then \(M\) is a maximal ideal of \(R\) if and only if \(R/M\) is a field.
- Proof
-
Let \(M\) be a maximal ideal in \(R\text{.}\) If \(R\) is a commutative ring, then \(R/M\) must also be a commutative ring. Clearly, \(1 + M\) acts as an identity for \(R/M\text{.}\) We must also show that every nonzero element in \(R/M\) has an inverse. If \(a + M\) is a nonzero element in \(R/M\text{,}\) then \(a \notin M\text{.}\) Define \(I\) to be the set \(\{ ra + m : r \in R \text{ and } m \in M \}\text{.}\) We will show that \(I\) is an ideal in \(R\text{.}\) The set \(I\) is nonempty since \(0a+0=0\) is in \(I\text{.}\) If \(r_1 a + m_1\) and \(r_2 a + m_2\) are two elements in \(I\text{,}\) then
\[ (r_1 a + m_1) - ( r_2 a + m_2) = (r_1 - r_2)a + (m_1 - m_2) \nonumber \]is in \(I\text{.}\) Also, for any \(r \in R\) it is true that \(rI \subset I\text{;}\) hence, \(I\) is closed under multiplication and satisfies the necessary conditions to be an ideal. Therefore, by Proposition \(16.10\) and the definition of an ideal, \(I\) is an ideal properly containing \(M\text{.}\) Since \(M\) is a maximal ideal, \(I=R\text{;}\) consequently, by the definition of \(I\) there must be an \(m\) in \(M\) and an element \(b\) in \(R\) such that \(1=ab+m\text{.}\) Therefore,
\[ 1 + M = ab + M = ba + M = (a+M)(b+M)\text{.} \nonumber \]Conversely, suppose that \(M\) is an ideal and \(R/M\) is a field. Since \(R/M\) is a field, it must contain at least two elements: \(0 + M = M\) and \(1 + M\text{.}\) Hence, \(M\) is a proper ideal of \(R\text{.}\) Let \(I\) be any ideal properly containing \(M\text{.}\) We need to show that \(I = R\text{.}\) Choose \(a\) in \(I\) but not in \(M\text{.}\) Since \(a+ M\) is a nonzero element in a field, there exists an element \(b +M\) in \(R/M\) such that \((a+M)(b+M) = ab + M = 1+M\text{.}\) Consequently, there exists an element \(m \in M\) such that \(ab + m = 1\) and \(1\) is in \(I\text{.}\) Therefore, \(r1 =r \in I\) for all \(r \in R\text{.}\) Consequently, \(I = R\text{.}\)
Example \(16.36\)
Let \(p{\mathbb Z}\) be an ideal in \({\mathbb Z}\text{,}\) where \(p\) is prime.
Solution
Then \(p{\mathbb Z}\) is a maximal ideal since \({\mathbb Z}/ p {\mathbb Z} \cong {\mathbb Z}_p\) is a field.
A proper ideal \(P\) in a commutative ring \(R\) is called a prime ideal if whenever \(ab \in P\text{,}\) then either \(a \in P\) or \(b \in P\text{.}\) 6
Example \(16.37\)
It is easy to check that the set \(P = \{ 0, 2, 4, 6, 8, 10 \}\) is an ideal in \({\mathbb Z}_{12}\text{.}\)
Solution
This ideal is prime. In fact, it is a maximal ideal.
Proposition \(16.38\)
Let \(R\) be a commutative ring with identity \(1\text{,}\) where \(1 \neq 0\text{.}\) Then \(P\) is a prime ideal in \(R\) if and only if \(R/P\) is an integral domain.
- Proof
-
First let us assume that \(P\) is an ideal in \(R\) and \(R/P\) is an integral domain. Suppose that \(ab \in P\text{.}\) If \(a + P\) and \(b + P\) are two elements of \(R/P\) such that \((a + P)(b + P) = 0 + P = P\text{,}\) then either \(a + P = P\) or \(b + P = P\text{.}\) This means that either \(a\) is in \(P\) or \(b\) is in \(P\text{,}\) which shows that \(P\) must be prime.
Conversely, suppose that \(P\) is prime and
\[ (a + P)(b + P) = ab + P = 0 + P = P\text{.} \nonumber \]Then \(ab \in P\text{.}\) If \(a \notin P\text{,}\) then \(b\) must be in \(P\) by the definition of a prime ideal; hence, \(b + P = 0 + P\) and \(R/P\) is an integral domain.
Example \(16.39\)
Every ideal in \({\mathbb Z}\) is of the form \(n {\mathbb Z}\text{.}\) The factor ring \({\mathbb Z} / n{\mathbb Z} \cong {\mathbb Z}_n\) is an integral domain only when \(n\) is prime. It is actually a field.
Solution
Hence, the nonzero prime ideals in \({\mathbb Z}\) are the ideals \(p{\mathbb Z}\text{,}\) where \(p\) is prime. This example really justifies the use of the word “prime” in our definition of prime ideals.
Since every field is an integral domain, we have the following corollary.
Corollary \(16.40\)
Every maximal ideal in a commutative ring with identity is also a prime ideal
Historical Note
Amalie Emmy Noether, one of the outstanding mathematicians of the twentieth century, was born in Erlangen, Germany in 1882. She was the daughter of Max Noether (1844–1921), a distinguished mathematician at the University of Erlangen. Together with Paul Gordon (1837–1912), Emmy Noether's father strongly influenced her early education. She entered the University of Erlangen at the age of 18. Although women had been admitted to universities in England, France, and Italy for decades, there was great resistance to their presence at universities in Germany. Noether was one of only two women among the university's 986 students. After completing her doctorate under Gordon in 1907, she continued to do research at Erlangen, occasionally lecturing when her father was ill.
Noether went to Göttingen to study in 1916. David Hilbert and Felix Klein tried unsuccessfully to secure her an appointment at Göttingen. Some of the faculty objected to women lecturers, saying, “What will our soldiers think when they return to the university and are expected to learn at the feet of a woman?” Hilbert, annoyed at the question, responded, “Meine Herren, I do not see that the sex of a candidate is an argument against her admission as a Privatdozent. After all, the Senate is not a bathhouse.” At the end of World War I, attitudes changed and conditions greatly improved for women. After Noether passed her habilitation examination in 1919, she was given a title and was paid a small sum for her lectures.
In 1922, Noether became a Privatdozent at Göttingen. Over the next 11 years she used axiomatic methods to develop an abstract theory of rings and ideals. Though she was not good at lecturing, Noether was an inspiring teacher. One of her many students was B. L. van der Waerden, author of the first text treating abstract algebra from a modern point of view. Some of the other mathematicians Noether influenced or closely worked with were Alexandroff, Artin, Brauer, Courant, Hasse, Hopf, Pontryagin, von Neumann, and Weyl. One of the high points of her career was an invitation to address the International Congress of Mathematicians in Zurich in 1932. In spite of all the recognition she received from her colleagues, Noether's abilities were never recognized as they should have been during her lifetime. She was never promoted to full professor by the Prussian academic bureaucracy.
In 1933, Noether, who was Jewish, was banned from participation in all academic activities in Germany. She emigrated to the United States, took a position at Bryn Mawr College, and became a member of the Institute for Advanced Study at Princeton. Noether died suddenly on April 14, 1935. After her death she was eulogized by such notable scientists as Albert Einstein.