PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] characterization of signature of a permutation (Theorem)

The signature of a permutation is well-defined, as proved in the parent article. This note characterizes odd permutations.

Theorem 1   A permutation $\sigma$ is odd if and only if the number of even-order cycles in its cycle type is odd.

Thus, for example, this theorem asserts that $(1~2~3)$ is an even permutation, since it has zero even-order cycles, while $(1~2)(3~4~5)$ is odd, since it has precisely one even-order cycle.

Proof. Note that the function taking a permutation to its signature is a homomorphism from $S_n\to \Ints/2\Ints$ , and we thus get the following multiplication rules for even and odd permutations:
(even)$\cdot$ (even) = (odd)$\cdot$ (odd) = (even)
(even)$\cdot$ (odd) = (odd)$\cdot$ (even) = (odd)

Note that we can represent a single cycle as a product of transpositions: $$ (a_1~a_2~a_3~\ldots~a_k)=(a_1~a_k)(a_1~a_{k-1})\ldots(a_1~2 $$ and that therefore an even-length cycle is odd (since it is equivalent to an odd number of transpositions) while an odd-length cycle is even.

By the multiplication rules above, then, a given permutation is odd if and only if the product of the signs of its cycles is odd, which happens if and only if there are an odd number of cycles whose sign is odd, which happens if and only if there are an odd number of cycles of even length. $ \qedsymbol$




"characterization of signature of a permutation" is owned by rm50.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: length, odd number, transpositions, product, represent, even, homomorphism, signature, function, even permutation, theorem, cycle type, cycles, number, odd, permutation, odd permutations, well-defined, signature of a permutation

This is version 1 of characterization of signature of a permutation, born on 2007-06-18.
Object id is 9621, canonical name is CharacterizationOfSignatureOfAPermutation.
Accessed 864 times total.

Classification:
AMS MSC03-00 (Mathematical logic and foundations :: General reference works )
 05A05 (Combinatorics :: Enumerative combinatorics :: Combinatorial choice problems )
 20B99 (Group theory and generalizations :: Permutation groups :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)