Hey vercammen.
This might be a dumb question, but is W just a matrix? Also what does raising W to the delta do with regards to the map?
Here is what I did, but unfortunately it was graded as incorrect.
On the k-tensor powers the induced map is which on pure tensors is
If is a permutation, then and thus we can immediately verify the identity
because both sides will equal
Because pure tensors span the k-tensor power space, we conclude that
(1)
Now let's get back to the problem.
By definition, which is
Now by two consecutive applications of (1), and that is, by definition, - which again by definition equals