Show that phi^(-1) is an isomorphism

**Problem:** Let be an isomorphism of groups. Show that is an isomorphism.

*********************

I said:

If is an isomorphism, is a bijection between G and G' that maps every x in G to an x' in G'. Since is a bijection, this map can be traced back from the x' in G' back to the x in G (that being the inverse of x'), using the inverse of the isomorphism function, .

How wrong am I?

Re: Show that phi^(-1) is an isomorphism

Quote:

Originally Posted by

**tangibleLime** **Problem:** Let

be an isomorphism of groups. Show that

is an isomorphism.

*********************

I said:

If

is an isomorphism,

is a bijection between G and G' that maps every x in G to an x' in G'. Since

is a bijection, this map can be traced back from the x' in G' back to the x in G (that being the inverse of x'), using the inverse of the isomorphism function,

.

How wrong am I?

You justified why [tex]\phi^{-1} exists, but why is it a homomorphism?

Re: Show that phi^(-1) is an isomorphism

hint: use the fact that φ is onto, and that φ^-1(φ(g)) = g.

Re: Show that phi^(-1) is an isomorphism

Hm... I was under the impression that an isomorphism is just a morphism that has an inverse. So a regular morphism (that's a thing, right?) can map something from X to Y but not necessarily from Y to X. An *iso*morphism, since it is a morphism with an inverse, can map from X to Y and then Y back to X. Is it enough to say that just by this definition of an isomorphism, if exists as the isomorphism, it's required inverse (required to actually be an isomorphism) is ? So ? Did I just inadvertently use the fact that is onto? Or do I need something more mathematically rigid, or am I just not going far enough?

Re: Show that phi^(-1) is an isomorphism

is is a fact that the inverse function of a bijective homomorphism is indeed a homomorphism itself, justifying the term isomorphism.

this fact, is what you are being asked to prove. that is if is a bijective homomorphism, you must show that the

function (which exists because φ is bijective) is, in fact, a homomorphism.

so you must show that for ANY

this is not immediately obvious from the fact that φ is a homomorphism.

Re: Show that phi^(-1) is an isomorphism

Hm, I think I understand what you are saying. So let me try again.

It is given that is an isomorphism. Need to prove that is an isomorphism.

Since defines an isomorphism, it satisfies the homomorphism property:

And maps values from G to G',

, where and .

Since is bijection, and therefore onto,

Using this fact with the homomorphism property,

And so satisfies the homomorphism property, and is an isomorphism since it has an inverse .

Am I close?

Re: Show that phi^(-1) is an isomorphism

Quote:

Originally Posted by

**tangibleLime** Hm, I think I understand what you are saying. So let me try again.

It is given that

is an isomorphism. Need to prove that

is an isomorphism.

Since

defines an isomorphism, it satisfies the homomorphism property:

And

maps values from G to G',

, where

and

.

Since

is bijection, and therefore onto,

Using this fact with the homomorphism property,

And so

satisfies the homomorphism property, and is an isomorphism since it has an inverse

.

Am I close?

you can't USE the homomorphism property of until you prove it HAS it.

Re: Show that phi^(-1) is an isomorphism

To prove that HAS the homomorphism property, is it enough to say...

And since is onto, .

Therefore, there exist one-to-one correspondences between elements of G and G',

Therefore, G and G' have the same cardinality and the following one-to-one correspondence exists:

Which can be expressed as the homomorphism property .

I feel like I'm straying off in the wrong direction (Worried)

Re: Show that phi^(-1) is an isomorphism

what we would LIKE to prove is that:

but we don't know that this is true. in fact, we know very little about the behavior of .

what we DO know, is about the behavior of .

so what we need to do is somehow get to where we're working with , so we can use IT's homomorphism property.

φ is onto, so if we have x' in G', we know that x' = φ(x) for some x in G. similarly y' = φ(y), for some y in G.

so:

now, because φ is a homomorphism, we know that φ(x)φ(y) = φ(xy). thus:

note that we haven't done ANYTHING with yet.

now, because φ is a bijection, and φ^-1 is its inverse function (not homomorphism, because we don't know that yet):

but what are x and y? they are the elements φ maps to x',y':

φ(x) = x'

φ(y) = y', so

and similarly , so that:

and THAT shows is a homomorphism, by transitivity of equality.

Re: Show that phi^(-1) is an isomorphism

Thanks, I don't think I ever would have gotten that. Though I understood everything you did, and why you did it. Hopefully come exam time, I'll be able to think creatively enough to pull something like this out.

Re: Show that phi^(-1) is an isomorphism

a general problem solving technique is this:

you want to get from point A to point B. you don't know how, the theorems you have don't quite fit, there's some "missing piece".

you do however, have tools that tell you how to get from point C to point D, they're the things that you use over and over again.

so: look for a path between the context A and B are in, and the context C and D are in (this process is called "translating a problem").

then use your path from C to D, and "translate back":

A-- xxxx -->B (broken path)

A--->C--->D--->B (problem solved!)

here the "broken path" was: homomorphic property of φ^-1. we didn't even know how to try to compute stuff in G'.

but since we had a bijection with φ and φ^-1, we first use the bijection (the function part, which we knew) to go "back to G".

now in G, we had the desired homomorphism property, so no problem there. so we get a nice equation we can use.

then we "translate" back to G', using our bijection property.

so: when you see the words "iso-something" or "equivalence" or "1-1 correspondence" or "bijection" or anything with double arrowheads: <---->

you should think in your mind: translation dictionary, can be used to put problems in different context.

one of the reasons cyclic groups are so important for group theory is this:

if we can somehow put a group theory problem in terms of cyclic somethings, we can turn the cyclic group information into

information about integers. well, integers are easy, it's just basic (sometimes modular) arithmetic.

translate the integer information back into cyclic group information, and then use it for a general group.

if you look closely enough, this is exactly what is done in every proof of lagrange's theoem.