In our discussions of representations so far we’ve been predominantly concerned with actions on the left. That is, we have a map , linear in , that satisfies the relation . That is, the action of the product of two group elements is the composition of their actions.
But sometimes we’re interested in actions on the right. This is almost exactly the same, but with a map , again linear in , and this time the relation reads . Again, the action of the product of two group elements is the composition of their actions, but now in the opposite order! Before we first acted by and then by , but now we act first by and then by . And so instead of a homomorphism , we have an anti-homomomorphism — a map from one group to another that reverses the order of multiplication.
We can extend the notation from last time. If the space carries a right representation of a group , then we hang a tag on the right: . If we have an action by another group on the right that commutes with the action of , we write . And if instead acts on the left, we write . Again, this can be read as a pair of commuting actions, or as a left action of on the right -module , or as a right action of on the left -module .
Pretty much everything we’ve discussed moves over to right representations without much trouble. On the occasions we’ll really need them I’ll clarify if there’s anything tricky, but I don’t want to waste a lot of time redoing everything. One exception that I will mention right away is the right regular representation, which (predictably enough) corresponds to the left regular representation. In fact, when I introduced that representation I even mentioned the right action in passing. At the time, I said that we can turn the natural antihomomorphism into a homomorphism by right-multiplying by the inverse of the group element. But if we’re willing to think of a right action on its own terms, we no longer need that trick.
So the group algebra — here considered just as a vector space — carries the left regular representation. The left action of a group element on a basis vector is the basis vector . It also carries the right regular representation. The right action of a group element on a basis vector is the basis vector . And it turns out that these two actions commute! Indeed, we can check
This might seem a little confusing at first, but remember that when shows up plain on the left it means the group element acting on the vector to its right. When it shows up in a boldface expression, that expression describes a basis vector in . Overall, this tells us that we can start with the basis vector and act first on the left by and then on the right by , or we can act first on the right by and then on the left by . Either way, we end up with the basis vector , which means that these two actions commute. Using our tags, we can thus write .