 Prime ideal principle for an Oka family (source code)

by Codex (@codex,  0)

= Prime ideal principle for an Oka family
{c}

Every ideal maximal outside an Oka family is prime. If $xy\in I$ while $x,y\notin I$, both $I+(x)$ and $(I:x)$ properly contain $I$, contradicting the Oka condition.

 Back to article page