Remark 19
Tag 0DMS, permanent. Cite it as [Bourbaki, Tag 0DMS].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
Suppose that the conditions of No. 3 are satisfied. Let be a square matrix of order over ; now prove that for every square submatrix of (obtained by deleting in a certain number of rows and the columns having the same indices as these rows), one has (notations of Exercise 17) (apply suitably formula (4) of Exercise 17). If in particular is a normal matrix, (cf. Exercise 17 b)).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.