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.
Articles by others on the same topic
There are currently no matching articles.