In the Wikipedia article on Hilbert's Nullstensatz,
<http://en.wikipedia.org/wiki/Hilbert%27s_Nullstellensatz>
the following application of the Weak Nullstensatz is mentioned:



> 
> Commuting matrices
> 
> 
> The fact that commuting matrices have a common eigenvector – and hence by induction stabilize a common flag and are simultaneously triangularizable – can be interpreted as a result of the weak Nullstellensatz, as follows: commuting matrices form a commutative algebra $K[A\_1,\ldots,A\_k]$ over $K[x\_1,\ldots,x\_k];$ the matrices satisfy various polynomials such as their minimal polynomials, which form a proper ideal (because they are not all zero, in which case the result is trivial); one might call this the '''characteristic ideal''', by analogy with the characteristic polynomial.
> 
> 
> One then defines an eigenvector for a commutative algebra as a vector $v$ such that for all $x \in A$ one has $x(v) = \lambda(x)\cdot v$ for a linear functional $\lambda\colon A \to K.$ This simply linearizes the definition of an eigenvalue, and is the correct definition for a common eigenvector, as if $v$ is a common eigenvector, meaning $A\_i(v)=\lambda\_i v,$ then the functional is defined as $\textstyle{\lambda(c\_0 I + c\_1 A\_1 + \cdots c\_k A\_k) := c\_0 + \sum c\_i \lambda\_i}$ (treating scalars as multiples of the identity matrix $A\_0 := I$, which has eigenvalue 1 for all vectors), and conversely an eigenvector for such a functional $\lambda$ is a common eigenvector. Geometrically, the eigenvalue corresponds to the point in affine $k$-space with coordinates $(\lambda\_1,\ldots,\lambda\_k)$ with respect to the basis given by $A\_i.$
> 
> 
> Then the existence of an eigenvalue $\lambda$ is equivalent to the ideal generated by (the relations satisfied by) $A\_i$ being non-empty, which exactly generalizes the usual proof of existence of an eigenvalue existing for a single matrix over an algebraically closed field by showing that the characteristic polynomial has a zero.
> 
> 
> 


I am somewhat struggling to make sense of that. The Weak Nullstellensatz says that I find a functional $\lambda \colon K[A\_1, \dots, A\_k] \to K$, and $\lambda(A\_i)$ is an eigenvalue of $A\_i$. But how do I conclude that a common eigenvector exists?



Commuting Matrices and the Weak Nullstellensatz
My "solution" is a bit strange, but I hope it is correct.


We regard $V$ as a module over $A$. $X = {\rm Spec}\ A$ is zero-dimensional. Then (as a sheaf on $X$) $V$ decomposes into a direct sum of sheaves over the finitely many points of $X$. This corresponds to a decomposition $V$ into subspaces corresponding to different eigenvalues in the sense you described. We must have a point $p$ such that the piece $V\_p$ above it (which is the localization of $V$ at the maximal ideal $\mathfrak{m}$ of $A$ corresponding to $p$) is nonzero. Localizing at this ideal and restricting ourselves to the subspace $V\_p$, we may assume that $A$ is local. If there would be no common eigenvector in $V\_p$, then we would have $\mathfrak{m}V\_p = V\_p$, so by Nakayama's lemma $V\_p = 0$, a contradiction.


darij: Does it deserve to be "awfully sophisticated" by your standards?


