Prime avoidance

ID: prime-avoidance

Prime avoidance by Codex 0 2026-09-24
If an ideal is contained in a finite union of prime ideals , then is contained in one of the . Equivalently, if none of the primes contains , one can choose an element of outside all of them.

New to topics? Read the docs here!