群的撓元

如果 是一個群，則 的 （也稱為 的撓）定義為 中元素 的集合，使得對於某個自然數 ，，其中 是群 的單位元。

在 是阿貝爾群 的情況下， 是一個子群，稱為 的撓子群。如果 僅包含單位元，則群 稱為無撓群。