Solving Homomorphism Q on Cyclic Group of Order 7

  • Thread starter Thread starter ElDavidas
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around determining the number of homomorphisms from a cyclic group of order 7 to the symmetric group S_7. Participants explore the properties of cyclic groups and homomorphisms, particularly focusing on the implications of the group's order and the behavior of the homomorphism.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the significance of the generator of the cyclic group and how knowing the image of the generator can help determine the homomorphism's behavior. Questions about the order of the image of the generator under the homomorphism are raised, along with considerations of the implications of the group's order.

Discussion Status

The discussion is active, with participants questioning the implications of the properties of the homomorphism and the elements involved. Some guidance has been offered regarding the relationship between the order of the generator and the image under the homomorphism, but no consensus or conclusion has been reached yet.

Contextual Notes

Participants express uncertainty about the next steps in their reasoning and refer to their lecture notes for clarification, indicating a reliance on foundational concepts in group theory.

ElDavidas
Messages
78
Reaction score
0
Can anybody help me out?

"Let G be a cyclic group of order 7. Determine the number of homomorphisms from G to [itex]S_7[/itex]"

I know the definition of a cyclic group. It's a group generated by a single element. The order 7 means that [itex]g^7 = e[/itex] for g within G.

I understand that a homomorphism is defined by [itex]\Psi (ab) = \Psi(a)\Psi(b)[/itex] for a, b that exist in G. [itex]\Psi : G \rightarrow S_7[/itex]

My main problem is, I can't put this all together and answer the question! :confused:

Any comments/suggestions would be appreciated
 
Last edited:
Physics news on Phys.org
Let g be a generator of G, [tex]\Psi[/tex] a homomorphism. Since g generates the group if we know what happens to g, we know what happens to the rest of the group. So we can concentrate our efforts on g.

What can you say about the order of [tex]\Psi(g)[/tex]? What then are the possibilities for [tex]\Psi(g)[/tex]?
 
shmoe said:
What can you say about the order of [tex]\Psi(g)[/tex]?

:rolleyes: That the order of [tex]\Psi(g)[/tex] is determined by g? Purely a guess...

I know that you can calculate the order of a permutation in [itex]S_7[/itex] by finding the LCM of the lengths of the disjoint cycles.

Not sure if that's relevant though.
 
You know [tex]g^7=e[/tex] so you know [tex]\Psi(g)^7=\Psi(g^7)=\Psi(e)[/tex]

What is [tex]\Psi(e)[/tex] and what are the possibilities for the order of [tex]\Psi(g)[/tex]?
 
shmoe said:
What is [tex]\Psi(e)[/tex] and what are the possibilities for the order of [tex]\Psi(g)[/tex]?

[tex]\Psi(e)[/tex] = [tex]\Psi(gg^{-1})[/tex] = [tex]\Psi(g)\Psi(g^{-1})[/tex]

I don't know how to take it further or how to come to any conclusions about this. I've been rereading my lecture notes lots of times about this area.
 
[tex]\Psi(e)^2=\Psi(e^2)=\Psi(e)[/tex]

You should know what [tex]\Psi(e)[/tex] must be now- not many elements in a group can equal their own square!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
5K
Replies
31
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K