stringtranslate.com

Модуль (математика)

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

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

Модули очень тесно связаны с теорией представлений групп . Они также являются одним из центральных понятий коммутативной алгебры и гомологической алгебры и широко используются в алгебраической геометрии и алгебраической топологии .

Введение и определение

Мотивация

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

Большая часть теории модулей состоит в расширении как можно большего числа желаемых свойств векторных пространств на область модулей над « хорошо себя ведущим » кольцом, таким как область главных идеалов . Однако модули могут быть намного сложнее векторных пространств; например, не все модули имеют базис , и даже для тех, у которых он есть ( свободные модули ), число элементов в базисе не обязательно должно быть одинаковым для всех базисов (то есть они могут не иметь уникального ранга ), если базовое кольцо не удовлетворяет условию инвариантного числа базисов , в отличие от векторных пространств, которые всегда имеют (возможно, бесконечный) базис, мощность которого тогда уникальна. (Эти последние два утверждения требуют аксиомы выбора в общем случае, но не в случае конечномерных векторных пространств или определенных хорошо себя ведущих бесконечномерных векторных пространств, таких как пространства L p .)

Формальное определение

Предположим, что Rкольцо , а 1 — его мультипликативная единица. Левый R -модуль M состоит из абелевой группы ( M , +) и операции ·  : R × MM такой, что для всех r , s из R и x , y из M имеем

  1. ,
  2. ,
  3. ,

Операция · называется скалярным умножением . Часто символ · опускается, но в этой статье мы используем его и резервируем сопоставление для умножения в R . Можно написать R M , чтобы подчеркнуть, что M является левым R -модулем. Правый R -модуль M R определяется аналогично в терминах операции · : M × RM .

Авторы, которые не требуют, чтобы кольца были унитальными , опускают условие 4 в определении выше; они назвали бы структуры, определенные выше, "унитальными левыми R -модулями". В этой статье, в соответствии с глоссарием теории колец , все кольца и модули предполагаются унитальными. [2]

( R , S ) -бимодуль является абелевой группой вместе с левым скалярным умножением · на элементы R и правым скалярным умножением ∗ на элементы S , что делает его одновременно левым R -модулем и правым S -модулем, удовлетворяющим дополнительному условию ( r · x ) ∗ s = r ⋅ ( xs ) для всех r в R , x в M и s в S .

Если R коммутативен , то левые R -модули совпадают с правыми R -модулями и называются просто R -модулями.

Примеры

Подмодули и гомоморфизмы

Предположим, что M — левый R -модуль, а Nподгруппа M. Тогда N является подмодулем (или, более явно, R -подмодулем), если для любого n из N и любого r из R произведение rn (или nr для правого R -модуля) содержится в N .

Если X является любым подмножеством R -модуля M , то подмодуль, натянутый на X, определяется как такой , где N пробегает подмодули M , содержащие X , или явно , что важно в определении тензорных произведений модулей . [3]

Множество подмодулей данного модуля M вместе с двумя бинарными операциями + (модуль, натянутый на объединение аргументов) и ∩ образует решетку, которая удовлетворяет модулярному закону : если даны подмодули U , N 1 , N 2 модуля M, такие, что N 1N 2 , то следующие два подмодуля равны: ( N 1 + U ) ∩ N 2 = N 1 + ( UN 2 ) .

Если M и N — левые R -модули, то отображение f  : MN является гомоморфизмом R -модулей , если для любых m , n из M и r , s из R ,

.

Это, как и любой гомоморфизм математических объектов, является просто отображением, сохраняющим структуру объектов. Другое название гомоморфизма R -модулей - R - линейное отображение .

Биективный гомоморфизм модулей f  : MN называется изоморфизмом модулей , а два модуля M и N называются изоморфными . Два изоморфных модуля идентичны для всех практических целей, отличаясь только обозначениями для своих элементов.

Ядром гомоморфизма модулей f  : MN является подмодуль M , состоящий из всех элементов, которые обращаются в ноль с помощью f , а образом f является подмодуль N, состоящий из значений f ( m ) для всех элементов m из M. [4] Теоремы об изоморфизме, известные из групп и векторных пространств , справедливы также для R -модулей.

Для кольца R множество всех левых R -модулей вместе с их модульными гомоморфизмами образует абелеву категорию , обозначаемую R - Mod (см. категорию модулей ).

Типы модулей

Конечно сгенерированный
R -модуль M конечно порождён, если в M существует конечное число элементов x 1 , ..., x n таких, что каждый элемент M является линейной комбинацией этих элементов с коэффициентами из кольца R .
Циклический
Модуль называется циклическим, если он порождается одним элементом.
Бесплатно
Свободный R -модуль — это модуль, имеющий базис, или, что эквивалентно, модуль, изоморфный прямой сумме копий кольца R. Это модули, которые ведут себя очень похоже на векторные пространства.
Проективный
Проективные модули являются прямыми слагаемыми свободных модулей и разделяют многие из их желательных свойств.
Инъекционный
Инъективные модули определяются двойственно проективным модулям.
Плоский
Модуль называется плоским , если его тензорное произведение на любую точную последовательность R -модулей сохраняет точность.
Без кручения
Модуль называется некрутящимся, если он вкладывается в свой алгебраический двойственный .
Простой
Простой модуль S — это модуль, который не является {0} и единственными подмодулями которого являются {0} и S. Простые модули иногда называют неприводимыми . [5]
Полупростой
Полупростой модуль — это прямая сумма (конечная или нет) простых модулей. Исторически такие модули также называются вполне приводимыми .
Неразложимый
Неразложимый модуль — это ненулевой модуль, который не может быть записан как прямая сумма двух ненулевых подмодулей. Каждый простой модуль неразложим, но существуют неразложимые модули, которые не являются простыми (например, однородные модули ).
Верный
Точный модуль M это модуль, в котором действие каждого r0 в R на M нетривиально (т.е. rx ≠ 0 для некоторого x из M ). Эквивалентно, аннулятор M — это нулевой идеал .
Без кручения
Модуль без кручения — это модуль над кольцом, в котором 0 является единственным элементом, который аннулируется регулярным элементом (не делителем нуля ) кольца, что эквивалентно rm = 0 влечет r = 0 или m = 0 .
нётеровский
Нётеров модуль — это модуль, который удовлетворяет условию возрастающей цепи на подмодулях, то есть каждая возрастающая цепь подмодулей становится стационарной после конечного числа шагов. Эквивалентно, каждый подмодуль конечно порожден.
артинский
Артинов модуль — это модуль, удовлетворяющий условию убывающей цепи подмодулей, то есть каждая убывающая цепочка подмодулей становится стационарной после конечного числа шагов.
Оцененный
Градуированный модуль — это модуль с разложением в прямую сумму M = x M x над градуированным кольцом R = x R x таким, что R x M yM x + y для всех x и y .
Униформа
Равномерный модуль — это модуль, в котором все пары ненулевых подмодулей имеют ненулевое пересечение.

Дальнейшие понятия

Отношение к теории репрезентации

Представление группы G над полем k — это модуль над групповым кольцом k [ G ].

Если M является левым R -модулем, то действие элемента r в R определяется как отображение MM , которое переводит каждый x в rx (или xr в случае правого модуля) и обязательно является групповым эндоморфизмом абелевой группы ( M , +) . Множество всех групповых эндоморфизмов M обозначается End Z ( M ) и образует кольцо относительно сложения и композиции , а отправка кольцевого элемента r из R его действию фактически определяет кольцевой гомоморфизм из R в End Z ( M ).

Такой кольцевой гомоморфизм R → End Z ( M ) называется представлением R над абелевой группой M ; альтернативный и эквивалентный способ определения левых R -модулей состоит в том, чтобы сказать, что левый R -модуль является абелевой группой M вместе с представлением R над ней. Такое представление R → End Z ( M ) можно также назвать кольцевым действием R на M .

Представление называется точным тогда и только тогда, когда отображение R → End Z ( M ) является инъективным . В терминах модулей это означает, что если r — элемент R такой, что rx = 0 для всех x из M , то r = 0 . Каждая абелева группа является точным модулем над целыми числами или над некоторым кольцом целых чисел по модулю n , Z / n Z .

Обобщения

Кольцо R соответствует предаддитивной категории R с единственным объектом . При таком понимании левый R -модуль — это просто ковариантный аддитивный функтор из R в категорию Ab абелевых групп , а правые R -модули — контравариантные аддитивные функторы. Это предполагает, что если C — любая предаддитивная категория, то ковариантный аддитивный функтор из C в Ab следует считать обобщенным левым модулем над C . Эти функторы образуют функторную категорию C - Mod , которая является естественным обобщением модульной категории R - Mod .

Модули над коммутативными кольцами можно обобщить в другом направлении: взять кольчатое пространство ( X , O X ) и рассмотреть пучки O X -модулей (см. пучок модулей ). Они образуют категорию O X - Mod и играют важную роль в современной алгебраической геометрии . Если X имеет только одну точку, то это категория модулей в старом смысле над коммутативным кольцом O X ( X ).

Можно также рассматривать модули над полукольцом . Модули над кольцами являются абелевыми группами, но модули над полукольцами являются только коммутативными моноидами . Большинство приложений модулей по-прежнему возможны. В частности, для любого полукольца S матрицы над S образуют полукольцо, над которым кортежи элементов из S являются модулем (только в этом обобщенном смысле). Это позволяет провести дальнейшее обобщение концепции векторного пространства , включив в него полукольца из теоретической информатики.

Над почти кольцами можно рассматривать почти кольцевые модули, неабелево обобщение модулей. [ необходима ссылка ]

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

Примечания

  1. ^ Хангерфорд (1974) Алгебра , Springer, стр. 169: «Модули над кольцом являются обобщением абелевых групп (которые являются модулями над Z)».
  2. ^ Даммит, Дэвид С. и Фут, Ричард М. (2004). Абстрактная алгебра . Хобокен, Нью-Джерси: John Wiley & Sons, Inc. ISBN 978-0-471-43334-7.
  3. ^ Макгерти, Кевин (2016). «АЛГЕБРА II: КОЛЬЦА И МОДУЛИ» (PDF) .
  4. ^ Эш, Роберт. "Основы модуля" (PDF) . Абстрактная алгебра: базовый выпускной год .
  5. ^ Якобсон (1964), стр. 4, Определение 1

Ссылки

Внешние ссылки