- **Abstract Algebra**
(*http://mymathforum.com/abstract-algebra/*)

- - **Free modules .. does this solution work?**
(*http://mymathforum.com/abstract-algebra/23408-free-modules-does-solution-work.html*)

Free modules .. does this solution work?Hi all, could someone take a look at my claim and solution below and see if it makes sense? Thanks! Claim: Let R be a commutative ring with , and let be a surjective homomorphism of free -modules. Then . Proof: Take to be any linearly independent elements of . Then there exists in such that . But since are linearly independent, we have that if , then . Also, there exists some such that . So, as is a ring homomorphism, we have the following: but in order for this to be true, again for , since are linearly independent. But this means that must be linearly independent in , and so . |

Re: Free modules .. does this solution work?Your approach works, provided, that your last implication is known: "If there are n linear independent elements in then ." But unless this is a theorem in a book or your course, the last assertion seems similarly hard to prove as the original problem.An alternative approach would be: Recall that every commutative ring with has at least one maximal ideal, say M. Then check for all positive integers i. Then you get a surjective map and these are vector spaces of dimiesion m and n respectively over the field . Thus the problem is reduced to the case where R is a field, i.e., the case well-known from linear algebra. |

All times are GMT -8. The time now is 11:45 AM. |

Copyright © 2019 My Math Forum. All rights reserved.