Lasker-Noether theorem

1. REDIRECT Primary decomposition

{{R from modification}}