原始元 (有限体)
有限体 GF(q) の原始元の数はφ(q − 1) である。ここに φ(m) はオイラーのトーシェント関数であり、1 以上 m 以下の m と互いに素な整数の個数を数える函数である。このことは、有限体 GF(q) の乗法群は位数 (q − 1) の巡回群(英語版)であるという定理と、位数 m の巡回群の生成元は φ(m) 個あるという事実から証明できる。