Corollary 1
Tag 02DP, permanent. Cite it as [Bourbaki, Tag 02DP].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be a star algebra and a normal element of A. Then .
Since the star subalgebra of A generated by and is commutative, one may suppose that A is commutative. In this case, the cor. results from th. 1, from example 2 of I, p. 102 and from th. 1 of I, p. 24.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.