位数 (群論)
G を位数 n の有限群とし、d を n の約数とする。G の位数 d の元の個数は、位数 d の巡回部分群の個数を m とすれば、mφ(d) である。ここで φ はオイラーのトーシェント関数で、d 以下でそれと互いに素な正の整数の個数を与える。例えば S3 の場合 φ(3) = 2 であり位数 3 の元がちょうど 2 つある。定理は位数 2 の元については何の有益な情報ももたらさない、なぜならば φ(2) = 1 であるからで、d = 6 のような合成数 d に対する限られた有用性しかない、なぜならば φ(6) = 2 だからだ、そして S3 に位数 6 の元は 0 個存在する。