Exercice 20, § 6

Tag 02FN, permanent. Cite it as [Bourbaki, Tag 02FN].

Théories spectrales, I, p. 183

Soient A une algèbre stellaire, I un idéal bilatère fermé de A et B une sous-algèbre involutive fermée de A. Alors B+I est une sous-algèbre involutive fermée de A, et il existe un isomorphisme isométrique $B + I/I\rightarrow B/B\cap I$ .