Equivalent conditions for existence of an invertible element in an exterior algebra

I am working on old qualifying problems involving tensor products. I am stuck on a statement about invertible elements in an exterior algebra and was wondering if this was a well known fact in a book somewhere. I think most of this notation is standard from dummite and foote but the notes I have been using are slightly different than what I have seen in textbooks so far.

Let $V$ be a finite dimensional vector space over a field $F$.

Let $T(V) = \oplus_{k=0}^{\infty} T^{k}(V)$ where $T^k(V) = V \otimes V \otimes \ldots \otimes V$ is tensor product of $k$ modules.

Let $\wedge V$ denote the exterior algebra of the $F$-module $V$, that is the quotient of the tensor algebra $T(V)$ by the ideal $A(M)$ generated by all $v \otimes v$ for $v \in V$.

Let $x \in \wedge V$. So that $x = \sum_{k\geq 0} x_k$ where each $x \in \wedge^k V = T^k(V)/A^k(V)$

How do you prove that $x$ is invertible if and only if $x_0 \neq 0$

• Pardon my not knowing anything really about exterior algebras, but what does it mean for an $x$ to be invertible? Anticommutativity precludes an identity element wrt the wedge product, so it must mean something else..
– anon
Oct 19 '11 at 23:20
• @anon: T^0(V) is just a copy of the field, so F ≤ ⋀V. Maybe the keyword is "graded commutative". (v∧w)∧x = x∧(v∧w) since that is two "swaps", (v∧w)∧x = −v∧x∧w = −−x∧v∧w. Oct 19 '11 at 23:35

The set $I = \oplus_{k=1}^\infty T^k(V)$ is an ideal of $T(V)$ containing $A(V)$. I believe $\bigwedge V$ is a finite dimensional local algebra with unique maximal ideal $I/A(V)$. In particular, every element of $I/A(V)$ is nilpotent. In fact if $\dim(V) = n$, then $x^{n+1} = 0$ for every $x \in I$. In particular, the geometric series $\frac{1}{1-x} = \sum_{k=0}^\infty x^k$ converges (is a finite sum plus a bunch of 0s) for every $x \in I$, and shows that such elements are invertible. Multiplying by a nonzero element of the field, gives the result.
If $$x$$ is invertible, then there exists $$y$$ such that $$x\wedge y = 1$$. Write $$x = x_0+\tilde x$$ and $$y = y_0 + \tilde y$$, where $$\tilde x,\tilde y$$ are the parts of degree $$\geq 1$$. Then \begin{align} x\wedge y &= x_0y_0 +(\underbrace{x_0\tilde y + y_0\tilde x +\tilde x\wedge\tilde y}_{\text{degree }\geq 1})\\ &= x_0y_0 = 1 \end{align}
Then $$x_0\neq 0$$.
On the other hand, if $$x_0 = 0$$ then $$x$$ can't be invertible. That is because, in this case, $$x^{\dim V+1} =0$$, and zero divisors aren't units.