Bourbaki

Example

Tag 003G, permanent. Cite it as [Bourbaki, Tag 003G].

Algebra, VIII, p. 47, § 3. Simple Modules

∗* Let A be a C\mathbf{C}-algebra generated by a countable family of elements; it has countable dimension over C\mathbf{C}. Let M be a simple A-module; it is monogenous, so admits a countable basis over C\mathbf{C}. Since the field C\mathbf{C} is not countable (Gen. Top., IV, §4, No. 1, p. 44), we have [M:C]<[M :\mathbf{C}]< Card(C\mathbf{C}). Therefore the endomorphisms of the A-module M are the homotheties αM\alpha_M with α∈C\alpha \in \mathbf{C}. This applies, in particular, when A is the universal enveloping algebra of a finite-dimensional Lie algebra over C(\mathbf{C}(Lie, I, §2, No. 7, p. 21, Corollary 3).∗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

Transcribed from the printed edition, 2023, Springer Nature. Not translated.