“A real, connected, semi-simple Lie group G is compact if and only if its corresponding real Lie algebra is compact.” https://campusvirtual.univalle.edu.co/moodle/pluginfile.php/66702/mod_resource/content/0/Lie-Stetz-U-Oregon.pdf