諾特環
Let formula_1 be a Noetherian ring. Then