<"S"|"R"> 的群，想法是选取最小的 <"S"> 的商群，使得 "R" 的每个元素被当作同单位元一样。注意 "R" 可能不是子群也就更不是 <"S"> 的正规子群了，所以我们不能用 "R" 天真的求商。解决方式是在 <"S"> 选取 "R" 的正规闭包"N"，它被定义为包含 "R" 的 <"S"> 的最小正规子群。群 <"S"|"R"> 接着被定义为商群"S" 的元素叫做 <"S"|"R"> 的生成元而 "R" 的元素叫做关系元。群 "G" 被称为有展示 <"S"|"R"> 如果 "G" 同构于