Remark 14
Tag 0DMN, permanent. Cite it as [Bourbaki, Tag 0DMN].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
On suppose remplies les conditions du no 3. Soient un endomorphisme de , les deux endomorphismes hermitiens positifs de , tels que l’on ait (exerc. 13 et 10 d)).
a) Montrer qu’il existe un endomorphisme unitaire tel que et en particulier que et sont semblables (remarquer que et que si est le sous-espace orthogonal à , on a pour tout . Pour que soit déterminé de façon unique, il faut et il suffit que soit bijective. Pour qu’on puisse prendre permutable avec , il faut et il suffit que soit normal.
b) Deduce from a) that every square matrix of order over can be written , where and are unitary matrices and a diagonal matrix whose elements are , and whose squares are the eigenvalues of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.