Сравнения. Кольцо классов вычетов

Date: 2015-10-07; view: 555.

Пусть m - данное натуральное число. Все целые числа по отношению к числу m естественно разбиваются на m классов, если отнести к одному классу числа, дающие один и тот же остаток при делении на m.

Так, если m = 2, то целые числа разбиваются на классы четных и нечетных чисел. Если m = 3, то классы в этом смысле составляют числа вида 3k, 3k + 1, 3k+2 при целых k и т.д.

Числа, относящиеся к одному классу, называются сравнимыми, и изучение свойств классов носит название теории сравнений.

Определение 1. Пусть m - натуральное число. Два целых числа a и b называются сравнимыми по модулю m, если их разность a – b делится на m , т.е. .

Теорема 1. Отношение сравнимости обладает тремя свойствами: рефлексивности, симметричности и транзитивности.

Эти свойства сравнений позволяют заключить, что каждое целое число попадает в один и только один класс попарно сравнимых между собой элементов (целых чисел). Эти классы называются классами вычетов по модулю m или просто классами по модулю m .

Теорема 2. Каждое целое число сравнимо по модулю m с одним из чисел ряда 0, 1, 2, …, m – 1 .

Суммой двух классов по модулю m называется класс по модулю m, к которому принадлежит сумма каких-либо чисел из слагаемых классов, т.е. .

Произведением двух классов по модулю m называется класс по модулю m, к которому принадлежит произведение каких-либо чисел из перемножаемых классов, т.е. .

Отметим некоторые очевидные свойства действийнад классами по модулю. Символ будет обозначать класс по модулю (который предполагается заданным), содержащий число a.

. ( ) = ( ) – ассоциативность сложения.

. = - коммутативность сложения.

. Класс играет роль нуля при сложении: = при любом .

. Класс играет роль класса, противоположного классу , т.е = .

. = ; = - дистрибутивность умножения относительно сложения.

. ( ) = ( ) – ассоциативность умножения.

. = - коммутативность умножения.

. Класс играет роль единицы при умножении классов, т.е.

= при любом . Очевидно. Из указанных свойств следует, что Классы вычетов по модулю m образуют кольцо, называемое кольцом классов вычетов по модулю m .