Show that the A-modules and cannot be isomorphic for any commutative ring with 1.

Could someone please show me step by step how to solve it?

Printable View

- December 4th 2012, 09:15 AMraymanprove that 2 A-modules are not isomorphic
Show that the A-modules and cannot be isomorphic for any commutative ring with 1.

Could someone please show me step by step how to solve it? - December 4th 2012, 12:11 PMDevenoRe: prove that 2 A-modules are not isomorphic
consider the map f:A

^{2012}--->A^{2010}given by:

f((a_{1},a_{2},....,a_{2010},a_{2011},a_{2012})) = (a_{1},a_{2},....,a_{2010}).

show f is an A-linear map. note that (0,....,0,1) is a non-zero element of the kernel. - December 8th 2012, 04:01 AMraymanRe: prove that 2 A-modules are not isomorphic
but this is an endomorphism right? (i. e homomorphism between two modules), so I need to show that this endomorphism is injective and surjective and thus is an isomorphism, but how to show that?

It would have been surjective if the kernel was trivial but as you wrote the kernel is is not trivial...

And to show that f is A-linear I should show smth like that:

, ?

thanks in advance - December 8th 2012, 10:11 AMDevenoRe: prove that 2 A-modules are not isomorphic
it IS surjective, it is NOT injective. that's the whole point. the two A-modules are NOT isomorphic.

- December 8th 2012, 11:37 PMraymanRe: prove that 2 A-modules are not isomorphic
ah of course....I mixed that up:)

I do have one question more, how do you know that ?

Kernel by def is a subset of the domain (so we want to list all elements from that will give us 0 in ) right? - December 9th 2012, 08:56 AMDevenoRe: prove that 2 A-modules are not isomorphic
i didn't say that was the entire kernel. it's just one element in the kernel besides the 0 of the domain (to disprove injectivity, we only need one).

- December 9th 2012, 10:44 AMjohngRe: prove that 2 A-modules are not isomorphic
I don't understand your answer. You seem to be implying the "truth" of the following: If M1 and M2 are two A modules with K non-zero, and M1/K isomorphic to M2, then M1 is not isomorphic to M2.

To see this is false, let M1 be the cross product of A indexed by the naturals, M2 the cross product of A indexed by the integers greater than or equal to 1. Let K=(A, 0, 0, ...). Then clearly M1/K is isomorphic to M2. But also M1 is isomorphic to M2 via the function g where g(f)(i) = f(i-1) for all i >= 1. - December 9th 2012, 12:56 PMDrexel28Re: prove that 2 A-modules are not isomorphic
Hello,

The standard way to prove this is as follows. By Krull's theorem there exists a maximal ideal for . Note then that is a field, and the isomorphism would induce a isomorphism . But, it's easy to show that this says that, as modules one has that --but since these are fields, it's standard vector space theory that this can't happen. - December 9th 2012, 01:39 PMDevenoRe: prove that 2 A-modules are not isomorphic
not quite. i'm saying commutative rings have an invariant basis number. A

^{2010}and A^{2012}are free A-modules of rank 2010 and 2012, respectively.

the PROOF that commutative rings are IBN rings is essentially what drexel28 just wrote: it can be shown that if R-->S is a surjective homomorphism and S is an IBN ring, so is R. but if I is a maximal ideal of R, then R-->R/I is certainly a surjective homomorphism, and R/I is a field, and fields are certainly IBN rings (a la linear algebra).

note that krull's theorem (that drexel28 quoted) is just a fancy way of saying: the axiom of choice implies every ring has a maximal ideal. so we can always "mod our way" to the field case.

so....what have i left out? well i havent REALLY showed A^{n}is a free A-module.

but {(1,0,...,0),(0,1,0,...,0),...,(0,...,0,1)} is a basis (it's clearly a spanning set, and if an A-linear combination of these is 0, we have each coefficient = 0, by the definition of equality on the underlying cartesian product set).

your counter-example is well taken, but....we're dealing with free A-modules of finite rank. you can construct a similar example using vector spaces of infinite dimension, but that doesn't invalidate the rank-nullity theorem in the least. - December 10th 2012, 12:15 AMraymanRe: prove that 2 A-modules are not isomorphic
I feel embarrassed now:) We had quite similar problem to this one on problem session where we had smth like this. If is an isomorphism of A-modules then

Anyway thank you very much for the replies.

P.S Is Krull's thm the same as Zorn's lemma. We proved in class that every commutative ring with ''one'' has a maximal ideal by Zorn's lemma. - December 10th 2012, 08:02 AMDevenoRe: prove that 2 A-modules are not isomorphic
krull's theorem is a form of zorn's lemma, which is a form of the axiom of choice.