UNIT:Lie代数@2026-08-15 参考文献 [1] N. Bourbaki, Éléments de mathématique, Groupes et algèbres de Lie, Chapitre 1, Springer, 2007. [2] J. E. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, 1972. [3] O. Nash, “Engel’s Theorem in Mathlib”, Journal of Automated Reasoning 67.18 (2023). [4] Mathematics Stack Exchange, “When is the Killing form null?”. https://math.stackexchange.com/q/310272 [5] Mathematics Stack Exchange, “Semisimplicity of Lie algebras and non-degeneracy of associated bilinear forms of representations”. https://math.stackexchange.com/q/3980952