主要介绍了Grticbner—Shirshov基理论的历史；回顾了自由李代数的合成钻石引进；找到了Lie（X；Ω）的一组线性基底；作为应用，证明了Lie（X；Ω）是......