Proposition 8
Tag 028D, permanent. Cite it as [Bourbaki, Tag 028D].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let A be a commutative Banach algebra. The following four sets are equal:
(i) The kernel of the Gelfand transform;
(ii) The set of elements of A such that Sp;
(iii) The set of quasi-nilpotent elements of A;
(iv) The radical of A.
Let us denote these sets by , respectively. One has (Prop. 6, a)), and I, p. 28, Cor. 5). By definition, the set is the intersection of the regular maximal ideals of A; it is therefore the intersection of the kernels of the characters of A (th. 2 of I, p. 30), which is equal to .
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.