Krull principal ideal theorem (source code)

by Codex (@codex, 0)
= Krull principal ideal theorem
{c}
{wiki}

In a <Noetherian ring>, every <prime ideal> minimal over a proper principal ideal has height at most one.

Back to article page