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

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

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

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

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

Размерность Крулля позволяет сформулировать чисто алгебраическое определение размерности алгебраического многообразия: размерность аффинного алгебраического многообразия, заданного идеалом в кольце многочленов  — это размерность Крулля факторкольца .

Определение

Длина цепочки простых идеалов вида:

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

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

Примеры

  • Размерность произвольного поля равна нулю, более общо, размерность кольца многочленов k[x1, …, xn] равна n. Более того, если R — нётерово кольцо, размерность которого равна n, то размерность кольца R[x] равна n+1. Без гипотезы нётеровости размерность R[x] может находиться в пределах от n+1 до 2n+1.
  • Размерность любого кольца главных идеалов равна 1.
  • Целостное кольцо является полем тогда и только тогда, когда его размерность равна нулю. Дедекиндовы кольца, не являющиеся полями, имеют размерность 1.
  • Нётерово кольцо является артиновым тогда и только тогда, когда его размерность равна нулю.
  • Целое расширение кольца имеет ту же размерность, что и исходное кольцо.
  • Размерность Крулля кольца R равна размерности его спектра как топологического пространства, то есть максимальной длине цепочки неприводимых замкнутых подмножеств.

Размерность модуля

Если R — коммутативное кольцо и M — R-модуль, размерность Крулля M определяется как размерность Крулля факторкольца по аннулятору модуля:

где AnnR(M) — это ядро естественного отображения R → EndR(M) (сопоставляющего элементу кольца умножение на этот элемент).

Высота идеала

Высота простого идеала коммутативного кольца  — это супремум длин цепочек[⇨] простых идеалов, содержащихся в . Например, высота простого идеала, не содержащего других простых идеалов, равна 0. Размерность Крулля кольца можно определить как супремум высоты по множеству простых идеалов.

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

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

См. также

Литература

  • Атья М., Макдональд И. Введение в коммутативную алгебру. — Факториал Пресс, 2003 — ISBN 5-88688-067-4.
  • Irving Kaplansky, Commutative rings (revised ed.), University of Chicago Press, 1974, — ISBN 0-226-42454-5. Page 32.
  • Eisenbud, David (1995), Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960
Эта страница в последний раз была отредактирована 9 февраля 2024 в 17:09.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).