Corollary 1
Tag 09V9, permanent. Cite it as [Bourbaki, Tag 09V9].
Lie Groups and Lie Algebras, chapter I, § 2. Enveloping algebra of a Lie algebra
Suppose that is a free -module. Let be a sub-K-module of .
If, in the notation of diagram (3), the restriction of to is an isomorphism of onto , then the restriction of to is an isomorphism of onto a supplement of in .
The restriction to of is a bijection of onto ; so is the restriction to . Hence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.