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

A question was brought up to me about if it is possible to come up with a module that has no non trivial invertible elements in its respective tensor algebra. I am not sure if this is trivial based on the following fact but I thought it would be a good starting point:

Let $T(V) = \oplus_{k=0}^{\infty} T^k(V)$ be the tensor algebra of a finite vector space $V$.

How do you show the only invertible elements in $T(V)$ are nonzero scalars (0-tensors)?

share|cite|improve this question
What does "no" invertible elements mean in the first sentence? You at least have 1. – KCd Oct 21 '11 at 6:28
I think the direct sum should start at $k=0$? – joriki Oct 21 '11 at 6:53
up vote 8 down vote accepted

You can write every element as a sum of elements of individual spaces $T^k(V)$. If you multiply two non-scalar products written like that, the product of the elements of highest degrees can't cancel with anything else, so it would have to be zero for the entire product to be unity. That's not possible; hence there are no non-scalar invertible elements.

share|cite|improve this answer
One can rephrase this as follows: there as a very natural way to define the degree of a non-zero element of $TV$, and when one does this, one has both $\deg1=0$ and $\deg ab=\deg a+\deg b$ for all non-zero $a$, $b\in TV$. Then one can use exactly the same proof as for ordinary polynomials. – Mariano Suárez-Alvarez Oct 23 '11 at 22:37

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.