时候还等价于 1。如果我们接着让 "N" 是由 "R" 的所有共轭的集合 "x" "R x" 生成的 "F" 的子群，则 "N" 是 "F" 的正规子群；而 "N" 的每个元素，在被当作在 "D" 中的乘积的时候，也被求值为 1。因此 "D" 同构于商群"F" /"N"。我们接着称 "D" 有展示
形式定义.设 "S" 是集合并设 <"S"> 是在 "S" 上的自由群。设 "R" 是在 "S" 上的字的集合，所以 "R" 自然的给出了一个 <"S"> 的子集。要形成带有展示的