symmetric group is generated by adjacent transpositions
Theorem 1.
The symmetric group![]()
on is generated by the permutations
![]()
Proof.
We proceed by induction![]()
on . If , the theorem
![]()
is trivially truebecause the the group only consists of the identity
and a single transposition
![]()
.
Suppose, then, that we know permutations of numbers are generatedby transpositions of successive numbers. Let be a permutation of. If , then the restriction of to is a permutation of numbers, hence,by hypothesis
![]()
, it can be expressed as a product
of transpositions.
Suppose that, in addition, with . Considerthe following product of transpositions:
It is easy to see that acting upon with this product of transpositionsproduces . Therefore, acting upon with the permutation
produces . Hence, the restriction of this permutation to is a permutation of numbers, so,by hypothesis, it can be expressed as a product of transpositions.Since a transposition is its own inverse![]()
, it follows that may also be expressed as a product of transpositions.∎