# Does every noninvertible element of a commutative ring lie in a proper maximal ideal?

More formally stated:

Prove that if $R$ is a commutative ring with $1$, then every element of $R$ that is not invertible is contained in a proper maximal ideal.

I know I have to assume Zorn's Lemma, but I don't see how non-invertible elements must lie in a proper maximal Ideal. Any hints?

-

This follows from showing that noninvertible elements lie in some proper ideal and that all proper ideals are contained in maximal ideals. In this vein, what is an ideal containing noninvertible $x$? It is proper? Now, consider the set of all ideals containing this ideal. How might you express the supremum of a chain $I_0\subset I_1\subset\dots I_n\subset\dots$? – peoplepower Jan 23 at 8:50
I don't see why this should be tagged as [axiom-of-choice]. There is no question about the necessity of the use of Zorn's in the proof, there is a question about the proof itself. @BDub: ping. – Asaf Karagila Jan 23 at 9:38
@AsafKaragila I agree, to me, ring-theory and ideals seem like the most pertinent tags. I didn't retag the question with AC. If the edit log shows that I did, I think it's because I submitted a formatting edit on a version of the question before your retags took effect? Perhaps the tags reappeared when it was approved. – Ben Jan 23 at 9:44
@BDub: You need 300 reputation for retagging, so I suppose that you just retagged without loading my revision, which caused an override. – Asaf Karagila Jan 23 at 9:47

## 1 Answer

It is well known that every proper ideal is contained in a maximal ideal. If $a$ is a noninvertible element, then the generated ideal $(a)$ is not the whole ring. If it were, then $1\in (a)$, implying $ab=1$ for some $b$, a contradiction. As a proper ideal, $(a)$, and hence $a$, must then be contained in a maximal ideal.

-

it should be noted that this result uses the axiom of choice. – Ittay Weiss Jan 23 at 9:41
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9349133372306824, "perplexity_flag": "head"}