It turns out that we can view the space of tensors over a group algebra as a subspace of invariants of the space of all tensors. That is, if is a right -module and is a left -module, then is a subspace of .
To see this, first we’ll want to turn into a left -module by defining
We can check that this is a left action:
The trick is that moving from a right to a left action reverses the order of composition, and changing from a group element to its inverse reverses the order again.
So now that we have two left actions by , we can take the outer tensor product, which carries an action by . Then we pass to the inner tensor product, acting on each tensorand by the same group element. To be more explicit:
Now, I say that being invariant under this action of is equivalent to the new relation that holds for tensors over a group algebra. Indeed, if is invariant, then
Similarly, if we apply this action to a tensor product over the group algebra we find
so this action is trivial.
Now, we’ve been playing it sort of fast and loose here. We originally got the space by adding new relations to the space , and normally adding new relations to an algebraic object gives a quotient object. But when it comes to vector spaces and modules over finite groups, we’ve seen that quotient objects and subobjects are the same thing.
We can get a more explicit description to verify this equivalence by projecting onto the invariants. Given a tensor , we consider it instead as a tensor in . Now, this is far from unique, since many equivalent tensors over the group algebra correspond to different tensors in . But next we project to the invariant
Now I say that any two equivalent tensors in are sent to the same invariant tensor in . We check the images of and :
To invert this process, we just consider an invariant tensor as a tensor in . The “fast and loose” proof above will suffice to show that this is a well defined map . To see it’s an inverse, take the forward image and apply the relation we get from moving it back to :
And so we’ve established the isomorphism , as desired.