リー代数
Every complex semisimple Lie algebra has a unique (up to isomorphism) split real Lie algebra, which is also semisimple, and is simple if and only if the complex Lie algebra is.