 Prime ideal principle for an Oka family

ID: prime-ideal-principle-for-an-oka-family

Every ideal maximal outside an Oka family is prime. If

x y \in I

while

x, y \in / I

, both

I + (x)

and

(I : x)

properly contain

I

, contradicting the Oka condition.

 New to topics? Read the docs here!