Exercise 10, § 2
Commutative Algebra, I, 43
(a) Let be a ring, a set and a submodule of . Let be the set of ordered pairs , where is a finite subset of and a finitely generated submodule of . is ordered by the relation " and "; show that is directed with respect to this order relation, that the family is a direct system of right -modules with as indexing set and that there exists an isomorphism of onto .
(b) Deduce from (a) that every -module is a direct limit of finitely presented -modules.
Solution
No solution has been written yet.