环面（例如formula_3）。对于紧李群，极大子环对应到李代数中的极大阿贝尔子代数。任意子环皆包含于某个极大子环，任两个极大子环彼此共轭。极大子环的维度称为该群的秩。
约化群.设formula_1为formula_5上的群概形，若存在平展拓扑中的覆盖formula_6，使得formula_7同构于formula_8，其中formula_9配上自然的群结构，则称formula_1是环面。若formula_11，称formula_1为可对角化或子环（面）。今设formula_