Proposition 1
Tag 0257, permanent. Cite it as [Bourbaki, Tag 0257].
Théories spectrales, chapter I, § 1. Spectres et caractères
Let A be an algebra and . One has Sp Sp.
By passing to , we reduce to the case where A possesses a unit element . It is then enough to prove that, if is such that admits an inverse , then is invertible. Put . Since , one has
and analogously . Since , one sees that is invertible.
If A is a unital algebra and if , the preceding proposition implies that Sp() Sp(), but one can have Sp() Sp() (cf. I, p. 153, exer. 3).
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.