约的，当且仅当字的所有循环置换是简约的。
规范形式.带有生成集合 "S" 的群 "G" 的规范形式是对给每个 "G" 的元素的 "S" 形成的一个简约字的选择。例如:
在字上的运算.两个字的乘积可以通过串接获得:是两个字都是简约的，乘积也可能不是简约的。字的逆可以通过反转每个生成元，并对换元素的次序来获得:字和它的逆元的乘积可以简约为空字:可以通过共轭把一个生成元从字的开始处移动到结尾处:
字问题.给定一个群 "G"