Bourbaki

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 uu of EE to be such that u2=1u^2 = 1, it is necessary and sufficient that 12(1−u)\frac{1}{2}(1 - u) be a projector in EE; then uu is the difference of the two projectors 12(1+u)\frac{1}{2}(1 + u) and 12(1−u)\frac{1}{2}(1 - u).

Indeed, in the ring L(E)\mathscr{L}(E), the relation (12(1−u))2=12(1−u)\left( \frac{1}{2}(1 - u) \right)^2 = \frac{1}{2}(1 - u) is equivalent to u2=1u^2 = 1. The rest is trivial.

An endomorphism uu of EE such that u2=1u^2 = 1 (which is then necessarily an automorphism of EE equal to its inverse) is called an involution. Put φ=12(1−u)\varphi = \frac{1}{2}(1 - u), U−=φ(E)U^- = \varphi(E), U+=φ−1(0)U^+ = \varphi^{-1}(0) (=ω(E)= \omega(E) on putting ω=12(1+u)\omega = \frac{1}{2}(1 + u)); it is known that EE is the direct sum of U+U^+ and U−U^- (Chap. VIII, § 1, No. 1), and we have u(x)=xu(x) = x in U+U^+, u(x)=−xu(x) = -x in U−U^-. When AA is a field and EE is finite-dimensional, it follows, since AA is of characteristic ≠2\neq 2, that the only eigenvectors ≠0\neq 0 of uu 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.

Translated with machine help, not yet reviewed by a person.