Abstract algebra, show that phi is a homomorphism

  • Thread starter usn7564
  • Start date
  • #1
usn7564
63
0

Homework Statement


25ow3d4.png


The Attempt at a Solution



I'm very new to this kind of maths, so don't quite know how to get started. If I understood the question at all we have

[tex]g_i \mapsto \phi_i[/tex]

and so I have a homomorphism if I can show that

[tex] \pi(g \cdot g_i) = \pi(g) \circ \pi(g_i) [/tex]

I'm thinking it's trivially injective (might be way off here) because each g maps to a unique element in the symmetric group so there's not much to show.

But to show the homomorphism? Frankly don't have a clue
[tex] j = \phi_g (i)[/tex]
[tex]\pi(g \cdot g_i) = \pi(g_j) = \phi_{g_j}[/tex]

[tex]\pi(g) \circ \pi(g_i) = \phi_g \circ \phi_{g_i}[/tex]

and then I come to a halt. How do I approach this?
 

Answers and Replies

  • #2
Mandelbroth
611
24

Homework Statement


25ow3d4.png


The Attempt at a Solution



I'm very new to this kind of maths, so don't quite know how to get started. If I understood the question at all we have

[tex]g_i \mapsto \phi_i[/tex]

and so I have a homomorphism if I can show that

[tex] \pi(g \cdot g_i) = \pi(g) \circ \pi(g_i) [/tex]

I'm thinking it's trivially injective (might be way off here) because each g maps to a unique element in the symmetric group so there's not much to show.

But to show the homomorphism? Frankly don't have a clue
[tex] j = \phi_g (i)[/tex]
[tex]\pi(g \cdot g_i) = \pi(g_j) = \phi_{g_j}[/tex]

[tex]\pi(g) \circ \pi(g_i) = \phi_g \circ \phi_{g_i}[/tex]

and then I come to a halt. How do I approach this?
It is trivially injective, so I'll let you show that in all of its glory if you really want to.

If it's alright with you, I'm going to drop the multiplication signs and just juxtapose two elements to multiply them.

We wish to show that ##\phi_{gg_i}=\phi_g\phi_{g_i}=\phi_{g_j}## for ##g,g_i,g_j\in G##. Do you see how to continue?
 
  • #3
usn7564
63
0
It is trivially injective, so I'll let you show that in all of its glory if you really want to.

If it's alright with you, I'm going to drop the multiplication signs and just juxtapose two elements to multiply them.

We wish to show that ##\phi_{gg_i}=\phi_g\phi_{g_i}=\phi_{g_j}## for ##g,g_i,g_j\in G##. Do you see how to continue?
Not quite no, I mean I realize I have to find the connection between the expressions but don't know how to go about it. I'm assuming the j is a key here but as far as I can tell the permutation is more or less arbitrary so think I'm missing what information is entailed in the j.
 
  • #4
Dick
Science Advisor
Homework Helper
26,263
620
Not quite no, I mean I realize I have to find the connection between the expressions but don't know how to go about it. I'm assuming the j is a key here but as far as I can tell the permutation is more or less arbitrary so think I'm missing what information is entailed in the j.

It can be a little awkward to express. Let's write down indices for everything we will need first. Suppose ##g_i##, ##g_j## and ##g_k## are any elements of your group. Then ##g_i g_j g_k=g_m## for some m. And ##g_j g_k=g_n## for some n. So then we also have ##g_i g_n=g_m##. Now you want to show ##\phi_{g_i g_j}(k)=\phi_{g_i}( \phi_{g_j}(k))##. Work out both sides. Start by telling me what ##\phi_{g_i g_j}(k)## is in terms of the indices we've defined. And showing it's injective is easy, but you do have to say why.
 
Last edited:

Suggested for: Abstract algebra, show that phi is a homomorphism

Replies
8
Views
556
Replies
8
Views
558
Replies
9
Views
344
Replies
3
Views
203
Replies
2
Views
404
Replies
2
Views
522
Replies
8
Views
517
Replies
8
Views
169
Replies
10
Views
444
  • Last Post
Replies
4
Views
371
Top