关于 Engel Lie 代数 Zel'manov 全局零化定理

我给出了 Zel'manov 定理的证明，即如果$L$是一个特征为零的域$F$上的$n$-Engel Lie 代数，那么$L$是(全局)零化的。这是一个非常重要的结果，扩展了 Kostrikin 定理，即当$F$的特征为零或某个素数$p>n$时，$L$是局部零化的。Zel'manov 的证明包含一些惊人的原创思想，我写下这篇注释是为了理解他的论点。我希望我的努力对其他数学家理解这一卓越定理有所帮助。