Lie Theory
Pathway
Pages are grouped by how many dependency steps into this group they sit. Everything a page needs from this group appears above it.
Level 0
1 pageThis page rebuilds locally the Lie-theoretic interface needed for the center of the universal enveloping algebra: the tensor-quotient definition of U(g), the PBW basis and…
13 definitions, 10 lemmas, 11 propositions, 9 theorems, 2 corollariesExamples & counterexamples →