若"G"内的每一个(非单位)元素和其逆元素相同(故"a" = "e")，则ord("a") = 2且因此"G"会是个阿贝尔群，因为"ab"=("bb")"ab"("aa")="b"("ba")("ba")"a"="ba"。此一叙述的相反不一定为对；例如，整数同余6之(加法)循环群Z为可换的，但数字2的阶为3(2+2+2 = 6 ≡ 0 (mod 6))。阶两种概念之间的关系如下：若给出一个由"a"产生之子群则对于任一个整数"k"，会有「"a" = "e"   若且唯若   ord("a") 整除