Orbits of Transitive Group Actions

  • Thread starter Thread starter Kalinka35
  • Start date Start date
  • Tags Tags
    Group Orbits
Click For Summary
SUMMARY

The discussion focuses on the transitive action of a finite group G on a set X, specifically examining the orbits of a normal subgroup H acting on X. It establishes that the sizes of these orbits are equal, using the example of G as the group of rotations in the plane and H as a specific subgroup of rotations. The key insight is that to find the orbit Hy of a point y on the unit circle, one can utilize the rotations applied to a fixed point x, demonstrating the geometric relationship between the orbits.

PREREQUISITES
  • Understanding of group theory, specifically finite groups and normal subgroups.
  • Familiarity with the concept of group actions and orbits.
  • Basic knowledge of geometric transformations, particularly rotations in the plane.
  • Ability to visualize and manipulate points on the unit circle.
NEXT STEPS
  • Study the properties of normal subgroups in group theory.
  • Learn about the orbit-stabilizer theorem and its implications.
  • Explore geometric interpretations of group actions, particularly in the context of symmetry.
  • Investigate examples of transitive group actions in various mathematical contexts.
USEFUL FOR

This discussion is beneficial for students and researchers in abstract algebra, particularly those studying group actions, as well as mathematicians interested in the geometric applications of group theory.

Kalinka35
Messages
48
Reaction score
0

Homework Statement


Suppose G is a finite group, which acts transitively on a set X and let H be a normal subgroup of G. Show that the size of the orbits of the action of H on X are of the same size.


Homework Equations





The Attempt at a Solution


I haven't been able to get very far with this. The only fact I've gotten is that |H(x)| divides |G|, but I am not sure that is even relevant in this case.
 
Physics news on Phys.org
First think about this example.

Let G=group of all rotations in the plane about the origin.

Let H=some subgroup, e.g. H=\{ R_0, R_{120}, R_{240} \}.

Let X=the unit circle with center at origin.

Let x=x_0= some fixed point p_0 on the unit circle, e.g. p_0=(1,0).

Let y= some other point on the unit circle.

Draw a picture of Hx.

Now, what if you want to find Hy, but for some crazy reason you don't know how to find it directly. You only know how to apply the rotations of H to the point x, not any other point. Geometrically, describe how to find Hy. Use the word "rotate."
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K