5
$\begingroup$

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)?

  • 5
    I think the direct sum should start at $k=0$?2011-10-21

1 Answers 1

8

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.

  • 2
    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.2011-10-23