Глава 3. СРАВНЕНИЯ
§ 1. Основные понятия
a. Мы будем рассматривать целые числа в связи с остатками от деления их на данное целое положительное
, которое назовем модулем.
Каждому целому числу отвечает определенный остаток от деления его на (с, § 1, гл. I); если двум целым а и b отвечает один и тот же остаток
, то они называются равноостаточными по модулю
или сравнимыми по модулю
.
b. Сравнимость чисел а и b по модулю
записывается так:

что читается: а сравнимо с b по модулю
.
c. Сравнимость чисел а и b по модулю
равносильна:
1. Возможности представить а в виде
где
- целое.
2. Делимости
на
.
Действительно, из
следует

откуда

Обратно, из
представляя b в виде

выводим

т. е.

Поэтому верно утверждение 1.
Из 1 непосредственно следует утверждение 2.