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.

Articles by others on the same topic (0)

There are currently no matching articles.