1

Question 27 on Section 9 of Fraleigh 7th edition:

Part (a) Asks us to prove that a permutation in $S_n$ can be written as a product of at most $n - 1$ transpositions.

I feel that this is not true. There are endless counter examples to this. Simply write $i = (1, 2)(1, 2)(1, 2)(1, 2)$ gives the identity permutation in $S_3$.

Or, write $(3, 4)(1, 2)(2, 3)(3, 1)$ gives a permutation in $S_4$.

Thanks for the help, and I will continue asking questions about Fraleigh because I am doing a complete self study, so this is my only resource for asking questions.

MJD
  • 65,394
  • 39
  • 298
  • 580
user7348
  • 474

2 Answers2

1

The proof is easy when you think about arranging $n$ objects. Use the first transposition to put the first object in place, the second to place the second object. When you get the $(n-1)^{th}$ object in place you discover that everything is in order as it is impossible to have just one object out of place.

That's not too difficult to translate into the language of transpositions.

Mark Bennet
  • 100,194
1

"Can be written in a certain form" means that there exists a way of writing something in that form. The claim that the exercise wants to to prove is that if $s$ is any element of $S_n$, then there exists some sequence of $n-1$ or fewer transpositions whose product is $s$. Obviously you can multiply together as many transpositions as you want, but the point here is that you never get anything new by multiplying together more than $n-1$ of them.

Here is a different example of the same thing, possibly helpful:

Every positive integer can be written in the form $(2k+1)\cdot 2^m$ for some integers $k$ and $m$.

Does this mean that the integer 1,428 is written in this form? No, of course it doesn't, because it isn't. It only means that there exist numbers $k$ and $m$ for which $(2k+1)\cdot 2^m = 1428$β€”in this case $k=178$ and $m=2$.

MJD
  • 65,394
  • 39
  • 298
  • 580
  • Excellent. Sorry I can't up vote you as my rating is too low. I'll come back and up rate you if my rating gets high enough. – user7348 Feb 22 '14 at 01:01
  • I'm glad I could help. If you like the answer, you can "accept" it by clicking the checkmark in the left margin. – MJD Feb 22 '14 at 01:47