Quillen’s lemma
Let
Proof
Corollaries
The following algebras fulfil the hypothesis:
- The Universal enveloping algebra of a finite-dimensional Lie algebra, since by Poincaré-Birkhoff-Witt theorem
.𝐺 ∙ 𝑈 ( 𝔤 ) = 𝑆 ∙ 𝔤
Let
Proof
The following algebras fulfil the hypothesis: