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.4Maximal and Prime Ideals

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\), \(I = R\). The following theorem completely characterizes maximal ideals for commutative rings with identity in terms of their corresponding factor rings.

Proof
Example16.36

Let \(p{\mathbb Z}\) be an ideal in \({\mathbb Z}\), where \(p\) is prime. 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\), then either \(a \in P\) or \(b \in P\). 5 

Example16.37

It is easy to check that the set \(P = \{ 0, 2, 4, 6, 8, 10 \}\) is an ideal in \({\mathbb Z}_{12}\). This ideal is prime. In fact, it is a maximal ideal.

Example16.39

Every ideal in \({\mathbb Z}\) is of the form \(n {\mathbb Z}\). 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. Hence, the nonzero prime ideals in \({\mathbb Z}\) are the ideals \(p{\mathbb Z}\), 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.

SubsectionHistorical 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, a Jew, 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.