Remark

Tag 0DLI, permanent. Cite it as [Bourbaki, Tag 0DLI].

Algebra, chapter IX, § 6. Propriétés spéciales aux formes hermitiennes

The last assumption of the corollary is satisfied when $\mathbf{J}$ is the identity, and every element of $\mathbf{A}$ is the square of an element of $\mathbf{A}$ (for example when $\mathbf{A}$ is algebraically closed).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.