半単純リー代数
複素半単純リー代数のランクはそのカルタン部分代数の次元に一致する。