How Many Permutations in S_n Fix a Given Pair (i,j)?

  • Context: Graduate 
  • Thread starter Thread starter quasar987
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on calculating the number of permutations in the symmetric group S_n that fix a given pair (i,j) using the formula \sum_{g\in S_n}|\mathrm{fix}(g^2)|^2. The analysis reveals that for distinct pairs (i,j), there are 5(n-2)! permutations that satisfy the condition, while for pairs (i,i), there are 2(n-1)! permutations. The final conclusion reached is 7n!, but the author suspects the correct answer may be 8n!, indicating a potential oversight in their case analysis.

PREREQUISITES
  • Understanding of permutation groups, specifically S_n.
  • Familiarity with the concept of fixed points in permutations.
  • Knowledge of combinatorial counting techniques.
  • Basic understanding of factorial notation and its applications in combinatorics.
NEXT STEPS
  • Review the properties of symmetric groups and their fixed points.
  • Study combinatorial proofs related to permutations and fixed points.
  • Explore advanced counting techniques in group theory.
  • Investigate potential cases or scenarios that may have been overlooked in similar problems.
USEFUL FOR

Mathematicians, particularly those specializing in group theory and combinatorics, as well as students seeking to deepen their understanding of permutations and fixed point theory.

quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
I am trying to compute the number

[tex]\sum_{g\in S_n}|\mathrm{fix}(g^2)|^2=\sharp\left(\bigsqcup_{g\in S_n}\mathrm{fix}(g^2)\times \mathrm{fix}(g^2)\right)[/tex]

where S_n is the permutation group on the n elements {1,...n} and where fix(g) = {i in {1,...,n} : g(i)=i}.

So the plan is to fix a pair (i,j) in {1,...n} x {1,...n} and ask how many g's are such that (i,j) belongs to fix(g²) x fix(g²). Then summing over all the possible values of (i,j) gives the desired answer.

I start with (i,j) in {1,...n} x {1,...n} such that [itex]i\neq j[/itex]. How many g's are such that (i,j) belongs to fix(g²) x fix(g²)?

- There are those g's such that g(i)=i, g(j)=j and there are (n-2)! of them.

- There are those g's such that g(i)=k, g(k)=i ([itex]k\neq i[/itex]), g(j)=j and there are (n-2)(n-3)!=(n-2)! of them.

- There are those g's such that g(i)=i, g(j)=l, g(l)=j ([itex]l\neq j[/itex]) and there are (n-2)(n-3)!=(n-2)! of them.

- There are those g's such that g(i)=j, g(j)=i, and there are (n-2)! of them.

- There are those g's such that g(i)=k, g(k)=i ([itex]k\neq i,j[/itex]), g(j)=l, g(l)=g(j) ([itex]l\neq i,j[/itex]), and there are (n-2)(n-3)(n-4)!=(n-2)! of them.

So in total, for (i,j), [itex]i\neq j[/itex] there are 5(n-2)! g's in S_n such that (i,j) is in fix(g²) x fix(g²).

Next, if i in {1,...n} is fixed, how many g's are such that (i,i) is in fix(g²) x fix(g²)?

- There are those g's such that g(i)=i and there are (n-1)! of them.

- There are those g's such that g(i)=k, g(k)=i ([itex]k\neq i[/itex]) and there are (n-1)(n-2)!=(n-2)! of them.

So in total, for each i in {1,...,n}, there are 2(n-1)! g's in S_n such that (i,i) is in fix(g²) x fix(g²).

Since there are n(n-1) ways of choosing (i,j) such that [itex]i\neq j[/itex] and n ways to choosing i, I conclude that

[tex]\sum_{g\in S_n}|\mathrm{fix}(g^2)|^2=\sharp\left(\bigsqcup_{g\in S_n}\mathrm{fix}(g^2)\times \mathrm{fix}(g^2)\right) = n(n-1)(5(n-2)!)+n(2(n-1)!)=5n!+2n!=7n![/tex]

I have reasons to believe that the correct answer is 8n!. Can anyone see which case I've missed?
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 29 ·
Replies
29
Views
6K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 21 ·
Replies
21
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K