Algebra, find orbits and stabilizers

  • Thread starter Thread starter Dassinia
  • Start date Start date
  • Tags Tags
    Algebra Orbits
Click For Summary
SUMMARY

The discussion focuses on finding the orbit and stabilizer of the element 2 under the action of the subgroup L of S10, generated by the permutation p = (1, 2, 3, 4)(4, 5)(8, 9, 10). The orbit of 2 is determined to be {1, 2, 3, 4, 5}, while the stabilizer Stab(2) consists of the identity and the permutations p5 and p10. The calculations confirm that the order of the subgroup L is 15, and the identity permutation does not appear in the stabilizer group since p^15 equals the identity.

PREREQUISITES
  • Understanding of group theory concepts, specifically orbits and stabilizers.
  • Familiarity with permutation notation and cycle decomposition.
  • Knowledge of the symmetric group S10 and its properties.
  • Basic understanding of subgroup generation and order of permutations.
NEXT STEPS
  • Study the properties of symmetric groups, particularly S10 and its subgroups.
  • Learn about the action of groups on sets and the implications for orbits and stabilizers.
  • Explore cycle notation and its applications in group theory.
  • Investigate the concept of group order and its significance in permutation groups.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone interested in understanding the application of permutations in algebraic structures.

Dassinia
Messages
141
Reaction score
0
Hello I have the solution of a problem and I don't understand it

1. Homework Statement

We know that every subgroup L<S10 acts on [1, 10] := {1, 2,..., 10} by the formula π • i = π(i). Consider L the subgroup of S10 generated by the permutation p = (1, 2, 3, 4)(4, 5)(8, 9, 10).
Find the orbit and stabilizer of 2

Homework Equations


Orb(x)={l•x ,l ∈ L }
Stab(2)={ l ∈ L , l•x=x}

The Attempt at a Solution


Here's the solution
L=< { p=(1, 2, 3, 4)(4, 5)(8, 9, 10) = (1, 2, 3, 4,5)(8, 9, 10) } > ⊂ S10 is generated by a 5-cycle and a 3-cycle so |L|=15 because(1, 2, 3, 4,5) &(8, 9, 10) don't commute.
Orb(2) = { 1, 2, 3, 4 , 5 }
Stab(2)={ Identity, p5, p10 }I don't understand how they found the orbit. By definition Orb(2)= L • 2 := {l • 2; l ∈ L}. l • 2= l(2) and thn I don't know what to do.
For the Stabilizer why they take p5=(8,10,9) and p10=(8,9,10) ? The order of the permutation is 15 so why Stab(2) isn't { Identity, p15} ?
Thanks
 
Physics news on Phys.org
Let ##a=(1\ 2\ 3\ 4\ 5)## and ##b=(8\ 9\ 10)##. The subgroup L is ##\{a^nb^n\ |\ n\in \mathbb{N}\}##. In calculating the orbit of 2 you can ignore the ##b^n## factor because it doesn't act on 2.
So the orbit of 2 is ##\{a^n(2)\ |\ n\in\mathbb{N}\}## which is ##\{a^n(2)\ |\ n\in\{0,1,2,3,4\}\}## since ##a^n=##Identity.

##p^{15}## is equal to the identity, so will not be listed in any stabilizer group.

From the above we have that ##p^5=b^5, p^{10}=b^{10}## because the ##a## part is the identity, having a cycle of 5. To see why ##b^5=##(8 10 9) apply the permutation ##b## five times and see what happens.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
15
Views
4K
Replies
12
Views
7K
Replies
2
Views
1K