如果一个圆，绕同一平面内与它不相交的一条直线旋转，那么形成的旋转面叫做环面．
代数群的一个重要子群。指与n阶可逆对角矩阵全体所成的群D(n，K)同构的代数群。环面的有理表示都是完全可约的，不可约表示都是一维的。所以环面的表示理论被特征标群完全刻画。一个代数群中的极大环面子群(简称极大环面)在这个代数群的结构与表示理论中起着至关重要的作用。不同的极大环面在代数群中是互相共轭的。
