Квазирегулярный элемент - Quasiregular element

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

В математика, конкретно теория колец, понятие квазирегулярность обеспечивает удобный в вычислительном отношении способ работы с Радикал Якобсона кольца.[1] Интуитивно квазирегулярность фиксирует, что означает «плохой» элемент кольца; то есть иметь нежелательные свойства.[2] Хотя «плохой элемент» обязательно квазирегулярный, квазирегулярные элементы не обязательно должны быть «плохими» в довольно расплывчатом смысле. В этой статье мы в первую очередь касаемся понятия квазирегулярности для унитальные кольца. Однако один раздел посвящен теории квазирегулярности в неунитальных кольцах, которая составляет важный аспект некоммутативной теории колец.

Определение

Позволять р быть кольцом (с единство ) и разреши р быть элементом р. потом р как говорят квазирегулярный, если 1 -р это единица измерения в р; то есть обратимый относительно умножения.[1] Представления о правая или левая квазирегулярность соответствуют ситуациям, когда 1 -р имеет правую или левую инверсию соответственно.[1]

Элемент Икс неунитарного кольца называется правый квазирегулярный Если там есть у такой, что .[3] Понятие о левый квазирегулярный element определяется аналогичным образом. Элемент у иногда называют право квазиобратное из Икс.[4] Если кольцо унитальное, это определение квазирегулярности совпадает с приведенным выше.[5] Если писать , то эта бинарная операция ассоциативно.[6] Фактически, карта (где × обозначает умножение кольца р) - изоморфизм моноидов.[5] Следовательно, если элемент обладает как левым, так и правым квазиобратным, они равны.[7]

Обратите внимание, что некоторые авторы используют разные определения. Они называют элемент Икс правый квазирегулярный, если существует у такой, что ,[8] что равносильно утверждению, что 1 +Икс имеет правую инверсию, когда кольцо унитальное. Если мы напишем , тогда , поэтому мы можем легко переходить от одной установки к другой, меняя знаки.[9] Например, Икс квазирегулярна справа в одной установке тогда и только тогда, когда -Икс является правильным квазирегулярным в другой установке.[9]

Примеры

  • Если р кольцо, то аддитивное тождество р всегда квазирегулярен.
  • Если квазирегулярно справа (соответственно слева), то квазирегулярна справа (соответственно слева).[10]
  • Если р это звено, каждый нильпотентный элемент из р квазирегулярен.[11] Этот факт подтверждается элементарным вычислением:
Если , тогда
(или же если следовать второму соглашению).
Отсюда легко видно, что квазиобратное Икс является (или же ).
  • Во втором соглашении матрица квазирегулярна в матричное кольцо если он не имеет -1 как собственное значение. В более общем плане ограниченный оператор является квазирегулярным, если -1 не входит в его спектр.
  • В банаховой алгебре с единицей, если , то геометрический ряд сходится. Следовательно, каждый такой Икс квазирегулярен.
  • Если р кольцо и S = р[[Икс1, ..., Иксп]] обозначает кольцо формальный степенной ряд в п неопределенности по р, элемент S является квазирегулярным тогда и только тогда, когда его постоянный член квазирегулярен как элемент р.

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

  • Каждый элемент Радикал Якобсона кольца (не обязательно коммутативного) квазирегулярно.[12] Фактически радикал Джекобсона кольца можно охарактеризовать как единственный правый идеал кольца, максимальный в отношении того свойства, что каждый элемент квазирегулярен справа.[13][14] Однако правый квазирегулярный элемент не обязательно должен быть членом радикала Джекобсона.[15] Это оправдывает замечание в начале статьи - «плохие элементы» квазирегулярны, хотя квазирегулярные элементы не обязательно «плохие». Элементы радикала Якобсона кольца часто считаются «плохими».
  • Если элемент кольца нильпотентен и центральный, то он является членом радикала Якобсона кольца.[16] Это потому, что главный правый идеал порожденный этим элементом состоит только из квазирегулярных (фактически, нильпотентных) элементов.
  • Если элемент, р, кольца идемпотент, он не может быть членом радикального кольца Якобсона.[17] Это потому, что идемпотентные элементы не могут быть квазирегулярными. Это свойство, а также указанное выше, оправдывают сделанное в начале статьи замечание о том, что понятие квазирегулярности удобно в вычислительном отношении при работе с радикалом Джекобсона.[1]

Обобщение на полукольца

Понятие квазирегулярного элемента легко обобщается на полукольца. Если а является элементом полукольца S, то аффинное отображение из S себе это . Элемент а из S как говорят правый квазирегулярный если имеет фиксированная точка, которые не обязательно должны быть уникальными. Каждая такая неподвижная точка называется левый квазиобратный из а. Если б является левым квазиобратным к а и дополнительно б = ab + 1, тогда б это называется квазиобратный из а; любой элемент полукольца, имеющий квазиобратный, называется квазирегулярный. Возможно, что некоторые, но не все элементы полукольца будут квазирегулярными; например, в полукольце неотрицательных вещественных чисел с обычным сложением и умножением вещественных чисел, имеет фиксированную точку для всех а <1, но не имеет фиксированной точки для а ≥ 1.[18] Если каждый элемент полукольца квазирегулярен, то это полукольцо называется квазирегулярное полукольцо, замкнутое полукольцо,[19] или иногда Полукольцо Лемана[18] (последний в честь статьи Дэниела Дж. Леманна.[20])

Примеры квазирегулярных полуколец дает Клини алгебры (среди них выделяется алгебра обычные выражения ), в котором квазиобратная операция возведена в роль унарной операции (обозначаемой а*) определяется как решение с наименьшей фиксированной точкой. Алгебры Клини аддитивно идемпотентны, но не все квазирегулярные полукольца таковы. Мы можем расширить пример неотрицательных вещественных чисел, включив в него бесконечность и становится квазирегулярным полукольцом с квазиобратным к любому элементу а ≥ 1 - бесконечность. Однако это квазирегулярное полукольцо не является аддитивно идемпотентным, поэтому оно не является алгеброй Клини.[19] Однако это полное полукольцо.[21] В более общем смысле все полные полукольца квазирегулярны.[22] Период, термин замкнутое полукольцо фактически используется некоторыми авторами для обозначения полного полукольца, а не просто квазирегулярного.[23][24]

Полукольца Конвея также квазирегулярны; две аксиомы Конвея фактически независимы, то есть существуют полукольца, удовлетворяющие только аксиоме произведения-звезды [Конвея], (ab)* = 1+а(ба)*б, но не аксиома суммы-звезды, (а+б)* = (а*б)*а* наоборот; это аксиома произведения-звезды [Конвея], которая означает, что полукольцо квазирегулярно. Кроме того, коммутативное полукольцо является квазирегулярным тогда и только тогда, когда оно удовлетворяет аксиоме Конвея-продукта.[18]

Квазирегулярные полукольца появляются в задачи алгебраического пути, обобщение кратчайший путь проблема.[19]

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

Примечания

  1. ^ а б c d Айзекс, стр. 180
  2. ^ Айзекс, стр. 179
  3. ^ Лам, Исх. 4.2, п. 50
  4. ^ Полчино и Сегал (2002), п. 298.
  5. ^ а б Лам, Исх. 4.2 (3), стр. 50
  6. ^ Лам, Исх. 4.1, п. 50
  7. ^ С 0 является мультипликативным тождеством, если , тогда . Квазирегулярность не требует, чтобы кольцо имело мультипликативную идентичность.
  8. ^ Капланского, с. 85
  9. ^ а б Напольная лампа. 51
  10. ^ Капланского, с. 108
  11. ^ Лам, Исх. 4.2 (2), стр. 50
  12. ^ Айзекс, теорема 13.4 (a), с. 180
  13. ^ Айзекс, теорема 13.4 (b), с. 180
  14. ^ Айзекс, следствие 13.7, с. 181
  15. ^ Айзекс, стр. 181
  16. ^ Айзекс, следствие 13.5, с. 181
  17. ^ Айзекс, следствие 13.6, с. 181
  18. ^ а б c Джонатан С. Голан (30 июня 2003 г.). Полукольца и аффинные уравнения над ними. Springer Science & Business Media. С. 157–159 и 164–165. ISBN  978-1-4020-1358-4.
  19. ^ а б c Марк Пули; Юрг Колас (2011). Общий вывод: объединяющая теория для автоматизированных рассуждений. Джон Вили и сыновья. стр.232 и 248–249. ISBN  978-1-118-01086-0.
  20. ^ Леманн, Д. Дж. (1977). «Алгебраические структуры для транзитивного замыкания» (PDF). Теоретическая информатика. 4: 59–76. Дои:10.1016/0304-3975(77)90056-1.
  21. ^ Дросте, М., и Куич, В. (2009). Полукольца и формальные степенные ряды. Справочник по взвешенным автоматам, 3–28. Дои:10.1007/978-3-642-01492-5_1, стр. 7-10
  22. ^ У. Циммерманн (1981). Линейная и комбинаторная оптимизация в упорядоченных алгебраических структурах. Эльзевир. п. 141. ISBN  978-0-08-086773-1.
  23. ^ Декстер Козен (1992). Дизайн и анализ алгоритмов. Springer Science & Business Media. п. 31. ISBN  978-0-387-97687-7.
  24. ^ J.A. Сторер (2001). Введение в структуры данных и алгоритмы. Springer Science & Business Media. п. 336. ISBN  978-0-8176-4253-2.

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

  • И. Мартин Айзекс (1993). Алгебра, аспирантура (1-е изд.). Издательство Brooks / Cole Publishing Company. ISBN  0-534-19002-2.
  • Ирвинг Каплански (1969). Поля и кольца. Издательство Чикагского университета.
  • Лам, Цит-Юэн (2003). Упражнения по классической теории колец. Проблемные книги по математике (2-е изд.). Springer-Verlag. ISBN  978-0387005003.
  • Милиес, Сезар Польчино; Сегал, Сударшан К. (2002). Введение в групповые кольца. Springer. ISBN  978-1-4020-0238-0.