Lasker–Noether theorem
= Lasker–Noether theorem
{c}
Every proper <ideal> in a <Noetherian ring> is a finite intersection of <primary ideals>. This existence theorem does not give uniqueness of the individual components: <embedded primary components> may vary.