Math Amateur
Gold Member
MHB
- 3,920
- 48
I am reading Joseph J. Rotman's book: Advanced Modern Algebra (AMA) and I am currently focused on Section 5.1 Prime Ideals and Maximal Ideals ...
I need some help with understanding the proof of Proposition 5.9 ... ...Proposition 5.9 reads as follows:
View attachment 5934 In the proof of Proposition 5.9, Rotman writes:
" ... ... The Correspondence Theorem for Rings shows that $$I$$ is a maximal ideal if and only if $$R/I$$ has no ideals other than $$(0)$$ and $$R/I$$ itself ... ... "
My question is: how exactly (in clear and simple terms) does Rotman's statement of the Correspondence Theorem for Rings lead to the statement that "$$I$$ is a maximal ideal if and only if $$R/I$$ has no ideals other than $$(0)$$ and $$R/I$$ itself" ... ...
Hope that someone can help ...
Peter
============================================================
The above post refers to Rotman's statement of the Correspondence Theorem for Rings, so I am providing a statement of that theorem and its proof, as follows:View attachment 5936
I need some help with understanding the proof of Proposition 5.9 ... ...Proposition 5.9 reads as follows:
View attachment 5934 In the proof of Proposition 5.9, Rotman writes:
" ... ... The Correspondence Theorem for Rings shows that $$I$$ is a maximal ideal if and only if $$R/I$$ has no ideals other than $$(0)$$ and $$R/I$$ itself ... ... "
My question is: how exactly (in clear and simple terms) does Rotman's statement of the Correspondence Theorem for Rings lead to the statement that "$$I$$ is a maximal ideal if and only if $$R/I$$ has no ideals other than $$(0)$$ and $$R/I$$ itself" ... ...
Hope that someone can help ...
Peter
============================================================
The above post refers to Rotman's statement of the Correspondence Theorem for Rings, so I am providing a statement of that theorem and its proof, as follows:View attachment 5936