В абстрактной алгебре , бимодуль является абелевой группой , которая является как левой и правым модуль таким образом, что левые и правые умножения совместимы. Помимо естественного появления во многих частях математики, бимодули играют проясняющую роль в том смысле, что многие отношения между левым и правым модулями становятся проще, когда они выражаются в терминах бимодулей.
Определение [ править ]
Если R и S являются два кольца , затем R - S - бимодулем является абелевой группой таким образом, что:
- M - левый R -модуль и правый S -модуль.
- Для всех r в R , s в S и m в M :
R - R -бимодуль также известен как R -бимодуль.
Примеры [ править ]
- Для положительных целых чисел п и т , множества М п , м ( Р ) из п × м матрица из действительных чисел является R - S -бимодуль, где R представляет собой кольцо М п ( Р ) из п × п матрицы, а S - кольцо M m ( R ) матриц размера m × m . Сложение и умножение производятся по обычным правиламсложения матриц и умножения матриц ; высота и ширина матриц были выбраны так, чтобы было определено умножение. Обратите внимание, что M n , m ( R ) сам по себе не является кольцом (если n = m ), потому что умножение матрицы размера n × m на другую матрицу размера n × m не определено. Ключевое свойство бимодуля ( rx ) s = r ( xs ) - это утверждение, что умножение матриц ассоциативно .
- Если R - кольцо, то само R можно рассматривать как R - R -бимодуль, считая левое и правое действия умножением - действия коммутируют по ассоциативности. Это может быть продлено до R н ( п -кратного прямого произведения из R ).
- Любой двусторонний идеал кольца R является R - R -бимодулем.
- Любой модуль над коммутативным кольцом R автоматически является бимодулем. Например, если M - левый модуль, мы можем определить умножение справа, чтобы оно было таким же, как умножение слева. (Однако не все R -бимодули возникают таким образом.)
- Если M - левый R -модуль, то M - R - Z -бимодуль, где Z - кольцо целых чисел . Точно так же правые R -модули можно интерпретировать как Z - R -бимодули, и действительно, абелева группа может рассматриваться как Z - Z -бимодуль.
- Если R является Подкольцо из S , то S является R - R -бимодуль. Это также R - S - и S - R -бимодуль.
- Если M - S - R -бимодуль, а N - R - T -бимодуль, то является S - T -бимодулем.
Дополнительные понятия и факты [ править ]
Если M и N являются R - S -бимодулями, то отображение f : M → N является гомоморфизмом бимодулей, если оно является одновременно гомоморфизмом левых R -модулей и правых S -модулей.
R - S -бимодуль фактически то же самое , как левый модуль над кольцом , где находится на противоположной кольцо из S (с умножением обернулись). Гомоморфизмы бимодулей - это то же самое, что гомоморфизмы левых модулей. Используя эти факты, многие определения и утверждения о модулях могут быть немедленно переведены в определения и утверждения о бимодулях. Например, категория всех R - S -бимодулей абелева , и стандартные теоремы об изоморфизме верны для бимодулей.
Однако в мире бимодулей есть некоторые новые эффекты, особенно когда речь идет о тензорном произведении : если M является R - S -бимодулем, а N - S - T -бимодулем, то тензорное произведение M и N (взятого над кольцом S ) естественным образом является R - T -бимодулем. Это тензорное произведение бимодулей ассоциативно (с точностью до единственного канонического изоморфизма), поэтому можно построить категорию, объектами которой являются кольца, а морфизмами - бимодули. На самом деле это2-категория каноническим образом - 2 морфизма между R - S -бимодулями M и N являются в точности бимодульными гомоморфизмами, т. Е. Функциями
удовлетворение
- ,
для м ∈ M , R ∈ R , и s ∈ S . Сразу проверяется закон перестановки для бимодульных гомоморфизмов, т. Е.
выполняется всякий раз, когда определена одна из сторон уравнения (а значит, и другая) и где ∘ - обычная композиция гомоморфизмов. В этой интерпретации, категория End ( R ) = Bimod ( R , R ) является именно моноидальной категорией из R - R -bimodules с обычным тензорным произведением над R тензорного произведением категории. В частности, если R - коммутативное кольцо , каждый левый или правый R -модуль канонически является R - R -бимодулем, что дает моноидальное вложение категорииR - моделирование в Bimod ( R , R ) . Случай, когда R является полем K, является мотивирующим примером симметричной моноидальной категории, и в этом случае R - Mod = K - Vect , категории векторных пространств над K , с обычным тензорным произведением,задающим моноидальную структуру, и с единичной K . Мы также видим, что моноид в Bimod ( R , R ) - это в точности R-алгебра. См. (Street 2003). [1] Кроме того, если M - R - S -бимодуль, а L - T - S -бимодуль, то множество Hom S ( M , L ) всех S -модульных гомоморфизмов из M в L становится T - R - модуль естественным образом. Эти утверждения распространяются на производные функторы Ext и Tor .
Профункторы можно рассматривать как категориальное обобщение бимодулей.
Отметим, что бимодули никак не связаны с биалгебрами .
См. Также [ править ]
- профунктор
Ссылки [ править ]
- ↑ Street, Ross (20 марта 2003 г.). «Категориальные и комбинаторные аспекты теории спуска». arXiv : math / 0303175 .
- Якобсон, Н. (1989). Базовая алгебра II . WH Freeman and Company. С. 133–136. ISBN 0-7167-1933-9.