Schur's lemma
Quillen's lemma
Let π΄ be a π-monoid over π and π be a simple π΄-module.
If π΄ has a filtration {πΉππ΄}βπ=1 such that 1 βπΉ0π΄ and the associated graded algebra is a finitely-generated commutative π-algebra,
then every π΄-module endomorphism π βπ΄π¬ππ½(π,π) is an algebraic element over π.1
#m/thm/module
Proof
Corollaries
The following algebras fulfil the hypothesis:
- The Universal enveloping algebra of a finite-dimensional Lie algebra, since by PoincarΓ©-Birkhoff-Witt theorem πΊβπ(π€) =πβπ€.
#state/develop | #lang/en | #SemBr