群表示

群的表示是对集合 和自由群 自由群 的子集 的描述，自由群 由 生成，写作 ，其中 （单位元）通常用来代替 。群表示定义了自由群 自由群 关于由 生成的正规子群的商群，该商群是由生成元 在服从关系 的条件下生成的群。

群表示的例子包括以下内容。

1. 表示 定义了一个群，同构于有限阶 的 二面体群 ，它是正 边形的对称群。

2. 亏格为 的曲面的基本群具有以下表示

3. 考克斯特群。

4. 辫群。