かなりスローペースで、リー群の勉強が進んでいる。
エンゲルの定理というものがあるみたいだが、リー代数のべき零という概念が関係しているらしい。
群のべき零みたいな話だと困ると思ったが、線形代数のべき零行列みたいな話っぽいので少し安心。