
мiсце x ≡ a
m
·y mod p, тобто x −a
m
·y дiлиться на p. При цьому не втрачаючи
загальностi, можна вважати, що m < |a|
p
= k (чому?). Тодi число
a
k−m
· (x − a
m
· y) = a
k−m
· x − a
k−m
· a
m
· y = a
k−m
· x − a
k
· y = a
k−m
· x − y
також дiлиться на p, а отже y −a
k−m
·x дiлиться на p, тобто y ≡ a
k−m
·x mod p,
а отже, (y, x) ∈ R
a
.
Доведемо транзитивнiсть. Припустимо, що (x, y), (y, z) ∈ R
a
, тодi iснують
такi 0 ≤ l, m < k :
x ≡ a
l
· y mod p, y ≡ a
m
· z mod p.
Оскiльки y − a
m
· z дiлиться на p, то i число a
l
· (y − a
m
· z) дiлиться на p. Але
число x − a
l
· y також дiлиться на p, а отже на p дiлиться їх сума
a
l
· (y − a
m
· z) + x − a
l
· y = x − a
l+m
· z,
звiдки, x ≡ a
l+m
· z mod p, тобто (x, z) ∈ R
a
. Отже, для довiльного a, яке
не дiлиться на p маємо вiдношення еквiвалентностi, на множинi цiлих чисел,
яке на далi будемо позначати ∼
a
. Легко бачити, що якщо x
1
≡ x
2
mod p,
y
1
≡ y
2
mod p i x
1
∼
a
y
1
, то x
2
∼
a
y
2
. Таким чином, ∼
a
можна розглядати як
вiдношення еквiвалентностi на множинi лишкiв Z
p
.
Класи еквiвалентностi ∼
a
на множинi Z
p
найпростiше будувати послiдовним
множенням на число a з вибором найменшого представника класу за modp:
x, x
1
= a · x, . . . , x
i+1
= a · x
i
, . . . , i = 2, 3, . . . .
Розглянемо цi вiдношення ∼
a
для вищенаведеного прикладу n = 7. При
a = 2 маємо такi класи еквiвалентностi вiдношення ∼
2
:
{0}, {1, 2 · 1 ∈ 2, 2 · 2 ∈ 4 }, {3, 2 · 3 ∈ 6, 2 · 6 ∈ 5}.
Отже, маємо один клас еквiвалентностi з одного елемента {0} i два класи еквi-
валентностi {1, 2, 4}, {3, 6, 5}, що мiстять по три елементи. Для вiдношення
еквiвалентностi ∼
3
будемо мати два класи еквiвалентностi: {0} та клас
{1, 3, 3 · 3 ∈ 2, 3 · 2 ∈ 6, 3 · 6 ∈ 4, 3 · 4 ∈ 5}.
куди попала решта лишкiв. Для вiдношення ∼
6
отримуємо крiм {0} ще двох-
елементнi класи еквiвалентностi:
{1, 6}, {2, 5}, {3, 4}.
Повернемося тепер до доведення теореми. Легко бачити, що кiлькiсть еле-
ментiв у всiх класах еквiвалентностi ∼
a
вiдмiнних вiд {0} однакова i дорiвнює
101