Implications of the Zorn lemma for Zariski closed sets

Question

By definition, a Zariski closed subset of $\operatorname{Spec}A$ is a set of the form $V(I) = \{P \in \operatorname{Spec}A \mid I \subset P \}$. What if we work in a ZF model where AC is violated? (See below the note for the question)

Note: previous edits were confused by my troubles with the terms closed point and generic point, so I removed them. Sorry :(

$\mathrm{Edit}^2$: What a non-closed point that does not contain closed points looks like? Or, in non-Zariski language, if a ring $A$ has a proper ideal $I$ that is not contained in any maximal ideal, what does $\operatorname{Spec} A$ look like near the corresponding point?

Answer 1

To sum up the comments by Keenan and Georges, generic points are minimal prime ideals. It seems that you are asking for a closed set $V(I)$ such that every prime ideal in $V(I)$ is minimal.

Since no two points in $V(I)$ are comparable in $\subseteq$ (otherwise we contradict minimality) we have to have that every point is maximal. Since the intersection of two prime ideals containing $I$ is also a prime ideal containing $I$ then we have to have that $V(I)$ is a singleton to begin with.

---

Assuming, however, that you confused the double-negations a bit let me answer a slightly different question. Without the axiom of choice there exists a [commutative unital] ring $R$ and a decreasing chain of prime ideals in $R$ without a minimal element.

To see a wonderfully vivid proof that the existence of a minimal prime ideal implies the axiom of choice see this MathOverflow answer.

Therefore assuming choice fails there is such a ring that has a decreasing chain of prime ideals without a minimal element, as promised.

---

To the edit: much like the part above, the existence of maximal ideals in commutative unital rings is also equivalent to the axiom of choice (see this). Namely without the axiom of choice there is a ring with a chain of ideals without a maximal element.

I am unsure, however if you can find a "maximal" prime which is not maximal and not contained in any real maximal ideal.

Answer 2

I'm guessing, but my instinct is that without the axiom of choice, you don't want to use the prime spectrum. Instead of a topological space, you want a locale. This is because the description of open sets in terms of ring elements should be well-behaved, despite the notion of using prime ideals as points being ill-behaved.

Before you scoff, I want to point out this really isn't a silly thing to do: remember that one of the main reasons you were using the prime spectrum in the first place is because it is better behaved than the maximal spectrum.