Теорема 2. Нехай g-непарний первісний корінь по модулю

; тоді кожен індекс числа а по модулю

і основою g є індексом а по модулю

і основою g. Теорема 3. При

два числа вигляду

і

порівнянні по модулю

тоді і тільки тоді, коли

і

.
Теорема 4. При

будь-яке непарне число порівнянне по модулю

з одним і тільки одним числом з множини:

.
Означення 3. Індексом непарного числа а по модулю

при

називається пара чисел

, де

, така, що

.
Таку пару ( (u, v)) інколи записуватимемо також у вигляді ind a.
Приклад. Пара ( (0, 0)) є індексом 1 по будь-якому модулю

. Дійсно:

.
Означення 4. Дві пари:

і

- називаються порівнянними по подвійному модулю

, якщо

.
Порівнянність пар:

і

- по подвійному модулю

записуватимемо у вигляді:

.
Очевидно, що дві пари, порівнянні по подвійному модулю з однією і тією ж третьою, порівнянні між собою.
Теорема 5. При

тоді і тільки тоді, коли індекс а порівнянний з індексом b пo подвійному модулю

.
Означення 5. Сумою індексів

називається індекс

.
Теорема 6. При

для модуля

індекс добутку непарних чисел порівнянний з сумою індексів співмножників по подвійному модулю

. Індекси можна застосовувати для обчислення залишків від ділення на заданий модуль

добуток з двома або декількома співмножниками і, зокрема, степенів.
Маючи таблицю індексів по модулю

, щоб знайти остачу від ділення

на

, де всі

взаємно прості з

, ми шукану остачу позначаємо через

і записуємо

.
Індексуючи попереднє рівняння отримуємо:

.
Знаходимо в таблиці індексів

, так що

,
Звідси

.
В частинному випадку, якщо

, ми отримуємо прийом для обчислення остачі від ділення на модуль

степеня

.
Приклад. Користуючись таблицею індексів, знайти остачу від ділення на 61 числа

.

.
У таблицях по модулю 61 з підставою g=59 або g=-2 знаходимо

і

, так що

.
За значенням індексу знаходимо х. Число 24 є індексом 20, так що

.
Якщо

, то для знаходження остачі від ділення на

добутку або степеня знаходимо остачі

при діленні на модулі

потім розв′язуємо систему рівнянь:

При

,

остача від ділення на

знаходимо іншими методами (без вживання теорії індексів) або розглядаємо індекси по модулю

.
При

ми можемо представити

у вигляді

і знаходимо за допомогою індексів остачі від ділення на

.
Приклад. Знайти остачу від ділення на 1242 числа

.
Знаходимо остачу

від ділення по модулю 27 з основою

знаходимо

.
так що

.
По модулю 27 знаходимо, що

, так що

.
Знаходимо остачу

від ділення

на 23.

Розв’язуючи систему

, знаходимо

. Остача рівна 127.
Дана курсова робота стосується теорії конгруенцій, зокрема застосуванню конгруенцій: ознаки подільності, перевірка арифметичних дій, перетворення десяткового дробу у звичайний, індекси.