Lemma 9
Tag 02DN, permanent. Cite it as [Bourbaki, Tag 02DN].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be a commutative star algebra. Every character of A is hermitian and the Gelfand transform is a morphism of star algebras of A into .
It is enough to prove the first assertion (proposition 7 of I, p. 38 and lemma 3 of I, p. 98). Let be a character of A. For every hermitian element of A, one has Sp (prop. 4 of I, p. 106). Consequently, the character is hermitian (prop. 1 of I, p. 95).
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.