Показать меню

Делитель нуля

В общей алгебре элемент a {displaystyle a} кольца называется:

левым делителем нуля, если существует ненулевое b {displaystyle b} такое, что a b = 0 ; {displaystyle ab=0;} правым делителем нуля, если существует ненулевое b {displaystyle b} такое, что b a = 0. {displaystyle ba=0.}

Далее всюду в данной статье кольцо считается нетривиальным, то есть в нём имеются элементы, отличные от нуля.

Элемент, который одновременно является и правым, и левым делителем нуля, называется делителем нуля. Если умножение в кольце коммутативно, то понятия правого и левого делителя совпадают. Элемент кольца, который не является ни правым, ни левым делителем нуля, называется регулярным элементом.

Ноль кольца называется несобственным (или тривиальным) делителем нуля. Соответственно, элементы, отличные от нуля и являющиеся делителями нуля, называются собственными (нетривиальными) делителями нуля.

Коммутативное кольцо с единицей, в котором нет нетривиальных делителей нуля, называется областью целостности.

Свойства

Если a {displaystyle a} не является левым делителем нуля, то равенство a b = a c {displaystyle ab=ac} можно сократить на a ; {displaystyle a;} аналогично с правым делителем нуля. В частности, в области целостности сокращение на ненулевой множитель всегда возможно.

Множество регулярных элементов коммутативного кольца замкнуто относительно умножения.

Обратимые элементы кольца не могут быть делителями нуля. Обратимые элементы кольца часто называют «делителями единицы», поэтому предыдущее утверждение можно сформулировать иначе: делитель единицы не может быть одновременно делителем нуля. Отсюда следует, что ни в каком теле или поле делителей нуля быть не может.

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

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

Нильпотентный элемент кольца всегда является (и левым, и правым) делителем нуля. Идемпотентный элемент кольца c {displaystyle c} , отличный от единицы, также является делителем нуля, поскольку c ( 1 − c ) = 0. {displaystyle c(1-c)=0.}

Примеры

Кольцо целых чисел не содержит нетривиальных делителей нуля и является областью целостности.

В кольце вычетов Z m {displaystyle mathbb {Z} _{m}} по модулю m , {displaystyle m,} если k не взаимно просто с m, то вычет k является делителем нуля. Например, в кольце Z 6 {displaystyle mathbb {Z} _{6}} элементы 2, 3, 4 — делители нуля:

2 6 ⋅ 3 6 = 0 ;   4 6 ⋅ 3 6 = 0 {displaystyle 2_{6}cdot 3_{6}=0; 4_{6}cdot 3_{6}=0}

В кольце матриц порядка 2 или более также имеются делители нуля, например:

( 1 1 2 2 ) ( 1 1 − 1 − 1 ) = ( 0 0 0 0 ) {displaystyle {egin{pmatrix}1&12&2end{pmatrix}}{egin{pmatrix}1&1-1&-1end{pmatrix}}={egin{pmatrix}0&0&0end{pmatrix}}}

Поскольку определитель произведения равен произведению определителей сомножителей, произведение матриц будет нулевой матрицей только если определитель по крайней мере одного из сомножителей равен нулю. Несмотря на некоммутативность умножения матриц, понятия левого и правого делителей нуля в этом кольце совпадают; все делители нуля — это вырожденные матрицы с нулевым определителем.

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

Еще по этой теме:
Порядок числа по модулю
20:08, 18 декабрь
Порядок числа по модулю
Показателем, или мультипликативным порядком, целого числа a {displaystyle a} по модулю m {displaystyle m}
Существенно особая точка
14:44, 12 декабрь
Существенно особая точка
Изолированная особая точка z 0 {displaystyle z_{0}} функции f (
Конечное кольцо
21:26, 07 декабрь
Конечное кольцо
Конечное кольцо в общей алгебре — это кольцо, содержащее конечное число элементов (которое называется порядком кольца). Другими словами, это (непустое) конечное множество R
Упорядоченная группа
00:06, 03 декабрь
Упорядоченная группа
Упорядоченная группа — группа, для всех элементов которой определён линейный порядок, согласованный с групповой операцией. Далее операция обозначается как сложение, ноль группы обозначается символом
Кольцо Крулля
10:57, 02 декабрь
Кольцо Крулля
Кольцо Крулля — коммутативное кольцо с относительно хорошими свойствами разложения на простые. Впервые были исследованы Вольфгангом Круллем в 1931 году. Кольца Крулля являются многомерным обобщением
Обратный элемент
23:38, 01 декабрь
Обратный элемент
Обратный элемент — термин в общей алгебре, обобщающий понятия обратного числа (для умножения) и противоположного числа (для сложения). Определения Пусть ( M
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: