We know that we can take direct sums of vector spaces. Can we take representations and and use them to put a representation on ? Of course we can, or I wouldn’t be making this post!
This is even easier than tensor products were, and we don’t even need to be a bialgebra. An element of is just a pair with and . We simply follow our noses to define
The important thing to notice here is that the direct summands and do not interact with each other in the direct sum . This is very different from tensor products, where the tensorands and are very closely related in the tensor product . If you’ve seen a bit of pop quantum mechanics, this is exactly the reason quantum system exhibit entanglement while classical systems don’t.
Okay, so we have a direct sum of representations. Is it a biproduct? Luckily, we don’t have to bother with universal conditions here, because a biproduct can be defined purely in terms of the morphisms and . And we automatically have the candidates for the proper morphisms sitting around: the inclusion and projection morphisms on the underlying vector spaces! All we need to do is check that they intertwine representations, and we’re done. And we really only need to check that the first inclusion and projection morphisms work, because all the others are pretty much the same.
So, we’ve got defined by . Following this with the action on we get
But this is the same as if we applied to . Thus, is an intertwiner.
On the other hand, we have , defined by . Acting now by we get , while if we acted by beforehand we’d get
Just as we want.
The upshot is that taking the direct sum of two representations in this manner is a biproduct on the category of representations.