在群论中，字是群的任何元素和它们的逆元写成的乘积。例如，如果 "x", "y" 和 "z" 是群 "G" 的元素，则 "xy", "z""xzz" 和 "y""zxx""yz" 都是集合 {"x", "y", "z"} 形成的字。字在自由群和展示理论中扮演重要角色，并是组合群论的中心研究对象。
定义.设 "G" 是群，并设 "S" 是 "G" 的子集。"S" 形成的字是如下形式的表达式这里的 "s"...,"s" 是 "S" 的元素并且每个 "ε" 都是 ±1。数 "n" 叫做字