- If G is a simply-connected compact Lie group, is it true that its Lie algebra must be semi-simple?
What I found is that https://en.wikipedia.org/wiki/Compact_group#Classification: The classification of compact, simply connected Lie groups is the same as the classification of complex semisimple Lie algebras. Indeed, if K is a simply connected compact Lie group, then the complexification of the Lie algebra of K is semisimple. Conversely, every complex semisimple Lie algebra has a compact real form isomorphic to the Lie algebra of a compact, simply connected Lie group.
- Does thie above text imply that "If G is a simply-connected compact Lie group, is it true that the complexification of its Lie algebra must be semi-simple?"