 Lasker–Noether theorem

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.