諾特環
Corollary. If formula_1 is a Noetherian ring, then formula_11 is a Noetherian ring.