リー群
群論において、単純リー群 (simple Lie group) は連結非可換リー群 "G" であって非自明な連結正規部分群を持たないものである。