リー群
An equivalent definition of a simple Lie group follows from the Lie correspondence: A connected Lie group is simple if its Lie algebra is simple. An important technical point is that a simple Lie group may contain "discrete" normal subgroups, hence being a simple Lie group is different from being simple as an abstract group.