Пусть
— главный идеал коммутативного кольца
.
Два
элемента
и
кольца
называются сравнимыми по модулю
(по идеалу
),
если их разность принадлежит идеалу
:

Обозначение
сравнения по модулю:
или
.
Пусть
— кольцо
(целых чисел). Тогда
,
если при делении
на
получаются одинаковые остатки.
Действительно, пусть
,
тогда:
.
Примеры.
(так как
).
(так
как
).
Класс
вычетов по модулю
(по идеалу
)
— множество элементов кольца, сравнимых
с
по модулю
.
Можно обозначить так:
.
Элемент
— представитель класса вычетов
.
Пример.
,
то есть идеал
:




Лемма.
Два класса вычетов
и
или не пересекаются, или совпадают.
Иначе говоря, классы вычетов по модулю
образуют разбиение кольца
.
Отношение
сравнимости по модулю
обладает следующими свойствами:
Свойство рефлексивности:
.
Свойство симметричности: если
,
то
.
Свойство транзитивности: если
и
,
то

Действительно,
бинарное отношение сравнимости по
модулю
есть отношение эквивалентности, а классы
вычетов — это как раз классы эквивалентности
(или классы смежности).
Полная
система вычетов по модулю
— совокупность
целых чисел, содержащая точно по одному
представителю из каждого класса вычетов
по модулю
.
Пример.
В предыдущем примере:
,
то есть идеал
.
Имеем лишь три класса вычетов:
(обозначения
)
— которые образуют полную систему
вычетов по модулю 3. Ясно, что любой
элемент из
принадлежит лишь одному из этих классов.
Пусть
,
то есть
;
.
Тогда:
.
(Сравнения можно складывать или
вычитать.)
Действительно: пусть
.
Тогда


То есть
.
.
(Сравнения можно перемножать.)
,
так как:

.
(К обеим частям сравнения можно прибавить
одно и то же число
.)
.
.
(Следствие 2.).
.
Действительно,
,
поэтому
и из предыдущего:

Если
,
то
.
Действительно,
,
следовательно
,
где
,
то есть
,
то есть
.
Если
,
то
.
(Можно одновременно разделить обе части
сравнения и модуль на их общий делитель.)
Действительно, если
,
то
,
значит
.
Замечание.
Из
не следует, что
.
Сумма
классов вычетов
и
есть класс вычетов
.
Произведение
классов вычетов
и
есть класс вычетов
.
Теорема. Сумма (и разность) и произведение классов вычетов не зависят от выбора представителей классов.
Доказательство.
Пусть
.
Тогда, используя свойства сравнений №1
и №2, получим:
.
Следовательно,
и
.
Примеры.
.
Но
.

Найти остаток при делении
на
.
,
то есть остаток равен 0.
Найти две последние цифры числа
.
Для этого достаточно найти остаток при
делении на
;
для этого выясним остаток при делении
на
и на
:
,
то есть последние две цифры могут быть
.
,
значит последние две цифры могут быть
только 52.
Доказать, что
.
Надо дать 4 сравнения
по модулю
.





Итак
,
тогда по свойству №6
,
где
(так как числа простые), то есть
.
Замечание. Приведём без доказательства ещё два полезных свойства сравнений, которые выражены следующей теоремой:
Малая теорема Ферма:
Если число
не делится на простое число
,
то справедливо:

Если число
и
— простое число, то справедливо (здесь
отсутствует требование, чтобы
делилось на
):

Примеры.
,
так как 31 — простое число.
,
так как 541 — простое число.
Замечание. При решении задач на сравнение также удобно пользоваться функцией Эйлера.
Функция
Эйлера
— функция, равная количеству натуральных
чисел, меньших аргумента
и взаимно простых с ним. При этом полагают
по определению, что число 1 взаимно
просто со всеми натуральными числами,
и
.