Remark 7
Tag 0DMG, permanent. Cite it as [Bourbaki, Tag 0DMG].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
We suppose that satisfies the conditions at the beginning of § 7 and that is of finite dimension . Let be a non-degenerate positive hermitian form on . a) Now prove that every similitude for can be written in one and only one way as the product of a homothety of ratio in , and of a unitary transformation. b) For every basis of , show that there exists one and only one orthonormal basis of satisfying the following conditions: 1° for every such that , the subspace generated by is identical with the subspace generated by ; 2° one has in , for every index (cf. § 6, no 1, prop. 1). c) Deduce from b) that for every invertible square matrix of order over , there exists one and only one pair of matrices of order , such that is a unitary matrix, that has only zeros below its diagonal and diagonal terms belonging to and , and finally that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.