Atlas/Algebra/Ring theory and algebraic geometry
1/4
A prime ideal p is a world where ab ∈ p implies a ∈ p or b ∈ p — no zero-divisors after quotient.