Lemma 6
Tag 025I, permanent. Cite it as [Bourbaki, Tag 025I].
Théories spectrales, chapter I, § 1. Spectres et caractères
Let and be two-sided ideals of A, I a primitive ideal of A. If I contains in particular, if I contains , then I contains or .
Let be an irreducible representation with kernel I. If and , Lemma 5, b) proves that , whence .
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.