Теорема о делении с остатком. Алгоритм Евклида
Пример
Пусть модуль .
Тогда имеем шесть классов разбиения множества целых чисел по модулю 6:
;
;
;
;
;
,
где через обозначен остаток от деления целого числа на 6.
Напомним теорему о делении с остатком:
Теорема о делении с остатком
Для любых целых и
,
, существует единственный набор целых чисел
и
, что
и
, где
— модуль числа
.
Легко доказывается, что для любых целых чисел и
,
деление с остатком возможно и числа
и
определяются однозначно. В нашем примере полная система наименьших неотрицательных вычетов есть множество
; полная система наименьших положительных вычетов – множество
; полная система наименьших по абсолютной величине вычетов – множество
; приведённая система вычетов – множество
, так как
; фактор-множество
.
Один из методов выполнения арифметических операций над данными целыми числами основан на простых положениях теории чисел. Идея этого метода состоит в том, что целые числа представляются в одной из непозиционных систем – в системе остаточных классов. А именно: вместо операций над целыми числами оперируют с остатками от деления этих чисел на заранее выбранные числа – модули .
Чаще всего модули
выбирают из множества простых чисел.