リー代数formula_1の中心は可換イデアルとなるため、もしformula_1が半単純であれば、その中心はゼロである。