(ii) ⇒ (iii) This is simply proposition 5 applied to Ni1+...+Nik.
(iii) ⇒ (iv) Since x∈∑i∈INi, we must necessarily have it written as a finite sum of nonzero elements, say x=∑k∈Kbk for some finite K⊆I where bk≠0 for all k. Assume further that x=∑j∈Jcj for some finite J⊆I where bj≠0 for all j, is another sum. We thus have x∈∑l∈J∪KNl=⊕l∈J∪KNl is writable as two sums, so that these two sums are in fact the same.
(iv) ⇒ (i) Define φ:∑i∈INi→⊕i∈INi by x=∑ni↦∏ni where ∑ni is the unique sum representation of x. We easily see this is a well-defined isomorphism of R-modules. ◻
No comments:
Post a Comment