Example
Tag 003G, permanent. Cite it as [Bourbaki, Tag 003G].
Algebra, VIII, p. 47, § 3. Simple Modules
Let A be a -algebra generated by a countable family of elements; it has countable dimension over . Let M be a simple A-module; it is monogenous, so admits a countable basis over . Since the field is not countable (Gen. Top., IV, §4, No. 1, p. 44), we have Card(). Therefore the endomorphisms of the A-module M are the homotheties with . This applies, in particular, when A is the universal enveloping algebra of a finite-dimensional Lie algebra over Lie, I, §2, No. 7, p. 21, Corollary
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.