Find the order of a k cycle in group Sn

  • Thread starter Thread starter tehme2
  • Start date Start date
  • Tags Tags
    Cycle Group
Click For Summary
SUMMARY

A k-cycle in the symmetric group Sn has an order of k, as demonstrated through the composition of the cycle. The mapping process shows that after k applications of the cycle, each element returns to its original position, confirming that f^k equals the identity permutation. The proof utilizes the notation f = (a1, a2, ..., ak) and illustrates that f^n(a_i) = a_{i + n mod k}, establishing that k is the smallest integer for which this holds true.

PREREQUISITES
  • Understanding of group theory and symmetric groups, specifically Sn.
  • Familiarity with permutation notation and cycle notation.
  • Knowledge of mathematical induction and composition of functions.
  • Basic understanding of modular arithmetic.
NEXT STEPS
  • Study the properties of symmetric groups, focusing on cycle structure and order.
  • Learn about group homomorphisms and their applications in group theory.
  • Explore the concept of conjugacy in symmetric groups.
  • Investigate the relationship between permutations and combinatorial structures.
USEFUL FOR

This discussion is beneficial for students of abstract algebra, particularly those studying group theory, as well as mathematicians interested in the properties of permutations within symmetric groups.

tehme2
Messages
4
Reaction score
0

Homework Statement


Prove that a k-cycle in the group Sn has order k.

Homework Equations





The Attempt at a Solution


I'm mostly confused on how to write this in math notation. I know it will have order k because a1 → a2 → a3 ... ak-1 → ak → a1 if we do the compositions K times. and so everything will get mapped back to itself and hence we have the identity permutation.

Let f = (a1,a2,a3...,ak)
then f(a1) = a2 this is the original permutation
then if we do the compoisition of f o f we have
a1 → a3 , a2→ a4. .. etc. so f^2(a1) = a3
then if we do f o f o f we have a1 → a4 so
f^3(a1) = f(a3) = a4
..
f^k(a1) = f(ak) = a1
and this process would hold for any element in f, so we see that f^k =(1) , and so f has order of K. therefore any k cycle group in Sn has order K.

Any help is appreciated.Thanks
 
Physics news on Phys.org
Looks fine to me. I guess you're looking for a more concise way of stating this fact though? You could show that for any i \in \{1,\ldots, k \} that
f^n(a_i) = a_{i + n \mod k}
which is just what you said in more words in your post. This holds for any i, so f^k(a_i) = a_{i+k \mod k} = a_{i}, and we conclude that the order of f divides k. All you have to claim is that k is in fact the smallest number and hence is the order. But I think that this is evident.
 

Similar threads

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