Group actions of subgroup of S_3 onto S_3

  • Thread starter Thread starter cmj1988
  • Start date Start date
  • Tags Tags
    Group Subgroup
Click For Summary
SUMMARY

The discussion focuses on the group actions of a subgroup of S_3, specifically G = {e, (1 2)} acting on the set S_3 = {(1)(2)(3), (1 2)(3)}. The orbit of an element is defined as the set {eae^(-1), gag^(-1)} for each element a in S_3. The initial calculations confirm that the orbit of the identity is simply the identity itself, while further calculations are needed to fully describe the orbits of other elements. The correct application of the term 'orbit' is emphasized, clarifying that it refers to the subsets formed by the conjugation of elements in S_3.

PREREQUISITES
  • Understanding of group theory concepts, particularly group actions
  • Familiarity with the symmetric group S_3 and its elements
  • Knowledge of conjugation in group theory
  • Ability to perform permutations and their compositions
NEXT STEPS
  • Study the properties of group actions in detail
  • Learn about the orbit-stabilizer theorem in group theory
  • Explore the structure and properties of symmetric groups, particularly S_n
  • Practice calculating orbits and stabilizers for various groups and elements
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in group theory and its applications in combinatorial structures.

cmj1988
Messages
21
Reaction score
0
Given a subgroup of G=S3={(1)(2)(3), (1 2)(3)} acting on the set S3 defined as g in G such that gxg-1 for every x in S3. Describe the orbit.

The first one is (1)(2)(3)x(3)(2)(1). This orbit is just the identity.

For the second one, I'm not sure how to describe (1 2)(3) except by multiplying it out.

(1 2)(3)(1)(2)(3)(2 1)(3) = (1)(2)(3)
(1 2)(3)(1 2)(2 1)(3) = (1 2)(3)
(1 2)(3)(1 3)(2 1)(3) = (1)(3 2)
(1 2)(3)(2 3)(2 1)(3) = (1 3)(2)
(1 2)(3)(1 2 3)(2 1)(3) = ?
(1 2)(3)(1 3 2)(2 1)(3) = ?
 
Physics news on Phys.org
First four look good.

(1 2)(3)(1 2 3)(2 1)(3) = ?
(1 2)(3)(1 3 2)(2 1)(3) = ?

What's the problem? You know how to compose conjugations. These two are exactly like the ones you were able to get.
 
Aside from permutation issues, I don't think you are using the word 'orbit' correctly. If you write your subgroup as G={e,g} (e=identity, g=(12)) then the orbit of an element a of S3 is {eae^(-1),gag^(-1)}. That's a subset of S3 with either one or two elements. That subset is the orbit of a. Once you finish your table you should be able to split S3 into orbits.
 

Similar threads

Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K