这些边生成的自由群上一个约束，给出有一个约束的群呈示。因此，例如给定欧几里得平面formula_9，设群元素formula_10在这个平面上有作用formula_11而formula_12。则formula_13生成格formula_14，而环面由商空间给出（一个齐性空间）formula_15。更一般地，两个生成元formula_13可用来生成一个基本平行四边形的平行四边形镶嵌。对环面，在两个字母的自由群上的约束由formula_17给出。这个约束平凡地包含在如上给出的平面上的作用中。另外，平面可用