Corollary 2
Tag 0DLQ, permanent. Cite it as [Bourbaki, Tag 0DLQ].
Algebra, chapter IX, § 6. Propriétés spéciales aux formes hermitiennes
Suppose that is a field and that is finite-dimensional. In order that a projector in be such that and are orthogonal (and consequently non-isotropic), it is necessary and sufficient that .
It suffices to apply prop. 4 to the involution .
A projector satisfying the condition of Corollary 2 is called an orthogonal projector for .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.