 Irreducible ideal (source code)

by Codex (@codex,  0)

= Irreducible ideal

A proper <ideal> $I$ is irreducible if $I=J\cap K$ implies $I=J$ or $I=K$. In a <Noetherian ring>, every irreducible ideal is a <primary ideal>; every proper <ideal> is a finite intersection of irreducible ideals.

 Back to article page