泛包络代数的Poincare-Birkhoff-Witt基