![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Дано кольцо целых чисел <Z; +, >.
Напомним. Алгебра <М, , +>, которая по умножению является мультипликативным группоидом, по сложению — абелевой группой, причем умножение справа и слева связано со сложением законами дистрибутивности называется кольцом.
Возьмем целое число m>1. Зададим отношение эквивалентности на множестве целых чисел Z по следующему правилу:
b a
b - a = m q для некоторого
.
Напомним. Пусть Е – эквивалентность на множестве A. К лассом эквивалентности элемента называется множество
.
Класс эквивалентности элемента a по модулю m – это множество = {…, -3m+a, -2m+a, -m+a, a, m+a, 2m+a, 3m+a, …}, которое обозначается через a+Zm или просто
.
Пример. Если m=5, то при соответственно a=0, 1, 2, 3, 4 классы эквивалентности элементов a по модулю 5 будут соответственно равны
;
;
;
.
Таким образом, множество Z разбивается на непересекающиеся подмножества ,
,
,
,
, т.е. Z =
и попарные пересечения
и т.д.
Напомним. Множество называется фактор-множеством множество A по отношению E.
Фактор-множеством целых чисел Z по отношению целые числа по модулю 5 является множество . Мощность этого множества равна 5.
В общем случае множество содержит m элементов.
Вместо записи пишут b ≡ a (mod m) читается «b равно a по модулю m» или «b сравнимос a по модулю m».
Множество обозначается также через Zm и называется множеством вычетов или множеством целых чисел по модулю m.
Дата публикования: 2014-11-04; Прочитано: 370 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!