Модуль над кольцом
Мо́дуль над кольцо́м, абелева группа с кольцом операторов. Модуль является обобщением (линейного) векторного пространства над полем для случая, когда заменяется некоторым кольцом.
Пусть задано кольцо . Аддитивная абелева группа называется левым -модулем, если определено отображение , значение которого на паре для , записывается как , причём выполняются аксиомы:
1) ;
2) ;
3) .
Если кольцо обладает единицей, то обычно требуют дополнительно, чтобы для любого выполнялось равенство . Модуль с этим свойством называется унитарным, или унитальным.
Аналогично определяются правые -модули; при этом аксиома 3) заменяется условием . Любой правый -модуль можно рассматривать как левый -модуль над кольцом , антиизоморфным кольцу , поэтому любому утверждению о правых -модулях соответствует некоторое утверждение о левых -модулях, и наоборот. В случае когда кольцо коммутативно, любой левый -модуль можно рассматривать как правый -модуль и различие между левыми и правыми модулями исчезает. Ниже будут рассматриваться только левые -модули.
Простейшие примеры модулей (конечные абелевы группы, т. е. -модули) появляются уже у К. Ф. Гаусса как группы классов бинарных квадратичных форм. Общее понятие модуля встречается впервые в 1860–1880-х гг. в работах Р. Дедекинда и Л. Кронекера, посвящённых арифметике полей алгебраических чисел и алгебраических функций. Проводившееся примерно в это же время исследование конечномерных ассоциативных алгебр и, в частности, групповых алгебр конечных групп (Б. Пирс, Ф. Г. Фробениус), привело к изучению идеалов некоторых некоммутативных колец. Первоначально теория модулей развивалась преимущественно как теория идеалов некоторого кольца. Лишь позднее в работах Э. Нётер и В. Крулля было замечено, что многие результаты удобнее формулировать и доказывать в терминах произвольных модулей, а не только идеалов. Последующее развитие теории модулей связано с применением методов и идей теории категорий, в частности методов гомологической алгебры.
Примеры модулей
1. Любая абелева группа является модулем над кольцом целых чисел . Для и произведение определяется как результат сложения раз.
2. В случае когда – поле, понятие унитарного -модуля в точности эквивалентно понятию линейного векторного пространства над .
3. Координатное -мерное векторное пространство над полем можно рассматривать как модуль над кольцом всех -матриц с коэффициентами из . Для и произведение определяется как умножение матрицы на столбец координат вектора .
4. Ассоциативное кольцо является левым -модулем. Умножение элементов кольца на элементы модуля совпадает с обычным умножением в .
5. Дифференциальные формы на гладком многообразии снабжены естественной структурой модуля над кольцом всех гладких функций на .
6. С любой абелевой группой связано ассоциативное кольцо с единицей всех эндоморфизмов группы . Группа снабжена естественной структурой -модуля.
Если на задана структура -модуля для некоторого кольца , то отображение является эндоморфизмом для любого . Сопоставляя элементу порождаемый им эндоморфизм , получают гомоморфизм кольца в . Наоборот, любой гомоморфизм определяет на структуру -модуля. Таким образом, задание структуры -модуля на абелевой группе равносильно заданию гомоморфизма . Такой гомоморфизм называется также представлением кольца , а называется модулем представления. С любым представлением связан двусторонний идеал , состоящий из элементов таких, что для всех . Этот идеал называется аннулятором модуля . В случае когда , представление называется точным, – точным модулем.
Очевидно, что модуль можно рассматривать также как модуль над факторкольцом . В частности, хотя определение модуля и не предполагает ассоциативности кольца , кольцо всегда ассоциативно. Поэтому в большинстве случаев достаточно ограничиться рассмотрением модуля над ассоциативными кольцами. Ниже, везде, где не оговорено противное, кольцо будет предполагаться ассоциативным.
G-модули
Пусть – некоторая группа. Аддитивная абелева группа называется левым -модулем, если задано отображение , значение которого на паре , где , , записывается как , причём для любого отображение является эндоморфизмом группы , для любых , , и для всех , , где – единица группы . Для любого отображение является автоморфизмом группы .
Аналогично можно определить правые -модули. При любой правый -модуль будет левым -модулем.
Примеры -модулей:
1. Пусть – расширение Галуа некоторого поля с группой Галуа . Тогда аддитивная и мультипликативная группы поля снабжены естественной структурой -модуля. Если – поле алгебраических чисел, то -модулями также являются аддитивная группа кольца целых чисел поля , группа единиц поля , группа дивизоров и группа классов дивизоров поля и т. д. Модули над группой Галуа называются также модулями Галуа.
2. Пусть задано некоторое расширение абелевой группы , т. е. точная последовательность групп
где – абелев нормальный делитель группы и – произвольная группа. Тогда группу можно снабдить естественной структурой -модуля, положив для , , , где – некоторый прообраз элемента в группе .
В тех случаях, когда групповая операция в абелевой группе записывается мультипликативно (например, – мультипликативная группа некоторого поля), вместо записи используют также запись , т. е. операторы из группы записывают как показатели.
Пусть задан -модуль . Сопоставляя элементу автоморфизм группы , получают гомоморфизм группы в группу обратимых элементов кольца . Наоборот, любой гомоморфизм группы в группу обратимых элементов кольца задаёт на структуру -модуля.
Понятия модуля над кольцом и -модуля тесно связаны. Именно, любой -модуль можно рассматривать как модуль над групповым кольцом , если распространить действие группы на по линейности, т. е. положить
где , , . Наоборот, если на задана структура унитарного -модуля, то можно рассматривать как -модуль.
В случае когда является -модулем над некоторым коммутативным кольцом и одновременно -модулем, причём действие элементов группы на перестановочно с действием элементов , можно снабдить структурой -модуля, распространяя действие с на по линейности. Например, если – линейное векторное пространство над полем , то задание структуры -модуля на эквивалентно заданию представления в пространстве .
Используя стандартную инволюцию в группе , любой левый -модуль можно превратить в правый -модуль, положив для , . Аналогично, любой правый -модуль можно превратить в левый -модуль.
Модуль над алгеброй Ли
Пусть – алгебра Ли над коммутативным кольцом и – некоторый -модуль. Задание структуры -модуля на состоит в задании -эндоморфизма группы для каждого , причём требуется выполнение аксиомы
для любых , . Это определение отличается от данного ранее определения -модуля. Задание на структуры -модуля равносильно заданию -гомоморфизма в алгебру Ли кольца . Модуль над алгеброй Ли можно рассматривать так же, как модуль в обычном смысле над универсальной обёртывающей алгеброй алгебры .
Конструкции в теории модулей
Исходя из заданных -модулей, можно получать новые -модули при помощи ряда стандартных построений. Так, с любым модулем связана решётка всех его подмодулей. Например, если кольцо рассматривать как левый модуль над собой, то его левые подмодули – это в точности левые идеалы кольца . Ряд важных типов модулей определяется в терминах решётки подмодулей. Например, условие обрыва убывающих (возрастающих) цепей подмодулей определяет артиновы модули (нётеровы модули). Условие отсутствия нетривиальных подмодулей, т. е. подмодулей, отличных от 0 и всего модуля, выделяет неприводимые модули.
Для модуля и любого его подмодуля факторгруппу можно снабдить структурой -модуля. Этот модуль называется фактормодулем по .
Гомоморфизм -модулей определяется как гомоморфизм абелевых групп , перестановочный с умножением на элементы кольца , т. е. удовлетворяющий условию для всех , . Если заданы два гомоморфизма , то их сумма, определяемая формулой , снова будет гомоморфизмом -модулей. Это сложение задаёт на множестве всех гомоморфизмов модуля в строение абелевой группы. Для любого гомоморфизма определены подмодули (ядро ) и (образ ), а также фактормодули (коядро ) и (кообраз ). Mодули и канонически изоморфны, поэтому их обычно отождествляют. Например, для любого левого идеала кольца определён фактормодуль . Модуль неприводим тогда и только тогда, когда – максимальный левый идеал. Если – некоторый неприводимый -модуль, не аннулируемый кольцом , то изоморфен модулю для некоторого максимального левого идеала .
Для любого семейства -модулей , где пробегает некоторое множество индексов , в категории -модулей существуют прямая сумма и прямое произведение семейства . При этом элементы прямого произведения можно интерпретировать как векторы , компоненты которых заиндексированы множеством , причём для каждого индекса , . Сложение таких векторов и умножения их на элементы кольца определяются покомпонентно. Прямую сумму семейства можно интерпретировать как подмодуль прямого произведения, состоящий из векторов, у которых все компоненты, кроме конечного числа, равны нулю.
Для проективной (индуктивной) системы -модулей проективный (индуктивный) предел этой системы можно естественным образом снабдить структурой -модуля. Прямое произведение и прямая сумма модулей могут рассматриваться как частные случаи понятий проективного и индуктивного пределов.
Образующие и соотношения
Пусть – некоторое подмножество -модуля . Подмодулем, порождённым множеством , называется пересечение всех подмодулей модуля , содержащих . Если этот подмодуль совпадает с , то называется семейством (или системой) образующих модуля . Модуль, допускающий конечное семейство образующих, называется конечно порождённым модулем. Например, в нётеровом кольце любой идеал является конечно порождённым модулем, прямая сумма конечного числа конечно порождённых модулей снова конечно порождена. Любой фактормодуль конечно порождённого модуля также конечно порождён. Для построения системы образующих модуля часто оказывается полезной лемма Накаямы: для любого идеала , содержащегося в радикале кольца , из условия следует . В частности, в условиях леммы Накаямы элементы являются системой образующих для , если их образы порождают модуль . Это соображение особенно часто используется в случае, когда – локальное кольцо и – максимальный идеал в .
Пусть – модуль с системой образующих . Тогда отображение определяет эпиморфизм свободного -модуля с образующими на (модуль можно определить как множество формальных конечных сумм , , отображение распространяется с образующих на элементы модуля по линейности). Элементы модуля называются соотношениями между образующими модуля . Если модуль можно представить как фактормодуль конечно порождённого свободного модуля так, чтобы модуль соотношений также был конечно порождён, то называется конечно представимым модулем. Например, над нётеровым кольцом любой конечно порождённый модуль конечно представим. В общем случае конечная представимость не следует из конечной порождённости.
Замена кольца
Существуют стандартные конструкции, позволяющие рассматривать -модуль как модуль над некоторым другим кольцом. Например, пусть задан гомоморфизм колец . Тогда, полагая , можно рассматривать как -модуль. Если модуль – унитарный -модуль и гомоморфизм переводит единицу в единицу, то станет унитарным -модулем.
Пусть задан некоторый гомоморфизм колец и -модуль . Тогда можно снабдить структурой -модуля, полагая для , , и можно рассмотреть левый -модуль . Говорят, что этот модуль получен из расширением скаляров.
Категория модулей
Класс всех модулей над заданным кольцом с гомоморфизмами модулей в качестве морфизмов образует абелеву категорию, обозначаемую . Из функторов, определённых на этой категории, наиболее важны функторы (гомоморфизмы) и (тензорное произведение). Функтор принимает значения в категории абелевых групп и сопоставляет паре -модулей , группу . Для и очевидным образом определяются отображения
и
т. е. функтор контравариантен по первому аргументу и ковариантен по второму. В случае когда или несёт структуру бимодуля, группа обладает дополнительной модульной структурой. Если есть -модуль, то – правый B-модуль, а если есть -бимодуль, то – левый -модуль.
Функтор ставит в соответствие паре , где – правый -модуль, а – левый -модуль, тензорное произведение модулей и над кольцом . Этот функтор принимает значения в категории абелевых групп и ковариантен как по , так и по . В случае когда или – бимодули, группу можно снабдить дополнительной структурой. Именно, если есть -модуль, то есть -модуль, а если есть -бимодуль, то – правый -модуль. Изучение функторов и , а также их производных функторов является одной из основных задач гомологической алгебры.
Многие важные типы модулей характеризуются в терминах функторов и . Так, проективный модуль определяется требованием, чтобы функтор (от ) был точным. Аналогично, инъективный модуль определяется требованием точности (от ). Плоский модуль определяется требованием точности функтора .
Модули над данным кольцом можно рассматривать с двух точек зрения:
1. Можно изучать модули с точки зрения их внутренней структуры. Основной задачей здесь является полная классификация модулей, т. е. построение для каждого модуля системы инвариантов, характеризующей этот модуль с точностью до изоморфизма, и умение по заданному набору инвариантов строить модуль с этими инвариантами. Для некоторых типов колец такое описание возможно. Например, если – конечно порождённый модуль над групповым кольцом конечной группы , где – некоторое поле, характеристика которого взаимно проста с порядком , то представим в виде конечной прямой суммы неприводимых подмодулей (модуль вполне приводим). Это представление определено однозначно с точностью до изоморфизма (сами неприводимые подмодули в общем случае не определяются однозначно). Bсе неприводимые подмодули также допускают простое описание: все они содержатся в регулярном представлении группы и находятся во взаимно однозначном соответствии с неприводимыми характерами этой группы. Также простое описание допускают модули над кольцом главных идеалов и над дедекиндовым кольцом. Именно, любой конечно порождённый модуль над кольцом главных идеалов изоморфен конечной прямой сумме модулей вида , где – некоторые идеалы кольца (возможно, нулевые), причём и идеалы однозначно определяются последним условием. Таким образом, набор инвариантов полностью определяет модуль . Если – конечно порождённый модуль над дедекиндовым кольцом , то , где – периодический модуль, а – модуль без кручения (выбор модуля не однозначен). Модуль аннулируется некоторым идеалом кольца и, следовательно, является модулем над кольцом главных идеалов и допускает описание, указанное выше, а модуль представим в виде , где – некоторый идеал , а – прямая сумма раз. Модуль с точностью до изоморфизма однозначно определяется двумя инвариантами: числом и классом идеала в группе классов идеалов.
2. Другой подход к изучению модулей состоит в изучении категории и данного модуля как объекта этой категории. Такое изучение является предметом гомологической алгебры и алгебраической -теории. На этом пути было получено много важных и глубоких результатов.
Часто рассматривают модули, несущие некоторую дополнительную структуру. Так рассматриваются градуированные модули, фильтрованные модули, топологические модули, модули с полуторалинейной формой и т. д.