xy", "z""xzz" 和 "y""zxx""yz" 都是集合 {"x", "y", "z"} 形成的字。字在自由群和展示理论中扮演重要角色，并是组合群论的中心研究对象。
定义.设 "G" 是群，并设 "S" 是 "G" 的子集。"S" 形成的字是如下形式的表达式这里的 "s"...,"s" 是 "S" 的元素并且每个 "ε" 都是 ±1。数 "n" 叫做字的长度。用 "S" 形成的每个字表示 "G" 的一个元素，也就是这个表达式的乘积。按惯例，单位元可以被表示为空字，它