Register to reply 
Relatively prime isomorphism groups 
Share this thread: 
#1
Sep1709, 04:41 AM

P: 22

1. The problem statement, all variables and given/known data
Show that Z/mZ X Z/nZ isomorphic to Z/mnZ iff m and n are relatively prime. (Using first isomorphism theorem) 2. Relevant equations 3. The attempt at a solution Okay, first I want to construct a hom f : Z/mZ X Z/nZ > Z/mnZ I have f(1,0).m = 0(mod mn) = f(m,0) = f(e) = e and f(0,1).n = 0(mod mn) ..... Now f(1,0) = kn for some k because f(1,0).m has to be divisible by mn and f(0,1) = lm likewise My hom is f(a,b) = a.f(1,0) + b.f(0,1) Does this make sense??? If so, then I have to show that ker(f) is trivial to prove f is an iso. ker(f)(a,b) = (0,0) So f(a,b) = akn + blm and I have to show akn +blm = 0. I find this all very confusing so any help would be greatly appreciated. Dim 


#2
Sep1709, 02:22 PM

P: 393

Since the hint was to use the 1st Isom Thm, why don't you define a homomorphism g from Z onto Z/mZ x Z/nZ, such that ker g is mnZ.



#3
Sep1709, 06:12 PM

P: 22

Ok, this sounds good but I haven't got a clue about how to start doing it.
Would the isomorphism then end up looking something like f : Z/ker(g) > Z/mZ x Z/nZ ==> f : Z/mnZ > Z/mZ x Z/nZ (as ker(g) = mnZ) Any tips on constructing the hom g:Z >Z/mZ xZ/nZ would be appreciated, Ive got to the stage where I can't even think, maybe a break for a day or two. I know g(mn) = (00), but lost as to how to construct this. 


#4
Sep1809, 07:47 AM

P: 393

Relatively prime isomorphism groups



#5
Sep1909, 09:10 PM

P: 22

Well, Im none the wiser, you'll have to dumb it down for me, for g(i) does i represent the identity or neutral element, would g(i) = (0,0) ?
Still lost 


#6
Sep1909, 09:23 PM

Emeritus
Sci Advisor
PF Gold
P: 16,092

Z is a free abelian group with one generator. You should know what every homomorphism Z > A looks like, no matter what abelian group A happens to be.



#7
Sep1909, 11:27 PM

P: 393




#8
Sep2009, 06:03 PM

P: 22

Attempt 1: Define
g : Z > Z/mZ x Z/nZ, z > (z (mod m), z (mod(n)) Since domain and range are abelian g is a homomorphism as g(ab) = (a+b mod(m), a+b mod(n)) = (a mod(m), a mod(n)) + (b mod(m), b mod(n)) = g(a) + g(b) ker (g) = mnZ ,as n(m.z mod(m)) = n.0 = 0 g is onto. I think this is right, so the first part is done. Now I have to show that f : Z/ker(g) > im(g) is an isomorphism. ==> f : Z/mnZ > Z/mZ x Z/nZ I think that f(x) = (x mod(m), x mod(n)), for any x in Z/mnZ. Is this right?? So f is a homomorphism, using same argument as for g (abelian). Then, if ker(f) is trivial, f is an isomorphism. Suppose f(z) = (0,0), then g(z) = (0,0) So, if f maps any z in Z/mnZ to e, so that z is an element of ker(f), then the only z it can map is equal to e. Therefore, ker(f) = {e}, and f is an isomorphism. While this looks ok to me, I know it is incorrect as I have failed to address the "iff m and n are relatively prime" part. I'd really appreciate a bit more "concrete" help if possible, I know that you want me to think it out for myself, but I've already spent far too much time on this problem relative to its overall course mark. Dim. 


#9
Sep2009, 06:57 PM

P: 393

As for the if and only if part, just assume m and n are not relatively prime, and show the two groups in question can not be isomorphic. You could consider the order of the identity element. Come to think of it, that might have been an easier way to do the whole darn thing (the word "cyclic" comes to mind). 


#10
Sep2009, 08:18 PM

P: 393

OK, the first isom thm is a nice way to do it. To see how to finish it, just look at example.
g: Z > Z/6Z x Z/10Z given by g(i)=(i,i) where first component is mod 6 and second is mod 10. What is ker g? Well, i is in ker g iff i=0 mod 6 and i=0 mod 10. So i is divisible by 6 and by 10. Iff i is divisible by 30. Note Z/30Z has 30 elements but Z/6Z x Z/10Z has 60. Therefore not isomorphic. Replace 10 by 5 to get another example. Use m and n in general to write up your proof. Hope that's more concrete. 


#11
Sep2209, 06:12 PM

P: 22

ok,
Z/mZ is a cyclic group (iso to Z mod(m)) with order m, and Z/nZ has order n. Isomorphism preserves orders so ker(g) = mnZ iff m and n are coprime, so that the order of Z/mZ x Z/nZ is mn. Does this complete the proof 


Register to reply 
Related Discussions  
Isomorphism between groups, direct product, lcm, and gcd  Calculus & Beyond Homework  0  
Show isomorphism between two groups  Calculus & Beyond Homework  1  
Isomorphism of matrix groups  Linear & Abstract Algebra  16  
Isomorphism and direct product of groups  Linear & Abstract Algebra  15  
Groups  Isomorphism  Calculus & Beyond Homework  2 