，在被当作在 "D" 中的乘积的时候，也被求值为 1。因此 "D" 同构于商群 "F" /"N"。我们接着称 "D" 有展示
形式定义.设 "S" 是集合并设 <"S"> 是在 "S" 上的自由群。设 "R" 是在 "S" 上的字的集合，所以 "R" 自然的给出了一个 <"S"> 的子集。要形成带有展示的 <"S"|"R"> 的群，想法是选取最小的 <"S"> 的商群，使得 "R" 的每个元素被当作同单位元一样。注意 "R" 可能不是子群也就更不是 <"S"> 的正规子群了，所以我