| |
| | PlanetMath: Poincaré-Birkhoff-Witt theorem |
 | | Clearly this rewriting proces must end, and this concludes the induction step. |
 | | The proof of linear independence of the PBW-monomials is slightly more difficult, but can be found in most introductory texts on Lie algebras, such as the classic below. |
 | | Cross-references: linear independence, contains, argument, term, linear combination, basis, index, induction, map, span, easy to see, universal enveloping algebra, monomials, linear order, field, Lie algebra |
| planetmath.org /encyclopedia/PoincareBirkhoffWittTheorem.html (160 words) |
|