Главная > Математика > Алгебра
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 2. Модули над кольцами главных идеалов

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

Теоремы этого параграфа обобщают утверждения, доказанные в гл. I для абелевых групп. Мы будем также указывать, как следует видоизменить доказательства из гл. I, чтобы после изменения терминологии получить доказательства для настоящего случая.

Пусть F — свободный модуль над R с базисом Тогда мощность I однозначно определена (и называется размерностью F). Напомним, что это доказывается, скажем, рассмотрением простого элемента в R и тем наблюдением, что есть векторное пространство над полем размерность которого в точности равна мощности Таким образом, мы можем говорить о размерности свободного модуля над

Теорема 1. Пусть F — свободный модуль и М — некоторый его подмодуль. Тогда М свободен и его размерность меньше или равна размерности

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

Пусть — пересечение М с — модулем, порожденным элементами Тогда подмодуль в а потому имеет вид для некоторого . Следовательно, либо нулевой, либо свободный размерности 1. Предположим по индукции, что — свободный модуль размерности О. Пусть а — множество, состоящее из всех элементов таких, что существует элемент который может быть записан в виде

где Тогда, очевидно, а — идеал, и, следовательно, главный идеал, порожденный некоторым элементом Если то и индуктивный шаг сделан. Если , то пусть элемент таков, что его коэффициент при равен Если элемент то его коэффициент при делится на и, значит, существует элемент такой, что лежит в Следовательно,

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

Следствие. Всякий подмодуль Е конечно порожденного модуля Е конечно порожденный.

Доказательство. Мы можем представить Е как фактор-модуль свободного модуля с конечным числом образующих; если — образующие Е, то возьмем свободный модуль F с базисом и отобразим на Прообраз Е в F свободен и конечно порожден, согласно теореме. Следовательно, Е — конечно порожденный модуль. Утверждение вытекает также из простейших свойств нетеровых колец и модулей.

Если желать перенести на модули над кольцом главных идеалов доказательства из гл. I, то нужно принять следующие определения. Свободный одномерный модуль над R называется бесконечным циклическим. Бесконечный циклический модуль изоморфен кольцу R, рассматриваемому как модуль над собой. Таким образом, всякий ненулевой подмодуль бесконечного циклического модуля является бесконечным циклическим. Доказательство, данное в гл. I для аналога теоремы 1, применимо теперь без дальнейших изменений.

Пусть Е — модуль. Элемент модуля Е называется периодическим, если существует элемент для которого Мы говорим, что Е — периодический модуль, если все его элементы периодические. Обобщением конечной абелевой группы служит конечно порожденный периодический модуль.

Пусть Е — модуль. Обозначим через подмодуль, состоящий из всех периодических элементов мы будем называть его подмодулем кручения модуля Е. Если то мы будем говорить, что Е—модуль без кручения.

Теорема 2. Пусть Е — конечно порожденный модуль. Тогда модуль свободный. Существует свободный подмодуль F в Е, такой, что Е есть прямая сумма

Размерность такого подмодуля F однозначно определена.

Доказательство. Докажем сначала, что модуль без кручения. Обозначим через класс вычетов элемента по модулю Пусть элемент таков, что Тогда и, значит, существует элемент с Ф 0, для которого Следовательно, что доказывает отсутствие кручения у модуля Этот модуль является также конечно порожденным. Предположим теперь, что М—конечно порожденный модуль без кручения. Пусть -максимальное множество элементов в М среди данного конечного множества образующих такое, что множество линейно независимо.

Если у — одна из образующих, то найдутся элементы не все равные 0, такие, что

Тогда (иначе мы придем в противоречие с линейной независимостью ). Следовательно, лежит в

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

является инъективным гомоморфизмом, образ которого содержится в свободном модуле, а потому в силу теоремы 1 свободен. Этот образ изоморфен М, и мы заключаем, что модуль М свободен, что и требовалось доказать.

Чтобы теперь получить подмодуль F, нам нужна лемма.

Лемма 1. Пусть Е, Е — модули, причем модуль Е свободен. Пусть — сюръективный гомоморфизм. Тогда существует, свободный подмодуль F в В, такой, что ограничение f на Р индуцирует изоморфизм , и такой, что

Доказательство. Пусть — базис модуля Е. Обозначим через элемент из Е, для которого Пусть F — подмодуль в Е, порожденный всеми элементами Тогда сразу же видно, что семейство элементов линейно независимо и поэтому модуль F свободен. Для заданного существуют элементы , такие, что

Тогда лежит в ядре а потому Ясно, что и, следовательно, эта сумма прямая, что и доказывает лемму.

Применив лемму к гомоморфизму в теореме 2, получим наше разложение Размерность F однозначно определена, поскольку для любого такого разложения Е в прямую сумму модуль F изоморфен

Размерность свободного модуля F в теореме 2 называется рангом модуля Е.

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

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

Пусть Е — модуль над . Отображение является гомоморфизмом R на подмодуль, порожденный элементом и ядро этого гомоморфизма является главным идеалом, порожденным некоторым элементом Мы будем говорить, что — период элемента Отметим, что период определен однозначно с точностью до умножения на единицу (если ). Элемент называется показателем модуля Е (соответственно элемента ), если (соответственно

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

Выберем раз и навсегда некоторую систему представителей для простых элементов кольца R (по модулю единиц). Например, если - кольцо многочленов от одного переменного над полем, то возьмем в качестве представителей неприводимые многочлены со старшим коэффициентом 1.

Пусть Обозначим через ядро отображения Оно состоит из всех элементов модуля Е, имеющих показатель .

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

Пусть — целые числа Модулем типа

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

Все доказательства из гл. I, § 10, проходят теперь без изменений. Там, где раньше мы оперировали с величиной какого-либо целого положительного числа , теперь мы будем в аналогичном рассуждении оперировать с числом простых сомножителей в простом разложении элемента. Имея дело со степенью простого элемента, можно считать, что порядок определяется числом . Читатель проверит дальше сам, что все доказательства из гл. I, § 10 теперь применимы.

Однако мы будем развивать теорию заново, не предполагая ничего известным из гл. I, § 10. Таким образом, наше изложение будет независимым.

Теорема 3. Пусть Е — конечно порожденный периодический модуль . Тогда Е будет прямой суммой

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

где . Последовательность однозначно определена.

Доказательство. Пусть а — некоторый показатель для -Допустим, что где Пусть такие элементы, что

Мы утверждаем, что Наше первое утверждение получится затем по индукции из представления а в виде произведения степеней простых элементов. Пусть Тогда

Здесь так как . Аналогично . Наконец, непосредственно видно, что . Следовательно, Е есть прямая сумма

Теперь мы должны доказать, что является прямой суммой указанного выше вида. Будем говорить, что элементы некоторого модуля независимы, если, каково бы ни было соотношение

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

циклических модулей .

Теперь нам нужен аналог леммы 1 для модулей, имеющих показатель, равный степени простого элемента.

Лемма 2. Пусть Е — периодический модуль показателя где — некоторый простой элемент. Пусть — элемент периода — независимые элементы из Е. Для всякого I существует представитель класса такой, что период равен периоду Элементы независимы.

Доказательство. Пусть элемент имеет период для некоторого — представитель класса у в Е. Тогда и, следовательно,

для некоторого . Если , то мы видим, что у имеет тот же период, что и у. Если то имеет период и, следовательно, у имеет период Должно выполняться неравенство

поскольку — показатель для Е. Таким образом, и мы видим, что

есть представитель для у, период которого равен

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

Тогда

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

Чтобы теперь получить разложение в прямую сумму, заметим сперва, что модуль — конечно порожденный. Мы можем предполагать, не теряя общности, что Пусть — элемент из Е, период которого таков, что число максимально. Пусть Мы утверждаем, что как векторного пространства над строго меньше, чем Действительно, если - линейно независимые элементы из над то из леммы 2 вытекает, что , так как мы всегда можем найти в элемент, имеющий период и не зависимый от Следовательно, Поэтому мы можем доказать существование разложения в прямую сумму по индукции. Если то существуют элементы имеющие соответственно периоды и такие, что . В силу леммы 2 существуют представители в Е, такие, что имеет период независимы.

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

Единственность будет следствием более общей теоремы единственности, которую мы сейчас сформулируем.

Теорема 4. Пусть Е — конечно порожденный периодический модуль, Тогда Е изоморфен прямой сумме ненулевых слагаемых

где ненулевые элементы из R и Последовательность идеалов однозначно определена предыдущими условиями.

Доказательство. Используя теорему 3, разложим Е в прямую сумму - подмодулей, скажем а затем разложим каждый в прямую сумму циклических подмодулей периодов Символически мы изображаем это следующей диаграммой:

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

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

Заметим, кроме того, что наше доказательство в действительности располагает в порядке возрастающей делимости, что и требовалось.

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

служит в точности (). Таким образом, имеем изоморфизм

Пусть теперь модуль Е представлен, как сказано в теореме, в виде прямой суммы из членов. Элемент

лежит в в том и только в том случае, если для всех I. Следовательно, есть прямая сумма ядер умножения на в каждом члене. Но — векторное пространство над и его размерность равна, таким образом, числу членов , таких, что делит

Предположим, что — простой элемент, делящий а значит для всех Пусть Е имеет разложение в прямую сумму из s членов, удовлетворяющее условиям теоремы, скажем

Тогда элемент должен делить по крайней мере элементов q., откуда . По симметрии делит для всех

Рассмотрим модуль . В силу предыдущего замечания, записав, мы будем иметь

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

однозначно определена. Это доказывает наше утверждение о единственности и завершает доказательство теоремы 4.

Идеалы называются инвариантами модуля Е. Следующую теорему можно было бы рассматривать как следствие теоремы 4. Мы дадим для нее независимое доказательство. Использоваться в дальнейшем она не будет.

Теорема 5. Пусть F — свободный модуль над R и М — его конечно порожденный подмодуль . Тогда существуют базис модуля F, элементы этого базиса и ненулевые элементы такие, что

(i) элементы образуют базис М над

(ii)

Последовательность идеалов однозначно определена предыдущими условиями.

Доказательство. Пусть X — некоторый функционал на F, другими словами, элемент из Положим . Тогда есть идеал в R. Выберем так, чтобы идеал был максимален в множестве идеалов т. е. чтобы в множестве не было строго большего идеала.

Пусть Тогда Действительно, в М имеется ненулевой элемент; в выражении этого элемента через какой-нибудь базис модуля F над R имеется ненулевая координата; беря проекцию на эту координату, мы получим функционал, значение которого на М не равно 0. Пусть — элемент, для которого Для любого функционала g мы должны иметь [непосредственно вытекает из максимальности Записав через любой базис в F, мы увидим, что все его коэффициенты должны делиться на (Если некоторый коэффициент не делится на то спроектируем на этот коэффициент и получим невозможный функционал.) Поэтому мы можем записать для некоторого элемента

Теперь докажем, что F есть прямая сумма

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

Отметим, что модуль — свободный как подмодуль свободного модуля (теорема 1). Положим

Тогда видно, что

Таким образом, — подмодуль в причем его размерность на единицу меньше, чем размерность модуля М. Мы можем поэтому закончить доказательство по индукции. Читателю предлагается проверить справедливость утверждения (ii).

Чтобы получить единственноегь, мы должны охарактеризовать нашу последовательность идеалов всецело в терминах F и М.

Лемма 3. Пусть — множество всех -линейных знакопеременных форм на - идеал в R, порожденный всеми элементами , где . Тогда

Доказательство. Покажем сначала, что Действительно, всякий элемент может быть записан в виде

Следовательно, если и - полилинейная знакопеременная форма на F, то элемент равен сумме членов вида

Такой член отличен от нуля, только когда различны, а в этом случае он делится на и, следовательно, содержится в указанном идеале.

Обратно, покажем, что существует -линейная знакопеременная форма, которая дает в точности это произведение. Мы получим эту форму с помощью определителей. Мы можем записать F в виде прямой суммы

для некоторого подмодуля . Пусть — линейное отображение для которого причем имеет значение 0 на Для положим

Тогда — полилинейная знакопеременная форма, которая принимает значение

и, следовательно, значение

Это доказывает нашу лемму.

Единственность, утверждаемая в теореме S, теперь очевидна, так как прежде всего идеал (а) определен однозначно, затем идеал () также определен однозначно и, следовательно, их частное определено однозначно и т. д. по индукции. Теорема S доказана.

Мы будем называть инвариантами подмодуля М в

<< Предыдущий параграф Следующий параграф >>
Оглавление