Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a tensor product $A^{\otimes n}$ over a field $k$ (characteristic $\neq 2$) of $n$ copies of the $k$-algebra $A$, a premutation $\sigma \in S_n$ of order $2$ acts on the elements of $A^{\otimes n}$ by permuting each generator and then extend by linearity. It will then split $A^{\otimes n}$ into a positive and a negative eigenspace, given by the projectors $\frac{1}{2}(id-\sigma)$ and $\frac{1}{2}(id+\sigma)$, where $id$ is the identity map.

What I need to know to go on is, given an $(a_1, \ldots, a_n)\in A^{\otimes n}$ in one of the eigenspaces, will $(a_1, \ldots, a_n, a_{n+1})$ be in one of the corresponding eigenspaces of $A^{\otimes n+1}$ given $\sigma$ is extended to act on the first $n$ elements the natural way?

share|cite|improve this question
What exactly do you mean by "permuting each generator"? – tomasz Sep 5 '12 at 16:02
@tomasz I mean given a generator $a_1 \otimes \cdots\otimes a_n$, it permutes the indices, and since any element of the tensor product is a sum of such generators, you let the permutation act on each of the generators of a given element. – Arthur Sep 5 '12 at 17:12
up vote 0 down vote accepted

The function from $A^{\otimes n}$ to $A^{\otimes n+1}$ adds the same element at the end on each of the generators, and by then it is pretty obvious by bilinearity of the tensor product $A^{\otimes n}\otimes A$ that it actually has the property I was looking for.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.