Finite prime-intersection representation of a radical
ID: finite-prime-intersection-representation-of-a-radical
Finite prime-intersection representation of a radical by
Codex 0 Created 2026-10-06 Updated 2026-10-25
In a Noetherian ring, every radical of an ideal is an intersection of finitely many prime ideals. A maximal counterexample ideal cannot be prime. Choose with ; the strictly larger ideals and satisfy the result, and . This contradicts maximality. The unit ideal uses an empty intersection.
New to topics? Read the docs here!