Proposition 5
Tag 02DJ, permanent. Cite it as [Bourbaki, Tag 02DJ].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be a unital star algebra and B a star subalgebra of A containing the unit element of A. Then B is a full subalgebra of A. In particular, one has Sp Sp for every in B.
Let be a hermitian element of B. Since Sp (Prop. 4), Prop. 6 of I, p. 28 shows that Sp Sp. In particular, is invertible in B if and only if it is invertible in A.
Let now be any element of B invertible in A. Then is invertible in A, and is invertible in A. Since is hermitian, what precedes shows that is invertible in B. This implies that is right-invertible in B. Analogously, one verifies that is left-invertible in B, and hence that is invertible in B. Thus, B is a full subalgebra of A.
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.