4
$\begingroup$

Let $V$ be a vector space over $F$ such that $charF \neq 2$

Can anyone help me think of $4$ idempotent operators $E_1,E_2,E_3,E_4$ $:V\to V$ such that $E_1+E_2+E_3+E_4=I$ but $\{E_1,E_2,E_3,E_4 \}$ doesn't partition the identity on V (e.g. $E_iE_j\neq0$ when $i\neq j$)?

  • 0
    @Pierre-YvesGaillard:$I$think you're probably right, but you can have that as the case for 3 idempotent transformations2011-09-23

1 Answers 1

6

A partial answer: At least in characteristic 0 and finite dimension this is impossible.

The trace of an idempotent matrix equals its rank (as can be seen by choosing a basis that extends a basis for the range of the linear operator). On the other hand, the sum of the four traces must be $\mathop{\rm Tr}I$, which is the dimension of the entire vector space. But since $E_1+E_2+E_3+E_4=I$, this means that the ranges of the four operators must be direct summands of the entire space. Then choose a basis for each of the summands, combine them to a basis for $V$ and write down the matrices in this basis. For each row only one of the matrices is allowed to have nonzero entries, but since the sum of the matrices is given, this determines them completely, and it is seen that indeed they partition the identity.

On the other hand, there's a trivial solution in characteristic $3$: simply let $E_1=E_2=E_3=E_4=I$.

  • 0
    But if you want distinct solutions you could take diag(1,1,0,0,0), diag(1,0,1,0,0), diag(1,0,0,1,0), and diag(1,0,0,0,1) in $(\mathbb F_3)^5$.2011-09-23