a1= a + km, b1= b + lm, и a1+ b1= a + b + (k + l)m,
a1 b1= ab +(kb + al + klm)m ⇒ (a1+ b1)π (a + b), (a1 b1)π(a b) ⇒
=
,
=
. Корректность доказана.
1. (
+
)+
=
+
=
=
=
+
=
=
+(
+
) – это свойство ассоциативности сложения в Zm следует из ассоциативности сложения в Z.
2. Так как ∀
∈ Zm
+
=
, то в Zm ∃ нейтральный
элемент по сложению.
3. Так как ∀
∈ Zm
+
=
, то ∀
∈ Zm ∃ противоположный элемент по сложению: -
=
.
Свойства 4, 5, 8, 9 из определения кольца следуют из соответствующих свойств кольца целых чисел и доказываются так же, как и свойство 1.
Упражнение. Доказать свойства 4, 5, 8, 9.
6. Так как ∀
∈ Zm
⋅
=
, то в Zm ∃ нейтральный
элемент по умножению.
Таким образом, мы доказали, что Zm - АКУ-кольцо.
Пример. Выпишем таблицы сложения и умножения для Z6.
Таблица сложения | Таблица умножения | ||||||||||||
+ |
|
|
|
|
|
| х |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как
⋅
=
, то
и
в Z6 являются делителями нуля. В то же время
⋅
=
, то есть
- обратимый элемент в Z6 .
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 |


