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$

 A: 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.
A: 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.
