• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Isomorphism proof

  • Thread starter kathrynag
  • Start date
1. Homework Statement
[tex]\phi[/tex]:G-->G'
Let [tex]\phi[/tex] be an isomorphism. Prove that [tex]\phi[/tex] maps the e identity of G to e', the identity of G' and for every a[tex]\in[/tex]G, [tex]\phi[/tex]([tex]a^{-1}[/tex])=[tex]^\phi(a){-1}[/tex].



2. Homework Equations



3. The Attempt at a Solution
We have an isomorphism, therefore one to one, onto and has a homomorphism.
Phi is one to one therefore [tex]\phi[/tex](x)=[tex]\phi[/tex](y), implying x=y.
Then [tex]\phi[/tex](G)=[tex]\phi[/tex](G') implying e=e'.
Now [tex]\phi[/tex](a*[tex]a^{-1}[/tex])=[tex]\phi[/tex](a)*[tex]\phi[/tex]([tex]a^{-1}[/tex]) is what we want to prove.

Now I get stuck.
 
280
1
For the first part try
[tex]\phi(e)=\phi(ee)=...[/tex]

[tex]\phi(e)=\phi(a a^{-1})=\phi(a)\phi(a^{-1})=e[/tex]
Now what do you know about inverses?
 
[tex]\phi[/tex](e)=[tex]\phi[/tex](ee) implies e=ee
[tex]\phi[/tex](e)=[tex]\phi[/tex](a[tex]a^{-1}[/tex])=[tex]\phi[/tex](a)[tex]\phi[/tex]([tex]^a{-1}[/tex])=e
I think I understand where all this comes from and I know a[tex]a^{-1}[/tex]=e
 
280
1
Firstly no it doesn't, try using the homomorphic property and then cancel.

On the second one you found one inverse for [itex]\phi(a)[/itex], use the uniqueness of the inverse. Sorry my post is a bit confusing, use the second equation for the second part.
 
Sorry, I'm blanking on what a homomorphic property is. Is that f(xy)=f(x)f(y)?
so [tex]\phi[/tex](e')=[tex]\phi[/tex](a[tex]a^{-1}[/tex])=[tex]\phi[/tex](a)*[tex]\phi[/tex]([tex]a^{-1}[/tex])=e
 

Related Threads for: Isomorphism proof

  • Posted
Replies
6
Views
2K
  • Posted
Replies
16
Views
6K
  • Posted
Replies
6
Views
681
  • Posted
Replies
1
Views
663
  • Posted
Replies
0
Views
628

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top