Expand the square using and :ThusThis 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 yieldsIn 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. ThereforeThe 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, andThe 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
There are currently no matching articles.