リー群
リー群は標準的に、離散リー群、単純リー群、可換リー群に以下のように分解される： ここでリー群 "G" に対して