Proving one element in the symmetric group (s>=3) commutes with all element

Click For Summary
SUMMARY

The only element in the symmetric group Sn (where n ≥ 3) that commutes with all other elements is the identity permutation, denoted as id. This conclusion is reached by analyzing the disjoint cycle representation of permutations and demonstrating that any non-identity permutation will not commute with at least one other permutation. The proof involves selecting a transposition that highlights the non-commutativity of non-identity elements in Sn.

PREREQUISITES
  • Understanding of symmetric groups, specifically Sn.
  • Familiarity with permutation notation and properties.
  • Knowledge of disjoint cycle representation of permutations.
  • Basic concepts of group theory, including commutativity.
NEXT STEPS
  • Study the properties of symmetric groups Sn for n ≥ 3.
  • Learn about disjoint cycle notation and its applications in group theory.
  • Explore proofs related to the structure of groups and their elements.
  • Investigate transpositions and their role in permutation groups.
USEFUL FOR

Mathematicians, particularly those focused on abstract algebra, students studying group theory, and anyone interested in the properties of symmetric groups.

emath
Messages
2
Reaction score
0
I am really stuck with how to prove that the only element in Sn (with n>=3) commuting with all the other elements of this group is the identity permutation id.

I have no idea what I am supposed to do with it, i know why S3 has only one element that commutes but i don't know how to prove it for all.
 
Physics news on Phys.org
You could start by proving the following:

If f and g are in Sn, then the disjoint cycle representation of fgf-1 is obtained by taking the disjoint cycle representation of g and by changing every number n in the representation by g(n).

Think how that would prove your claim.
 
I think micromass's solution is very good. If you have trouble with his solution, then you can also just do the following:

If [itex]\sigma \in S_n \setminus \{\mathrm{id}\}[/itex], then there exists an [itex]i \in \{1,\dots,n\}[/itex] such that [itex]\sigma(i) = j[/itex] and [itex]i \neq j[/itex]. Now let [itex]k \in \{1,\dots,n\}[/itex] be such that [itex]k \neq j,\sigma(j)[/itex] and let [itex]\tau \in S_n[/itex] be the transposition which switches [itex]j[/itex] and [itex]k[/itex]. The rest of the proof is trivial from here.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K