My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
December 25th, 2011, 01:23 PM   #1
Senior Member
Joined: Nov 2011

Posts: 100
Thanks: 0

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 .

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 .
watson is offline  
December 30th, 2011, 07:21 AM   #2
Senior Member
Joined: Sep 2008

Posts: 150
Thanks: 5

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.
Peter is offline  

  My Math Forum > College Math Forum > Abstract Algebra

free, modules, solution, work

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Modules - absolute value HELP Brunoo1601 Elementary Math 2 February 20th, 2012 09:34 AM
Localized Modules isomorphism Modus.Ponens Abstract Algebra 1 October 28th, 2011 09:27 AM
Commutative Diagram of Modules xboxlive89128 Abstract Algebra 0 May 14th, 2009 09:40 PM
Commutative Diagram, Modules xboxlive89128 Abstract Algebra 0 May 14th, 2009 09:28 PM

Copyright © 2019 My Math Forum. All rights reserved.