Concepts
Connected non-abelian Lie group lacking nontrivial connected normal subgroups
epic · Q1003162