首先,利用量子群Uq (D4)的已知的Gr?bner-Shirshov基和Chibrikov的双自由模方法来计算量子群Uq(D4)上不可约模Vq(λ)的一个Gr?bner-Shirshov对,然后在Uq(D4)的适当形式U’q(D4)中取q=1得到D4型单李代数的泛包络代数U(D4)上不可约模V(λ)的一个Gr?bner-Shirshov对.