群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。变换群是几何学研究的重要对象。即由变换构成的群。纯不连续群(properly discontinuous group )是双全纯变换群的一种子群。