Exercise 23, § 5
Commutative Algebra, II, 153
Let be a ring and a finite family of elements of generating the ideal .
(a) Let be an -module. Show that, if, for all , is a finitely generated -module, is a finitely generated -module.
(b) Let be a (commutative) -algebra. Show that, if, for all , is a finitely generated -algebra, is a finitely generated -algebra.
Solution
No solution has been written yet.