数学の世界において位数と一言にいっても様々な意味を持つ。ここではあくまで集合の要素（元）の位数について言及する。集合の位数とは異なるので注意（集合の位数と言った場合は、集合の要素数を意味する）。
まずは法が単純に素数の場合を考える。
[定義]
p：素数
とする。
このとき、となる最小の正整数xをaの位数といい、
で表す。
[例]p=5の表で考えてみる。
| a | 1 | 2 | 3 | 4 |
| a1 | 1 | 2 | 3 | 4 |
| a2 | 1 | 4 | 4 | 1 |
| a3 | 1 | 3 | 2 | 4 |
| a4 | 1 | 1 | 1 | 1 |
| a5 | 1 | 2 | 3 | 4 |
位数とセットで知っておくべき概念として原始元という概念がある。これは位数がp-1となるときの値aのことである。これも上記のp=5の例で考えてみる。
原始元はp-1となる値aということなので、4（＝p-1=5-1)となる値は2と3である（括弧の中の値が原始元と覚えておけばよい）。つまり、の原始元は2,3ということになる。 ◇
[系]p：素数とする。
[証明]位数の定義より、は1以上の整数である。
一方、フェルマーの小定理より、aの値に限らずp-1乗すれば必ず1になるので、が成り立つ。 □
[定義]nを自然数、aをnと互いに素な整数とする。
を満たす最小の自然数sを法nに関するaの位数といい、
と表す。
[定理]pを素数とする。
「」⇒「
」
この定理はpが大きいほど有効に働く。位数を求めるときに便利である。
[例]24≡1 (mod 5)はフェルマーの小定理から成り立つ。
一方、4を割り切る整数は4,2,1しかない。1のときは明らかなので、ここで2を考えてみる。22≡(4 mod 5)≠1である。
よって、と位数を求められる。
[定理]nが自然数、aをnと互いに素な整数とする。このとき、次は同値である。
[1]
[2]以下の2条件が成り立つ。
(a)sは自然数で、
(b)ならば、mはsの倍数である。
[系]はφ(n)の約数である。
[定理]nが自然数、aをnと互いに素な整数とする。このとき、次は同値である。
[1]
[2]以下の2条件が成り立つ。
(a)sは自然数で、
(b)ならば、mはsの倍数である
[定理]m1,m2を2より大きな互いに素なし自然数とし、n=m1m2とする。
このとき、nと互いに素な整数aについて、次が成り立つ。
