Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Конечнопорождённый модуль

Из Википедии — свободной энциклопедии

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

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

Конечнопорождённые модули над полем — это в точности конечномерные векторные пространства.

Свойства

Образ конечнопорождённого модуля при гомоморфизме также конечнопорождён. В общем случае, подмодули конечнопорождённого модуля не обязательно являются конечнопорождёнными. Например, рассмотрим кольцо R = Z[x1, x2…] многочленов от бесконечного числа переменных. Это кольцо конечно порождено как R-модуль. Рассмотрим его подмодуль (т. e. идеал), состоящий из всех многочленов с нулевым коэффициентом при константе. Если бы у этого модуля было конечное порождающее множество, то каждый одночлен xi должен бы был содержаться в одном из многочленов этого множества, что невозможно.

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

Пусть 0 → M′MM′′ → 0 — точная последовательность модулей. Если M′ и M′′ здесь конечно порождены, то и M конечно порождён. Верны и некоторые утверждения, частично обратные к данному. Если M конечно порождён и M'' конечно представлен (это более сильное условие, чем конечнопорождённость, см. ниже), то M′ конечно порождён.

В коммутативной алгебре существует определённая связь между конечнопорождённостью и целыми элементами. Коммутативная алгебра A над R называется конечнопорождённой над R, если существует конечное множество её элементов, такое, что A — наименьшее подкольцо A, содержащее R и эти элементы. Это более слабое условие, чем конечнопорождённость: например, алгебра многочленов R[x] — конечнопорождённая алгебра, но не конечнопорождённый модуль. Следующие утверждения эквивалентны[1]:

  • A — конечнопорождённый модуль;
  • A — конечнопорождённая алгебра, являющаяся целым расширением R.

Конечно представленные, конечно связанные и когерентные модули

Свойство конечнопорождённости можно сформулировать так: конечнопорождённый модуль M — это модуль, для которого существует эпиморфизм

f : RkM.

Рассмотрим теперь эпиморфизм

φ : FM

из свободного модуля F в M.

  • Если ядро эпиморфизма φ конечно порождено, M называется конечно связанным модулем. Поскольку M изоморфно F/ker(φ), это свойство можно выразить следующими словами: M получается из свободного модуля добавлением конечного числа соотношений.
  • Если ядро эпиморфизма φ конечно порождено и ранг F конечен, M называется конечно представленным модулем. Здесь у M имеется конечное число генераторов (образы генераторов F) и конечное число соотношений (генераторов ker(φ)).
  • Когерентный модуль — это конечнопорождённый модуль, все конечнопорождённые подмодули которого конечно представлены.

Если основное кольцо R нётерово, все четыре условия эквивалентны.

Хотя условие когерентности кажется более «громоздким», чем условия конечной связанности и представленности, оно также интересно, потому что категория когерентных модулей является абелевой, в отличие от категории конечнопорождённых или конечно представленных модулей.

См. также

Примечания

  1. Kaplansky, 1970, Theorem 17, p. 11.

Литература

  • Атья М., Макдональд И. . Введение в коммутативную алгебру. — М.: Факториал Пресс, 2003. — ISBN 5-88688-067-4.
  • Bourbaki, Nicolas . Commutative algebra. Chapters 1—7. Translated from the French. Reprint of the 1989 English translation. — Berlin: Springer-Verlag, 1998. — xxiv + 625 p. — (Elements of Mathematics). — ISBN 3-540-64239-0.
  • Kaplansky, Irving . Commutative rings. — Boston: Allyn and Bacon Inc., 1970. — x + 180 p.
  • Lam T. Y. . Lectures on modules and rings. — Springer-Verlag, 1999. — (Graduate Texts in Mathematics. No. 189). — ISBN 978-0-387-98428-5.
  • Lang, Serge. . Algebra. 3rd ed. — Addison-Wesley, 1997. — ISBN 978-0-201-55540-0.
Эта страница в последний раз была отредактирована 9 февраля 2024 в 17:13.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).