A question about prime ideals

suppose $p$ a prime ideal. If $p=a \cap b$, $a,b$ ideals. Is it true that we have to have $p=a$ or $p=b$?

-

Do you know about co-maximal ideals? – Mathematician Feb 16 at 5:30

3 Answers

True. Suppose that $\mathfrak{p}$ is neither $\mathfrak{a}$ nor $\mathfrak{b}$. Pick $x \in \mathfrak{a} \backslash \mathfrak{p}$, $y \in \mathfrak{b} \backslash \mathfrak{p}$. Consider $xy \in \mathfrak{a} \cap \mathfrak{b} = \mathfrak{p}$. This implies that $x$ or $y$ must lie in $\mathfrak{p}$, contradiction.

-

Simple and clear, thanks. – user62508 Feb 16 at 5:37

An ideal $I$ satisfying this condition -- namely that if for ideals $\mathfrak{a}$ and $\mathfrak{b}$ of $R$, $I = \mathfrak{a} \cap \mathfrak{b} \implies I = \mathfrak{a}$ or $I = \mathfrak{b}$ -- is called irreducible. Irreducible ideals occur in the theory of primary decomposition. For the bare rudiments of this theory, see e.g. Chapter 10 of my commutative algebra notes.

A few samples:

In a PID, an ideal is irreducible iff it is a prime power.

Prime ideals are irreducible (the OP's question).

In a Noetherian ring, irreducible ideals are primary.

A proper ideal in a Noetherian ring is a finite intersection of irreducible ideals.

Combining the last two results one gets Noether's theorem, the basic result on primary decomposition.

-

+1, nice answer.  Is there any relation between irreducible ideals and irreducible elements of the ring? – Eric♦ Feb 16 at 5:53
@Eric: I don't see one.  An ideal in a GCD domain generated by an irreducible element is prime hence irreducible, but even in a PID there are nonprime irreducible ideals.  (Needless to say, the terminology "irreducible ideal" was not my doing!) – Pete L. Clark Feb 16 at 8:00
Browsing through §10 of Pete's notes I am once again amazed by the quality of his text. – Georges Elencwajg Feb 16 at 8:20

Since $ab\subset a\cap b$, we see that $ab\subset p$. Now use the definition of prime to see that $a\subset p$ or $b\subset p$.

-
{"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": 27, "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": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "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.9186428189277649, "perplexity_flag": "middle"}