MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 edited tags; edited title

On a generalization of theorem of Jordan on decomposition Decomposition of projectors: A generalized format

show/hide this revision's text 1

On a generalization of theorem of Jordan on decomposition of projectors

Let $V=\mathbb C^n$ be a vector space with (linear) maps $P_1:V\rightarrow V$ and $P_2:V\rightarrow V$ that are projectors , i.e. they satisfy $P_i^2=P_i$.

It is not hard to understand the structure of such a pair. One could see that $P_i$'s can be simultaneously block diagonalized with blocks of size $2$. For this see, http://en.wikipedia.org/wiki/Principal_angles and also for example paper of Halmos with the title "two subspaces".

My question is about a generalization of this to pairs of $P_1, P_2$ where $P_i$'s satisfy a different (simple) algebraic relation say $P_i^3= P_i$.

I want to see whether they can be block-digonalized with blocks of size $O(1)$ independent of $n$.