Spectrum of Ring is Nonempty
Jump to navigation
Jump to search
Theorem
Let $A$ be a non-trivial commutative ring with unity.
Then its prime spectrum is non-empty:
- $\Spec A \ne \O$
Proof
This is a reformulation of Ring with Unity has Prime Ideal.
$\blacksquare$