群的挠元

如果 是一个群，则 的 （也称为 的挠）定义为 中元素 的集合，使得对于某个自然数 ，，其中 是群 的单位元。

在 是阿贝尔群 的情况下， 是一个子群，称为 的挠子群。如果 仅包含单位元，则群 称为无挠群。