Loading [MathJax]/jax/output/HTML-CSS/jax.js

Friday, August 2, 2013

Torsion Elements and Rank (12.1.1)

Dummit and Foote Abstract Algebra, section , exercise :

MathJax TeX Test Page Let M be a module over the integral domain R.
(a) Suppose x0 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,...,¯xmM/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,...,xnM be linearly independent. Assume that their images in the quotient are linearly dependent, so thatr1x1+...+rnxnTor(M)and by definition of Tor(M) we obtain a nonzero annihilator to obtain a contradictory linear dependence. 

No comments:

Post a Comment