Remark 1

Tag 0773, permanent. Cite it as [Bourbaki, Tag 0773].

We have $\det(u_s) = \det(u)$ and $\operatorname{Tr}(u_s) = \operatorname{Tr}(u)$ .

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

Cited by

Nothing.