Hi! This is my first question here, so please excuse me if it is too elementary.


I was wondering if the notion of a simultaneous decomposition into eigenspaces could be generalized in a special way I describe below. Let $V$ be a vector space over an algebraically closed field $k$ and let $T \subset \mbox{End}(V)$ be a finite dimensional subspace consisting of pairwise commuting and diagonizable endomorphisms. Than we have a decomposition 


$\begin{align\*}
V = \bigoplus\_{\lambda \in T^{\\*}} V\_{\lambda},
\end{align\*}$


where $V\_{\lambda} = \lbrace v\in V \hspace{0.3em}\lvert \hspace{0.3em} xv = \lambda v \mbox{ for all } x\in T \rbrace$ and $T^{\\*}$ is the dual space of $T$.


I was wondering now if a very similar thing in another context might be possible as well. Some notations first. Let $V$ be as above and let $f \in \mbox{End}(V)$. Then set
$\mbox{Hau}(f,\lambda) = \bigcup\_{n\ge 0} \mbox{ker}(f-\lambda\cdot\mbox{id})^n$. It is known that $V = \bigoplus\_{\lambda\in k} \mbox{Hau}(f,\lambda)$ if and only if $f$ is locally finite.


Now let $S\subset \mbox{End}(V)$ be an abelian, finitely generated subalgebra such that each $x\in S$ is locally finite. By $S^{\times}$ I denote the set of algebra homomorphisms $S\to k$ (that map $1$ to $1$) and for $\chi\in S^{\times}$ I denote 


$\begin{align\*}
\mbox{Hau}\_s(S,\chi) = \bigcap\_s\mbox{Hau}(s,\chi(s)),
\end{align\*}$


where $s$ runs over all $s\in S$. My question now is the following: is it true that


$\begin{align\*}
V = \bigoplus\_{\chi\in S^{\times}}\mbox{Hau}\_s(S,\chi) ?
\end{align\*}$


I have serious difficulties proving it. My attempts so far have been that $S$ must be isomorphic to $k[x\_1, \dots, x\_l]/I$ for some $l$, and I tied induction over $l$. The above equality seemed basic enough for me to be found in any text on linear algebra - I thought. But I did not find it. I would be very very glad for any pointers to literature or anything else. Or is the statement false in this way?


Thank you very much.


EDIT: 


To give you my motivation for such a question: In the representation theory in the context of category $\mathcal{O}$, $\mathcal{O}$ can be decomposed into blocks, parameterised by algebra homomorphisms $\chi: \mbox{Z}(\mathfrak{g})\to k$, where each $M\in \mathcal{O}\_{\chi}$ satisfies 


$\begin{align\*}
\forall z\in \mbox{Z}(\mathfrak{g}) \forall v\in M: (z-\chi(z))^n v = 0 \mbox{ for some } n>0 \mbox{ depending on } z.
\end{align\*}$


Since $M$ is an $\mbox{U}(\mathfrak{g})$-module, we get an algebra homomorphism $\mbox{Z}(\mathfrak{g})\to \mbox{End}(M)$. $\mbox{Z}(\mathfrak{g})$ is known to be isomorphic to a polynomial algebra in finitely many variables. The image of $\mbox{Z}(\mathfrak{g})$ under this morphism would play the role of $S$ in the above paragraph, and if I had the statement I want to prove, it would explain why each $\mbox{U}(\mathfrak{g})$-module decomposes into a direct sum, where each summand belongs to a block...



Simultaneous decomposition into generalized eigenvectors
I'm not sure if this precise formulation is standard linear algebra, but it is true. The important point is that $S$ acts locally finitely on $V$ (be careful, this only works because $S$ is commutative): if $v$ is a random vector, and $x\_i$'s generators of $S$, then there's some minimal $m\_i$ such that $x\_i^{m\_i}v=a\_{m\_i-1}x\_i^{m\_i-1}v+\cdots$, and the space $S\cdot v$ is spanned by monomials in the $x\_i$'s where the power of $x\_i$ is less than $m\_i$ (just check that any linear combination of these times an $x\_i$ can written in this form, using the relation above). 


Thus, one can decompose any vector $v\in V$ by simply considering $S\cdot v$ and decomposing this using the finite dimensional result. This shows that $V$ is the sum of these subspaces, and their intersections are trivial essentially by definition.


For category $\mathcal{O}$ this is really unnecessary though; you can consider the action of the center on the endomorphism space (which is finite dimensional) of your module, and the projections of the identity to the different generalized eigenspaces will be idempotents projecting to the desired block decomposition.


