Proposition 22
Tag 02F2, permanent. Cite it as [Bourbaki, Tag 02F2].
Théories spectrales, chapter I, § 6. Algèbres stellaires
The canonical mapping of into Stell(G) is injective and has dense image.
The image of is dense by definition of the enveloping star algebra of an involutive normed algebra. Since the left regular representation is faithful, the injectivity of follows from the equality .
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.