
 
45
такой, что 
a
⋅
(a
 -1
)=1. 
Полем называется тело, операция 
⋅
 в котором коммутатив-
на, т.е. 
a
⋅
b = b
⋅
a 
Поскольку  основной  алгебраической  структурой,  которая 
будет использоваться в дальнейшем, является поле, рассмотрим 
более подробно его определения. 
Поле  есть  множество 
F  на  котором  заданы  две  операции, 
называемые  сложением  +  и  умножением 
⋅
,  и  которое  содержит 
два выделенных элемента 
0 и е, причем 0 
≠
 е. Поле это абелева 
группа по сложению, единичным элементом которой является 
0, 
а элементы из 
F отличные от нуля, образуют абелеву группу по 
умножению,  единичным  элементом  которой  является 
е.  Опера-
ции  сложения  и  умножения  в  поле  связаны  законом  дистрибу-
тивности 
a(b+c)=ab+ac.  Второй  закон  дистрибутивности 
(b+c)a=ba+ca выполняется автоматически в силу коммутативно-
сти операции умножения. Элемент 
0 называется нулевым, а эле-
мент 
е – единицей т.е. е=1. 
Свойство поля, появляющееся из определения целостности 
кольца, т.е. равенство 
a
⋅
b=0 влечет a=0 или b=0, выражают сло-
вами «отсутствуют  делители  нуля». Другими  словами в комму-
тативном кольце ненулевой элемент 
а называют делителем ну-
ля,  если  существует  другой  ненулевой  элемент  b  такой,  что 
a
⋅
b=0.  Если  в  кольце  нет  делителей  нуля,  то  оно  называется 
кольцом без делителей нуля или областью целостности. Ни-
какой  делитель  нуля  не  может  иметь  обратного  по  умножению 
элемента.  Поэтому  никакое  поле  и  тело  не  содержат  делителей 
нуля. 
Определение.  Подмножество  S  кольца  R  называется  под-
кольцом  этого  кольца,  если  оно  замкнуто  относительно  опера-
ций 
+ и 
⋅
 и образует кольцо относительно этих операций. (Замк-
нутость - это  условие  когда  результат  операций 
a+b  и  a
⋅
b  над 
a,b
∈
S также 
∈
S). 
Определение.  Подмножество  J  кольца  R называется идеа-
лом этого кольца, если оно является подкольцом кольца R и для 
всех 
a
∈
J и r
∈
R имеет место ar
∈
J, ra
∈
J. 
Например.
  Пусть  R - поле  рациональных  чисел (вида 
 
46 
b
a
, ba,  - целые числа,  0
b ). Тогда множество целых чисел Z 
(вида 
–n,n,0, n – целые числа >0) является его подкольцом, но не 
идеалом т.к., например 
a=1
∈
Z, r=1/2 
∈
R, но a
⋅
r=1
⋅
1/2=1/2 
∉
Z. 
Так  как  идеалы  являются  нормальными (левые  смежные 
классы совпадают с правыми) подгруппами аддитивной группы 
кольца, то  каждый идеал 
J кольца  R  определяет некоторое  раз-
биение  множества 
R  на  смежные  классы  по  аддитивной  под-
группе 
J,  называемые  классами  вычетов  кольца  R  по  модулю 
идеала 
J.  Класс  вычетов  кольца  R  по  модулю  J,  содержащий 
элемент 
a
∈
R обозначают  через  [a]=a+J,  т.к.  он  состоит из  всех 
элементов 
R  вида  a+c,  где  c
∈
J.  Элементы  a,b
∈
R,  принадлежа-
щие одному и тому же классу вычетов по модулю 
J (т.е. такие, 
что 
a -b
∈
J),  называют  сравнимыми  по  модулю  J  и  обозначают 
a
≡
b(mod J). Для них справедливо: 
Если
 a≡b(mod J), то a+r≡b+r(mod J), ar≡br(mod J) 
ra≡rb(mod J), na≡nb(mod J) ∀ n∈Z, r∈R. 
Если кроме того r≡s mod J), то a+r≡b+s(mod J) и ar≡bs(mod 
J). 
Множество классов вычетов кольца 
R по модулю идеала J 
образует кольцо относительно операций 
+ и 
⋅
. Эти операции оп-
ределяются равенствами: 
(
a+J)+(b+J)=(a+b)+J(1) 
(
a+J)⋅(b+J)=ab+J(2) 
Определение.  Кольцо  классов  вычетов  кольца  R  по  моду-
лю идеала 
J относительно операций (1), (2) называется фактор-
кольцом кольца R по идеалу J и обозначается R/J. 
Пример.
 Факторкольцо (или кольцо вычетов) Z/(n). Как и в 
случае, когда мы рассматривали группы, обозначим класс выче-
тов по модулю 
n (n
∈
N) содержащий число a
∈
Z через [a]. Этот 
класс может быть записан в виде 
a+(n), где (n) идеал, порожден-
ный  числом 
n.  Тогда  элементами  факторкольца  Z/(n)  будут 
[0]=0+(n), [1]=1+(n), ... , [n -1]=n -1+(n). 
Теорема.  Факторкольцо  Z/(p)  кольца  Z  целых  чисел  по 
главному  идеалу,  порожденному  простым  числом 
Р,  является 
полем.