Lemma 1
Tag 0DLF, permanent. Cite it as [Bourbaki, Tag 0DLF].
Algebra, chapter IX, § 6. Propriétés spéciales aux formes hermitiennes
Suppose that is a field and a Hermitian form on . If all the vectors of are isotropic, is a commutative field of characteristic 2, the antiautomorphism is the identity and is alternating.
Indeed, on expanding , taking into account the hypotheses , we obtain the relation for arbitrary in . Since is , there exist in such that . Writing that , we obtain for every . Taking first , we see that is of characteristic 2; the relation then shows that is the identity, hence is commutative and is alternating.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.