(a) Suppose x≠0 is a torsion element of M. Show x and 0 are "linearly dependent." Conclude the rank of Tor(M) is 0, so that in particular any torsion R-module has rank 0.
(b) Show rankM=rankM/Tor(M).
Proof: (a) By definition we have rx=0 for nonzero r. Therefore there exist no candidates for linearly independent sets.
(b) Let n=rankM and m=rankM/Tor(M). (≥) Let ¯x1,...,¯xm∈M/Tor(M) be linearly independent. If m>n then we can arrange for a linear dependencer1x1+...+rmxm=0which clearly extends to give a linear dependence in the quotient. (≤) Let x1,...,xn∈M be linearly independent. Assume that their images in the quotient are linearly dependent, so thatr1x1+...+rnxn∈Tor(M)and by definition of Tor(M) we obtain a nonzero annihilator to obtain a contradictory linear dependence. ◻
No comments:
Post a Comment