signature of a permutation
Let X be a finite set, and let G be the group of permutations
of X (see
permutation group
). There exists a unique homomorphism
χ from G to the
multiplicative group
{-1,1} such that χ(t)=-1 for any transposition
(loc. sit.) t∈G. The value χ(g), for any g∈G, is called the
signature
or sign of the permutation g. If
χ(g)=1, g is said to be of even parity; if
χ(g)=-1, g is said to be of odd parity.
Proposition: If X is totally ordered by
a relation
<, then for all g∈G,
χ(g)=(-1)k(g) | (1) |
where k(g) is the number of pairs (x,y)∈X×X such that
x<y and g(x)>g(y). (Such a pair is sometimes called an inversion
of the permutation g.)
Proof: This is clear if g is the identity map X→X.
If g is any other permutation, then for some
consecutive a,b∈X we have a<b and g(a)>g(b). Let h∈G
be the transposition of a and b. We have
k(g∘h) | = | k(g)-1 | ||
χ(g∘h) | = | -χ(g) |
and the proposition follows by induction on k(g).
Title | signature of a permutation |
Canonical name | SignatureOfAPermutation |
Date of creation | 2013-03-22 13:29:19 |
Last modified on | 2013-03-22 13:29:19 |
Owner | rspuzio (6075) |
Last modified by | rspuzio (6075) |
Numerical id | 9 |
Author | rspuzio (6075) |
Entry type | Definition |
Classification | msc 03-00 |
Classification | msc 05A05 |
Classification | msc 20B99 |
Synonym | sign of a permutation |
Related topic | Transposition |
Defines | inversion |
Defines | signature |
Defines | parity |
Defines | even permutation |
Defines | odd permutation |