Mathematics for the interested outsider

The Signum Representation

I’ve just noticed that there’s a very important representation I haven’t mentioned. Well, actually, I mentioned it in passing while talking about Rubik’s group, but not very explicitly. And it’s a very important one.

Way back when I defined permutation groups I talked about a permutation being even or odd. Remember that we showed that permutation can be written out as a composite of transpositions which swap two objects. In general this can be done in more than one way, but if it takes an even number of swaps to write a permutation in one way, then it will take an even number of swaps in any other way, and similarly for permutations requiring an odd number of swaps. In this way we separate out permutations into the “even” and “odd” collections.

The composite of two even permutations or two odd permutations is even, while the composite of an even and an odd permutation is odd. This is just like the multiplication table of the group , with “even” for the group’s identity and “odd” for the other group element . That is, we have a homomorphism for every permutation group .

Now to make this into a representation we’re going to use a one-dimensional representation of . We have to send the group identity to the field element , but we have a choice to make for the image of . We need to send it to some field element , and this element must satisfy for this to be a representation. We could choose , but this just sends everything to the identity, which is the trivial group representation. There may be other choices around, but the only one we know always exist is (note we’re tacitly assuming that .

So we define the one-dimensional signum representation of by sending all the even permutations to the matrix whose single entry is , and sending all the odd permutations to the matrix whose single entry is . Often we’ll just ignore the “matrix” fact in here, and just say that the signum of an even permutation is and the signum of an odd permutation is . But secretly we’re always taking this and multiplying it by something else, so we’re always using it as a linear transformation anyway.

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.