Expand the square using and :
Thus
This sum of two linear projections criterion holds in every characteristic; it uses an equality of linear maps, not cancellation of factors in the noncommutative associative algebra of linear endomorphisms.
Suppose first that is a linear projection. Part (i) gives . Multiplying on the left by gives , and multiplying on the right by gives . Combining them yields
In a field of characteristic different from two, the nonzero scalar is invertible. Hence , and too. Conversely these two zero products make the expansion in part (i) equal zero. Therefore
The argument cancels a nonzero scalar, never a possibly singular linear map.
No. On any nonzero vector space over a field of characteristic two, take . Both are linear projections, and
The correct condition from part (i) in this characteristic is , because minus and plus coincide. Vanishing of both products remains sufficient, but is no longer necessary.

Articles by others on the same topic (0)

There are currently no matching articles.