摘要

主要介绍了Grebner-Shirshov基理论的历史;回顾了自由李代数的合成钻石引进;找到了Lie(X;Ω)的一组线性基底;作为应用,证明了Lie(X;Ω)是带有多元算子的自由李代数.