Group action on cosets of subgroups in non-abelian groups

  • Thread starter nbruneel
  • Start date
3
0
This is not a homework question, just a general question.

Let G be a non-abelian finite group, S < G a non-normal proper subgroup of index v >= 2, and G/S the set of v right cosets S_1 = S, S_2, ..., S_v, of S in G.

We know there is a naturally defined right-multiplication action G x G/S --> G/S defined by (g,S_i) |--> (S_i)g, and this action is a permutation action on G/S. So for any element g in G, the map \phi_g : G/S --> G/S defined by \phi_g(S_i) = (S_i)g is an element of Sym(v).

If \phi: G --> Sym(v) is the map which sends each g in G to \phi(g), and S < G is a proper subgroup, then what are the conditions for this map to be necessarily surjective? It seems that for v = 3, no additional conditions are required beyond non-normality of the subgroup S. But is this necessarily true for v >= 4?

Many thanks for any helpful comments or suggestions.
 
Last edited:
21,992
3,272
Take G the dihedral group of order 8. Let S={1,b} (so the identity, and one reflection). Then S has index 4. Thus Sym(v) has 24 elements. So, since Sym(v) has more elements then G, no surjection G--> Sym(v) can exist...
 
97
0
I want to ask a question first why \phi_g is an element of Sym(v)?why should there is a S_j equals to S_i*g?

thanks
 

Related Threads for: Group action on cosets of subgroups in non-abelian groups

Replies
1
Views
1K
Replies
2
Views
2K
Replies
3
Views
2K
Replies
1
Views
2K
  • Posted
Replies
4
Views
8K
  • Posted
Replies
5
Views
2K
  • Posted
Replies
2
Views
5K
  • Posted
Replies
8
Views
7K

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