Делимость (теория колец) - Divisibility (ring theory)

В математика, понятие делитель первоначально возникла в контексте арифметики целых чисел. С развитием абстрактного кольца, из которых целые числа являются архетип, первоначальное понятие дивизора получило естественное расширение.

Делимость - полезное понятие для анализа структуры коммутативные кольца из-за его связи с идеальный структура таких колец.

Определение

Позволять р несущий,[1] и разреши а и б быть элементами р. Если существует элемент Икс в р с топор = б, говорят, что а это левый делитель из б в р и это б это право несколько из а.[2] Аналогично, если существует элемент y в р с я = б, говорят, что а это правый делитель из б и это б это осталось несколько из а. Один говорит, что а это двусторонний делитель из б если он является и левым делителем, и правым делителем б; в этом случае не обязательно верно, что (используя предыдущие обозначения) Икс=y, только то, что оба Икс и немного y каждый из которых индивидуально удовлетворяет предыдущим уравнениям в р существовать в р.

Когда р коммутативен, левый делитель, правый делитель и двусторонний делитель совпадают, поэтому в этом контексте говорят, что а это делитель из б, или это б это несколько из а, и один пишет . Элементы а и б из область целостности находятся соратники если оба и . Связанные отношения - это отношение эквивалентности на р, а значит, делит р в непересекающийся классы эквивалентности.

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

Характеристики

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

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

В приведенном выше описании обозначает главный идеал генерируется элементом .

Ноль как делитель и делители нуля

  • Некоторые авторы требуют а быть ненулевым в определении делителя, но это приводит к сбою некоторых из приведенных выше свойств.
  • Если интерпретировать определение делителя буквально, каждый а является делителем 0, так как можно взять Икс = 0. Из-за этого традиционно злоупотребляют терминологией, делая исключение для делителей нуля: один вызывает элемент а в коммутативном кольце a делитель нуля если существует ненулевой Икс такой, что топор = 0.[3]

Смотрите также

Примечания

  1. ^ В этой статье предполагается, что кольца имеют цифру 1.
  2. ^ Бурбаки, с. 97
  3. ^ Бурбаки, с. 98

Рекомендации

  • Бурбаки, Н. (1989) [1970], Алгебра I, главы 1–3, Springer-Verlag, ISBN  9783540642435

В этой статье использованы материалы из Citizendium статья "Делимость (теория колец) "под лицензией Creative Commons Attribution-ShareAlike 3.0 Непортированная лицензия но не под GFDL.