4
$\begingroup$

Let $A$ be a commutative Noetherian ring, and $C$ a closed subset of $\operatorname{Spec}(A)$.

In some reading, it is an unproven proposition that $C$ is irreducible iff $C=\mathscr{Z}(\mathfrak{p})$ for some prime $\mathfrak{p}$. Here $\mathscr{Z}(\frak{p})$ is the set of zeros of $\frak{p}$, that is the set of primes of $A$ containing $\frak{p}$.

Does anyone have a proof of this proposition I can read? Thank you.

Added: With hints,

If $\mathfrak{p}\in V(\mathfrak{a})$, then $\frak{p}\supset\frak{a}$, so $xy\in\mathfrak{p}$, so say $x\in\mathfrak{p}$. Then $\mathfrak{p}\supset(\mathfrak{a},x)$, and $V(\mathfrak{a})\subseteq V(\mathfrak a, x) \cup V(\mathfrak a, y)$. The converse is clear, so I understand the equality. Since $V(\mathfrak{a})$ is irreducible, $V(\mathfrak{a})=V(\mathfrak{a},x)$ or $V(\mathfrak{a},y)$. Suppose $V(\mathfrak{a})=V(\mathfrak{a},x)$. Then $\text{rad}\mathfrak{a}\supset\text{rad}(\mathfrak{a},x)$, so $x\in\text{rad}\mathfrak{a}=\mathfrak{a}$, and $\mathfrak{a}$ is prime. But why are we allowed to assume $\mathfrak{a}$ is radical?

For the converse, $\mathfrak{p}$ must be in either $V(\mathfrak{a})$ or $V(\mathfrak{b})$ so $\mathfrak{p}$ must contain either $\mathfrak{a}$ or $\mathfrak{b}$. IF $\mathfrak{a}$ and $\mathfrak{b}$ are radical, then this relation implies $\text{rad}\mathfrak{p}\subset\mathfrak{a}$ and $\text{rad}\mathfrak{p}\subset\mathfrak{b}$, so $\mathfrak{a}\supset\mathfrak{p}$ and $\mathfrak{b}\supset\mathfrak{p}$ since $\mathfrak{p}$ is prime. Thus $\mathfrak{p}$ is equal to one of $\mathfrak{a}$ or $\mathfrak{b}$. But again why are we allowed to assume $\mathfrak{a}$ and $\mathfrak{b}$ are radical?

  • 1
    This is a very good exercise, and it probably is an exercise in Atiyah-Macdonald somewhere. Have you given it a shot? I can provide some hints.2012-02-17
  • 1
    @DylanMoreland I believe this is related to exercise 20 (iv): If $A$ is a ring and $X = \operatorname{Spec}(A)$, then the irreducible components of $X$ are the closed sets $V(\mathfrak{p})$, where $\mathfrak{p}$ is the minimal prime ideal of $A$.2012-02-17
  • 2
    Although I don't get how the Noetherian condition comes in here....2012-02-17
  • 3
    @Benjamin: If $A$ is Noetherian then $\mathrm{Spec}(A)$ is Noetherian.2012-02-17
  • 0
    @DylanMoreland I also agree that it would be a good exercise, but I didn't know where to begin. Of course I wouldn't mind some hints to start off.2012-02-17
  • 0
    @AsafKaragila My commutative algebra is not so advanced, thanks for the fact. So maybe we can use that....2012-02-17
  • 4
    The Noetherian condition is irrelevant.You may reduce to the case $C=Spec(A)$ (why?) and prove that $Spec(A)$ is irreducible iff $Nil(A)=\mathfrak p$ (the nilpotent radical) is prime.2012-02-18
  • 0
    @GeorgesElencwajg Thanks for pointing out that the Noetherian Condition was not relevant :D2012-02-19
  • 0
    @Buble +1 by the way for a nice question.2012-02-19

1 Answers 1

4

Let me use $V$ in place of your $\mathscr Z$. I don't think we need the Noetherian hypothesis, although it's useful for some related statements; for example, as Asaf says, it implies that $\operatorname{Spec} A$ is a Noetherian topological space.

Let $V(\mathfrak a)$ be an irreducible closed set in $\operatorname{Spec} A$. I may as well assume that $\mathfrak a$ is radical, and in fact I'd like to prove then that $\mathfrak a$ is prime. For this, let $x, y \in A$ such that $xy \in \mathfrak a$. I claim that $V(\mathfrak a, x) \cup V(\mathfrak a, y) = V(\mathfrak a)$. Why is this true, and what does it imply?

The converse is easier. First, note that $\mathfrak p \in V(\mathfrak p)$. If $V(\mathfrak p) = V(\mathfrak a) \cup V(\mathfrak b)$, then is it possible that $\mathfrak p$ contains neither $\mathfrak a$ nor $\mathfrak b$?

In view of Benjamin's comment, you now have a proof that a Noetherian ring has only finitely many minimal primes, which isn't so obvious.

  • 0
    Thanks, I added what I got from these hints in the main body. Do you mind explaining the remaining small clarifications?2012-02-18
  • 0
    @Buble Not at all. You can assume that $\mathfrak a$ is radical because the radical of an ideal is the intersection of all prime ideals containing it. This is Proposition 2.5 of [Milne's notes](http://jmilne.org/math/xnotes/ca.html). For the converse, if I haven't made a mistake then you're overthinking it! If $\mathfrak p \supset \mathfrak a$ then $V(\mathfrak p) \subset V(\mathfrak a)$.2012-02-18
  • 0
    I understand now, thanks for your hints!2012-02-18