Wikipedia:Reference desk/Archives/Mathematics/2012 August 27

Mathematics desk
< August 26 << Jul | August | Sep >> August 28 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


August 27

edit

How do you show that two groups are not isomorphic

edit

It's easy enough to show when two groups are isomorphic, (just find an isomorphism) but how do you show that two groups (which have the same cardinality) are not isomorphic? (Specific example: the cosets of   and  ) Widener (talk) 02:04, 27 August 2012 (UTC)[reply]

I'm not sure what you mean by the notation  , but in general, you show non-isomorphism between groups (or structures in general) by finding some property of the structures that's definable from the structure's non-logical symbols, and showing that one structure has the property and the other one doesn't. For example, for groups, as a trivial example, you might show that one group is abelian and the other is not, or one group has a finite subgroup (not counting the trivial one) and the other doesn't, or.... --Trovatore (talk) 02:27, 27 August 2012 (UTC)[reply]
(I should say, this doesn't always work. Sometimes two structures might be elementarily equivalent, but still not isomorphic. In that case, you have to think of something else — there's no general boilerplate argument as far as I know.) --Trovatore (talk) 02:40, 27 August 2012 (UTC)[reply]
There can be no boilerplate (at least for groups given in presentations) because the Group isomorphism problem is undecidable. Staecker (talk) 11:37, 28 August 2012 (UTC)[reply]
Thanks fur the help, but I still can't think of any way for my particular example.   means the group of complex numbers except zero endowed with multiplication. Widener (talk) 04:42, 27 August 2012 (UTC)[reply]
As   for   = unit circle, are you looking for a proof that   is not isomorphic to the factor group  ? —Kusma (t·c) 08:47, 27 August 2012 (UTC)[reply]
(As these groups are isomorphic, that is going to be difficult). —Kusma (t·c) 08:56, 27 August 2012 (UTC)[reply]
They are isomorphic? What's the isomorphism? Widener (talk) 09:00, 27 August 2012 (UTC)[reply]
Think of it this way:   is the unit circle. The factor group is the same circle, wrapped around four times. Work from there. --Trovatore (talk) 09:38, 27 August 2012 (UTC)[reply]
See Group cohomology. Fly by Night (talk) 23:22, 30 August 2012 (UTC)[reply]

Isomorphic

edit

Lets   be the group of all matricies of the form  ,   the group of matrices of the form   and   the group of matrices of the form  . Show that   is not isomorphic to  . — Preceding unsigned comment added by Widener (talkcontribs) 08:59, 27 August 2012 (UTC)[reply]

I would ask you again to show how far you've gotten, and your reasoning processes so far. --Trovatore (talk) 09:03, 27 August 2012 (UTC)[reply]
These "show that X is not isomorphic to Y" questions are basically just guess and check as far as I can tell Widener (talk) 09:09, 27 August 2012 (UTC)[reply]
 
 
Widener (talk) 09:13, 27 August 2012 (UTC)[reply]

Exactly one of the two groups is abelian. —Kusma (t·c) 09:45, 27 August 2012 (UTC)[reply]

Cosets

edit

If   is not normal, show that there exist two left cosets of   whose product is not a coset.

This is my reasoning that it cannot be a left coset: Since   is not normal, there exists   such that   for any  . Therefore,  . But any left coset can be written in the form   so we know   cannot be a left coset if   is not normal.
I cannot see an analogous proof to show that it cannot be a right coset though; I tried a different approach: starting with   and deriving that H is normal but that doesn't seem to work either. Widener (talk) 09:29, 27 August 2012 (UTC)[reply]
I don't see why your second inequality follows from the first. I think you're taking the wrong approach here; you've found the right  , but you haven't taken any care in choosing which   to use. You should choose a particular  .
Remember that the definition of normality isn't just that   for some  , but rather that  . So since   isn't normal, we know that  . While this is weaker than what you said earlier, the specificity can help guide your choice of cosets.
For showing that the product isn't itself a coset, your argument should take the following form: "If it were any coset (left or right), it would need to be ... But it can't be that, because ..."--121.73.35.181 (talk) 11:14, 27 August 2012 (UTC)[reply]