Questions on the symmetric group

  • #1
first ,
if p is prime , show that an element has order p in Sn iff it's cycle decomosition is a product of commuting p-cycles

my solution is very diffrent about the one in the book and I don't know if my strategy is right

my proof
______
let T is an element of Sn
and the cycle decomposition of T = t1 t2 t3 .... tm
t1 , t2 , ... , tm are disjoint cycle
so
ti tj = tj ti for all i,j
T^p = ( t1 t2 .... tm )^p = (t1)^p (t2)^p .... (tm)^p
now , ti , tj are 2 disjoint cycle so if ti or tj are not equal to identity permutation then ,
ti tj =\= e

now if T^p = 1
then
(t1)^p (t2)^p .... (tm)^p = 1
but (t1)^p , (t2)^p , ... , (tm)^p are disjoint
so if (ti)^p =\= 1 for all i then
(t1)^p (t2)^p .... (tm)^p =\= 1
but (t1)^p (t2)^p .... (tm)^p = 1
so it's nessary that
(ti)^p = 1 for all i
so
l ti l = p
and ti 's are commuting because they are disjoint

so we proved that order of T = p where p is prime then it's cycle decomposition has the same order p
now
every t1 is a p-cycle

is this right ?

the otherway is easy to prove

plz help


in this question we can't use the rule which says @ order of an element in Sn is the LCD of the lenghts of the cycles in its cycle decomposition because this rule didn't come in the book and I search for a proof with out it
 

Answers and Replies

  • #2
here is the question on more clear way

prove that :

676955475.png
 
  • #3
haruspex
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
36,410
6,941
On the face of it, that's a rather different question (though no doubt they're equivalent in some way). So if the second post is the real question to be answered, please repost your proof in a way that relates more directly to it.
 
  • #4
On the face of it, that's a rather different question (though no doubt they're equivalent in some way). So if the second post is the real question to be answered, please repost your proof in a way that relates more directly to it.

sorry , a mistake was made !
my question is the first one ,
the second one I work on it

so , does my attempt on the first question is right or not ?!
 
  • #5
haruspex
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
36,410
6,941
if T^p = 1
then
(t1)^p (t2)^p .... (tm)^p = 1
Not immediately. Tp = ((t1) (t2) ... (tm))p = 1. You need to use the fact that (t1) , (t2) , ... , (tm) are disjoint to show they commute.
 
  • #6
Not immediately. Tp = ((t1) (t2) ... (tm))p = 1. You need to use the fact that (t1) , (t2) , ... , (tm) are disjoint to show they commute.

yes , I said that t1 , t2 , ... , tm are disjoint beacuse t's are the cycle decomposition
so they are disjoint so they are commuting with each other !
 
  • #7
haruspex
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
36,410
6,941
yes , I said that t1 , t2 , ... , tm are disjoint beacuse t's are the cycle decomposition
so they are disjoint so they are commuting with each other !
Yes, you said that later, but not at the point where you made use of it.
 
  • #8
Yes, you said that later, but not at the point where you made use of it.

ok :) thank you
 

Related Threads on Questions on the symmetric group

  • Last Post
Replies
0
Views
886
  • Last Post
2
Replies
28
Views
3K
  • Last Post
Replies
1
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
10
Views
9K
Replies
4
Views
2K
Replies
1
Views
1K
  • Last Post
Replies
3
Views
3K
Replies
11
Views
501
Top