From the page:
I have found that The existence of prime ideals in commutative rings is equivalent to the Boolean Prime Ideal theorem. But $BPI$ is weaker than Axiom of choice. this means that The existence of prime ideal in commutative rings with unity is weaker than $AC$. Know Another Question came in my mind that I think It is a bit different from that one. Let me recall the following theorem:
Theorem:For any commutative unitary ring $R$ there exists a minimal prime ideal.
To proving this result One can pickup a prime ideal, and throw it in a maximal chain of prime ideals(Zorn's lemma) and then the intersection of this chain gives a minimal prime ideal at hand.
You Know that the existence of minimal prime ideal needs to apply one of the equivalences of $AC$ (i.e.Zorn's Lemma) But I didn't see anything about the converse of Above theorem.
STATEMENT:Is it true that The existence of minimal prime ideals in commutative unitary rings is equivalent to $AC$.
I am interested in To Know if the situation changes When we give minimality Condition on Prime ideals.
I think its better to recall the difference of two following situations in topology:
The statement "product of compact Hausdorff spaces is compact", does not implies $AC$
The statement "product of compact spaces is compact" is equivalent to $AC$