Модуль над кольцом

Мо́дуль над кольцо́м — обобщение понятия векторного пространства с полей на кольца. Одно из основных понятий общей алгебры.

Модули позволяют адаптировать на многие алгебраические структуры стандартные понятия линейной алгебры, такие как базис и линейное отображение, а также предоставляют единообразный язык для работы с такими структурами. Например, модули над кольцом целых чисел $\mathbb{Z}$$\mathbb {Z}$ — это в точности абелевы группы, а модули над кольцом многочленов $k[x]$$k[x]$ над некоторым полем $k$$k$ — в точности векторные пространства над $k$$k$ с фиксированным линейным оператором.

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

МотивацияПравить

В векторном пространстве множество скаляров образует поле, и умножение на скаляр удовлетворяет нескольким аксиомам, таким как дистрибутивность умножения. В модуле же требуется только, чтобы скаляры образовывали кольцо (ассоциативное, с единицей), аксиомы же остаются теми же самыми.

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

ОпределенияПравить

Пусть $R$$R$  — кольцо (как правило, считающееся коммутативным с единичным элементом $1\in <!--\; \in \; -->R$$1\in R$ ). $R$$R$ -модулем называется абелева группа $M$$M$  с операцией умножения на элементы кольца $R$$R$ :

$R\times <!--\; \times \; -->M\to <!--\; \to \; -->M,(r,m)\mapsto <!--\; \mapsto \; -->rm,$$R\times M\to M,\quad (r,m)\mapsto rm,$ 

которая удовлетворяет следующим условиям:

1) $\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->M,\mathrm{\forall <!--\; \forall \; -->}{r}_1,r_2\in <!--\; \in \; -->R(r_1{r}_2)m=r_1(r_{2}m),$$\forall m\in M,\,\forall r_{1},r_{2}\in R\quad (r_{1}r_{2})m=r_{1}(r_{2}m),$ 

2) $\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->M1m=m.$$\forall m\in M\quad 1m=m.$ 

3) $\mathrm{\forall <!--\; \forall \; -->}{m}_1,m_2\in <!--\; \in \; -->M,\mathrm{\forall <!--\; \forall \; -->}r\in <!--\; \in \; -->Rr(m_1+m_2)=r{m}_1+r{m}_2,$$\forall m_{1},m_{2}\in M,\,\forall r\in R\quad r(m_{1}+m_{2})=rm_{1}+rm_{2},$ 

4) $\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->M,\mathrm{\forall <!--\; \forall \; -->}{r}_1,r_2\in <!--\; \in \; -->R(r_1+r_2)m=r_{1}m+r_{2}m.$$\forall m\in M,\,\forall r_{1},r_{2}\in R\quad (r_{1}+r_{2})m=r_{1}m+r_{2}m.$ 

Примечание: В случае некоммутативного кольца такие модули часто называются левыми. Правыми модулями называют в этом случае такие объекты, у которых условие 1) заменено следующим:

$\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->M,\mathrm{\forall <!--\; \forall \; -->}{r}_1,r_2\in <!--\; \in \; -->R(r_1{r}_2)m=r_2(r_{1}m),$$\forall m\in M,\,\forall r_{1},r_{2}\in R\quad (r_{1}r_{2})m=r_{2}(r_{1}m),$ 

что гораздо удобнее формулировать, записывая элемент кольца справа от элемента модуля $m$$m$ :

$\mathrm{\forall <!--\; \forall \; -->}m\in <!--\; \in \; -->M,\mathrm{\forall <!--\; \forall \; -->}{r}_1,r_2\in <!--\; \in \; -->Rm(r_1{r}_2)=(m{r}_1)r_2,$$\forall m\in M,\,\forall r_{1},r_{2}\in R\quad m(r_{1}r_{2})=(mr_{1})r_{2},$  отсюда и терминология.

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

Любое кольцо $R$$R$  можно рассматривать как модуль над собой (в некоммутативном случае оно является также правым модулем над собой).

Связанные определения и свойстваПравить

Подмодулем модуля $M_R$$M_{R}$  называется подгруппа $B$$B$  группы $M$$M$ , замкнутая относительно умножения на элементы из $R$$R$ , то есть такая, что:

$\mathrm{\forall <!--\; \forall \; -->}b\in <!--\; \in \; -->B,r\in <!--\; \in \; -->R:rb\in <!--\; \in \; -->B$$\forall b\in B,\ r\in R:rb\in B$ .

Если кольцо $R$$R$  рассматривать как левый модуль над собой, то его подмодули являются левыми идеалами; если кольцо рассматривать как правый модуль, то правыми идеалами. В коммутативном случае понятие левого и правого идеалов совпадают.

Гомоморфизмом, или $R$$R$ -гомоморфизмом $,R$$,R$ -модулей $A$$A$  и $B$$B$  называется гомоморфизм групп $\mathrm{\varphi <!--\; \varphi \; -->}:A\to <!--\; \to \; -->B$$\phi :A\to B$ , для которого выполнено дополнительное условие $\mathrm{\varphi <!--\; \varphi \; -->}(ra)=r\mathrm{\varphi <!--\; \varphi \; -->}(a)\mathrm{\forall <!--\; \forall \; -->}a\in <!--\; \in \; -->A,r\in <!--\; \in \; -->R$$\phi (ra)=r\phi (a)\forall a\in A,r\in R$ . Множество всех таких гомоморфизмов обозначают через $Ho{m}_R(A,B)$$Hom_{R}(A,\ B)$ . На этом множестве можно ввести структуру абелевой группы, определяя 0, $-<!--\; -\; -->$$-$  и $+$$+$  следующими равенствами:

$0a=0,(-<!--\; -\; -->\mathrm{\varphi <!--\; \varphi \; -->})a=-<!--\; -\; -->(\mathrm{\varphi <!--\; \varphi \; -->}a),(\mathrm{\varphi <!--\; \varphi \; -->}+\mathrm{\psi <!--\; \psi \; -->})a=\mathrm{\varphi <!--\; \varphi \; -->}a+\mathrm{\psi <!--\; \psi \; -->}a$$0a=0,\ (-\phi )a=-(\phi a),\ (\phi +\psi )a=\phi a+\psi a$ .

Если $N$$N$  — подмодуль модуля $M$$M$ , можно рассмотреть фактормодуль $M/N$$M/N$  как множество классов эквивалентности элементов $M$$M$ , определив отношение эквивалентности между элементами:

$a\sim <!--\; \sim \; -->b$$a\sim b$  тогда и только тогда, когда $b-<!--\; -\; -->a$$b-a$  принадлежит $N$$N$ .

Элементы фактормодуля обычно обозначают как $[a]=\{a+n:n\in <!--\; \in \; -->N\}=a+N$$[a]=\{a+n:n\in N\}=a+N$ . Операции сложения и умножения определяются формулами$(a+N)+(b+N)=(a+b+N),r\cdot <!--\; \cdot \; -->(a+N)=(r\cdot <!--\; \cdot \; -->a+N)$$(a+N)+(b+N)=(a+b+N),\quad r\cdot (a+N)=(r\cdot a+N)$ .

ПримерыПравить

• Любая абелева группа — модуль над кольцом целых чисел.
• Любая $n$$n$ -ограниченная абелева группа (то есть такая абелева группа $A$$A$ , что $nA=0$$nA=0$ ) — модуль над кольцом ${\mathbb{Z}}_n$$\mathbb {Z} _{n}$  классов вычетов по модулю $n$$n$ .
• Линейное пространство над полем $F$$F$  является модулем над $F$$F$ .
• Линейное пространство $V$$V$  — модуль над кольцом всех своих линейных преобразований $L(V)$$L(V)$ 
• Дифференциальные формы на гладком многообразии $M$$M$  снабжены естественной структурой модуля над кольцом всех гладких функций на $M$$M$ .
• Если I — левый идеал кольца R, он будет левым модулем над этим кольцом. Аналогично, правые идеалы будут правыми модулями.

Типы модулейПравить

• Конечнопорождённые модули
• Циклические модули: модуль называется циклическим, если он порожден одним элементом.
• Свободные модули
• Проективные модули
• Инъективные модули
• Неразложимые модули: модуль называется неразложимым, если он ненулевой и его нельзя разложить в прямую сумму двух ненулевых модулей.
• Вполне разложимые модули: модули, которые можно разложить в прямую сумму неразложимыых.
• Простые модули
• Полупростые модули
• Артиновы модули
• Нётеровы модули

ИсторияПравить

Простейшие примеры модулей (конечные абелевы группы, то есть $\mathbb{Z}$$\mathbb {Z}$ -модули) появляются уже у Гаусса как группы классов бинарных квадратичных форм. Общее понятие модуля встречается впервые в 1860—1880-х годах века в работах Дедекинда и Кронекера, посвящённых арифметике полей алгебраических чисел и алгебраических функций. Проводившееся примерно в это же время исследование конечномерных ассоциативных алгебр, и в частности групповых алгебр конечных групп (Пирс, Фробениус), привело к изучению идеалов некоторых некоммутативных колец. Первоначально теория модулей развивалась преимущественно как теория идеалов некоторого кольца. Лишь позднее в работах Нётер и Крулля^[de] было замечено, что многие результаты удобнее формулировать и доказывать в терминах произвольных модулей, а не только идеалов.

ЛитератураПравить

• Ван дер Варден Б. Л. Алгебра. — М.: Наука, 1975.
• Зарисский О., Самюэль П. Коммутативная алгебра. — М.: ИЛ, 1963. — Т. 1.
• Ленг С. Алгебра. — М.: Мир, 1967.