For the intended module, index a basis by for , and use
with . This makes the basis endpoints distinct, identifies the lowering operator, and includes its missing raising action at . These are the necessary indexing corrections to the printed display. The same definition for supplies the trivial module needed for classification.
Directly on ,
These hold at the endpoints too, proving the three defining relations. Finally
Thus the Casimir element acts by that scalar on the whole module.

Articles by others on the same topic (0)

There are currently no matching articles.