Remark
Tag 02F1, permanent. Cite it as [Bourbaki, Tag 02F1].
Théories spectrales, chapter I, § 6. Algèbres stellaires
In general, the left regular representation of Stell(G) in is not faithful. One can prove that it is so if and only if there exists on a positive linear form such that and for every (one then says that the group G is amenable, cf. EVT, IV, p. 73, exercise 4).
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.