Lemma 2
Tag 0DLN, permanent. Cite it as [Bourbaki, Tag 0DLN].
Algebra, chapter IX, § 6. Propriétés spéciales aux formes hermitiennes
For an endomorphism of to be such that , it is necessary and sufficient that be a projector in ; then is the difference of the two projectors and .
Indeed, in the ring , the relation is equivalent to . The rest is trivial.
An endomorphism of such that (which is then necessarily an automorphism of equal to its inverse) is called an involution. Put , , ( on putting ); it is known that is the direct sum of and (Chap. VIII, § 1, No. 1), and we have in , in . When is a field and is finite-dimensional, it follows, since is of characteristic , that the only eigenvectors of are the elements ≠ 0 in U^+ or in U^-; they correspond respectively to the eigenvalues + 1 and -1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.