。注意 "R" 可能不是子群也就更不是 <"S"> 的正规子群了，所以我们不能用 "R" 天真的求商。解决方式是在 <"S"> 选取 "R" 的正规闭包 "N"，它被定义为包含 "R" 的 <"S"> 的最小正规子群。群 <"S"|"R"> 接着被定义为商群"S" 的元素叫做 <"S"|"R"> 的生成元而 "R" 的元素叫做关系元。群 "G" 被称为有展示 <"S"|"R"> 如果 "G" 同构于 <"S"|"R">。实践中经常把关系元写为 formula_8 = formula_9 形式，这里的