![]() |
|
Abstract Algebra Abstract Algebra Math Forum |
![]() |
| LinkBack | Thread Tools | Display Modes |
January 10th, 2016, 04:54 AM | #1 |
Member Joined: Oct 2013 Posts: 36 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 05:21 AM. |
![]() |
January 10th, 2016, 09: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 02:38 PM. |
![]() |
![]() |
|
Tags |
isomorphic |
Thread Tools | |
Display Modes | |
|
![]() | ||||
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 07:05 PM |
isomorphic normal extensions | Epsilon90 | Abstract Algebra | 4 | November 28th, 2013 01:49 AM |
(Q, +) not isomorphic with (Q*, x) | Kappie | Abstract Algebra | 9 | March 5th, 2012 12: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 10:42 AM |