My Math Forum  

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

Abstract Algebra Abstract Algebra Math Forum


Reply
 
LinkBack Thread Tools Display Modes
January 10th, 2016, 05:54 AM   #1
Member
 
Joined: Oct 2013

Posts: 35
Thanks: 0

can G x H1 be isomorphic to G x H2 when H1 not isomorphic to H2?

is the statement:

Suppose H1 is not isomorphic to H2, then GxH1 is not isomorphic to GxH2 for any group G.

True?

This question came from a problem sheet asking if any abelian groups of order 32 are isomorphic-the problem reduced to cases such as showing Z8xZ4 is not isomorphic to Z8xZ2xZ2, which is trivially easy but I was thinking can it be generalised?
Since we didn't get this result in lectures I'm thinking it is not true and I guess a counterexample would be the easiest way to show this but I cant think of any that immediately come to mind so I am asking here.


edit: also what about G1xH1 and G2xH2 where G1 is isomorphic to G2 (same H1 and H2 as above).

Last edited by fromage; January 10th, 2016 at 06:21 AM.
fromage is offline  
 
January 10th, 2016, 10:58 AM   #2
Senior Member
 
Joined: Sep 2008

Posts: 150
Thanks: 5

Well, the assertion is true if all groups involved are finite abelian groups. Then the fact that H1 and H2 are isomorphic follows from the classification of finite abelian groups.

If we drop the finiteness condition, we can construct a counterexample taking H1 to be any finite Group, H2= H1 x H1 and G to be a countably infinite product of copies of H1.

I guess the assertion is always true as long as G is finite. But I don't see a proof right now.

Last edited by skipjack; January 10th, 2016 at 03:38 PM.
Peter is offline  
Reply

  My Math Forum > College Math Forum > Abstract Algebra

Tags
isomorphic



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Show Aut(Q(i,sqrt(2)) is isomorphic with V_4 etham Abstract Algebra 2 January 29th, 2015 08:05 PM
isomorphic normal extensions Epsilon90 Abstract Algebra 4 November 28th, 2013 02:49 AM
(Q, +) not isomorphic with (Q*, x) Kappie Abstract Algebra 9 March 5th, 2012 01:53 PM
Isomorphic Groups..U(8) and Z4 jcrot30 Abstract Algebra 5 March 31st, 2011 08:51 AM
Isomorphic cloudtifa Number Theory 1 November 12th, 2010 11:42 AM





Copyright © 2017 My Math Forum. All rights reserved.