Permutations (Pt. VI Alternate Definitions of the Sign of a Permutation cont.)
Point of post: This is a literal continuation of this post. I just hate when that dark grey to light grey thing happens. Just pretend that there was no lapse in the posts
And so we continue…
So, from this we may finally verify that the definition of given in terms of is the same as the on given by us.
Proof: For the sake of notational convenience let
be denoted by . Then, with this in mind we see from our previous theorems that for any
and since was arbitrary it follows that .
So, now that we have proven that the two definitions are the same we ask “Why would someone want to define it this way?” Well, any kid off the street having read the motivation given in terms of the alternating function will spit out this definition. In other words, depending how the subject is motivated this definition is most natural. Also, arithmetic with the sign function is reduced to arithmetic of polynomials, which is always a plus.
Ok, so how is it not good? There is no obvious reason why the above definition of gives negative one for odd permutations and one for even permutations, and considering this was really the point of the sign function, this is a pretty big minus.
Because of the similarity between this definition and the usual one, we merely mention it.
Now we can talk about the, admittedly simpler, topic of inversions as discussed in Shilov (viz. ref. 1 pg. 5-6). Intuitively an inversion is just a transposition in a different guise. Namely, we call an inversion induced on by some a rearrangement such that and . Then, if is the number of inversions induced by then we define .
This one is barely different from the definition we know of the sign of a permutation. It is just a relabeling of the idea of a transposition.
1. Lang, Serge. Undergraduate Algebra. New York: Springer, 1998. Print.
2. Shilov, G. E. Linear Algebra. Englewood Cliffs, NJ: Prentice-Hall, 1971. Print.