Redirecting to Lasker–Noether theorem