WikiDer > Лемма Накаямы - Википедия

Nakayamas lemma - Wikipedia

В математика, более конкретно абстрактная алгебра и коммутативная алгебра, Лемма Накаямы - также известный как Теорема Крулля – Адзумая^[1] - регулирует взаимодействие между Радикал Якобсона из звенеть (обычно коммутативное кольцо) и это конечно порожденный модули. Неформально лемма сразу дает точный смысл, в котором конечно порожденные модули над коммутативным кольцом ведут себя как векторные пространства через поле. Это важный инструмент в алгебраическая геометрия, потому что он позволяет локальным данным на алгебраические многообразия, в виде модулей над местные кольца, которые будут изучаться поточечно как векторные пространства над полем вычетов кольца.

Лемма названа в честь японского математика Тадаши Накаяма и введен в его нынешнем виде в Накаяма (1951), хотя впервые он был обнаружен в частном случае идеалы в коммутативном кольце Вольфганг Круль а потом вообще Горо Адзумая (1951).^[2] В коммутативном случае лемма является простым следствием обобщенного вида Теорема Кэли – Гамильтона, наблюдение, сделанное Майкл Атья (1969). Частный случай некоммутативной версии леммы для правых идеалов появляется в Натан Джейкобсон (1945), поэтому некоммутативная лемма Накаямы иногда известна как Теорема Джекобсона – Адзумая.^[1] Последний имеет различные приложения в теории Радикалы Якобсона.^[3]

Заявление

Позволять р быть коммутативное кольцо с тождеством 1. Следующая лемма Накаямы, сформулированная в Мацумура (1989):

Положение 1: Позволять я быть идеальный в р, и M а конечно порожденный модуль над р. Если Я = M, то существует р ∈ р с р ≡ 1 (мод я), такое что rM = 0.

Это доказано ниже.

Следующее следствие также известно как лемма Накаямы, и именно в такой форме оно встречается чаще всего.^[4]

Положение 2: Если M является конечно порожденным модулем над р, J (р) это Радикал Якобсона из р, а J (р)M = M, тогда M = 0.

Доказательство: р - 1 (с р как указано выше) находится в радикале Джекобсона, поэтому р обратимо.

В более общем смысле, J (р)M это лишний подмодуль из M когда M конечно порожден.

Положение 3: Если M является конечно порожденным модулем над р, N является подмодулем M, и M = N + J (р)M, тогда M = N.

Доказательство: Применить утверждение 2 к M/N.

Следующий результат выражает лемму Накаямы в терминах образующих.^[5]

Положение 4: Если M является конечно порожденным модулем над р и изображения элементов м₁,...,м_п из M в M / J(р)M генерировать M / J(р)M как р-модуль, затем м₁,...,м_п также генерировать M как р-модуль.

Доказательство: Применить утверждение 3 к N = Σ_яRm_я.

Если вместо этого предположить, что р является полный и M разделяется по я-адическая топология для идеального я в р, последнее утверждение выполняется с я на месте J(р) и не предполагая заранее, что M конечно порожден.^[6] Здесь разделенность означает, что я-адическая топология удовлетворяет Т₁ аксиома разделения, и эквивалентна ${ displaystyle textstyle { bigcap _ {k = 1} ^ { infty} I ^ {k} M = 0.}}$

Последствия

Местные кольца

В частном случае конечно порожденного модуля M через местное кольцо р с максимальный идеал м, частное M/мМ векторное пространство над полем р/м. Из утверждения 4 следует, что a основа из M/мМ лифтов до минимального набора образующих M. Наоборот, любой минимальный набор образующих M получается таким образом, и любые два таких набора образующих связаны между собой обратимая матрица с записями в кольцо.

В таком виде лемма Накаямы обретает конкретное геометрическое значение. Локальные кольца возникают в геометрии как микробы функций в точке. Конечно порожденные модули над локальными кольцами возникают довольно часто как ростки разделы из векторные пакеты. Работая на уровне ростков, а не точек, понятие конечномерного векторного расслоения уступает место понятию связный пучок. Неформально лемма Накаямы утверждает, что когерентный пучок все еще можно рассматривать как исходящий в некотором смысле из векторного расслоения. Точнее, пусть F быть связным пучком О_Икс-модули над произвольным схема Икс. В стебель из F в какой-то момент п ∈ Икс, обозначаемый F_п, является модулем над локальным кольцом О_п. Волокно F в п это векторное пространство F(п) = F_п/м_пF_п куда м_п максимальный идеал О_п. Из леммы Накаямы следует, что базис слоя F(п) поднимается до минимального набора образующих F_п. То есть:

Любая основа волокна связного пучка F в какой-то момент происходит из минимальной базы локальных секций.

Подниматься и опускаться

В восходящая теорема по сути является следствием леммы Накаямы.^[7] Он утверждает:

Позволять р ⊂ S быть интегральное расширение коммутативных колец и п а главный идеал из р. Тогда существует простой идеал Q в S такой, что Q ∩ р = п. Более того, Q может содержать любое простое число Q₁ из S такой, что Q₁ ∩ р ⊂ п.

Модульные эпиморфизмы

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

Если M является конечно порожденным р-модуль и ƒ : M → M сюръективный эндоморфизм, то ƒ является изоморфизмом.^[8]

Об эпиморфизмах модулей можно сказать больше о локальном кольце:^[9]

Предположим, что р является локальным кольцом с максимальным идеалом м, и M, N конечно порождены р-модули. Если φ:M → N является р-линейное отображение такое, что фактор φ_м : M/мМ → N/мН сюръективно, то ф сюръективно.

Гомологические версии

Лемма Накаямы также имеет несколько версий в гомологическая алгебра. Приведенное выше утверждение об эпиморфизмах может использоваться, чтобы показать:^[9]

Позволять M - конечно порожденный модуль над локальным кольцом. потом M является проективный если и только если это свободный.

Геометрическим и глобальным аналогом этого является Теорема Серра – Свона., связывающие проективные модули и когерентные пучки.

В более общем смысле^[10]

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

{ displaystyle operatorname {Tor} _ {i + 1} ^ {R} (k, M) = 0.}

Здесь k поле вычетов р а Tor - это тор-функтор.

Доказательство

Стандартное доказательство леммы Накаямы использует следующую технику из-за Атья и Макдональд (1969).^[11]

Позволять M быть р-модуль, созданный п элементов, а φ:M → M ан р-линейная карта. Если есть идеал я из р такое, что φ (M) ⊂ Я, то есть монический многочлен

{ Displaystyle p (x) = x ^ {n} + p_ {1} x ^ {n-1} + cdots + p_ {n}}

с п_k ∈ я^k, так что

{ Displaystyle р ( varphi) = 0}

как эндоморфизм M.

Это утверждение является в точности обобщенной версией Теорема Кэли – Гамильтона, и доказательство проводится по той же схеме. О генераторах Икс_я из M, имеется отношение вида

{ displaystyle varphi (x_ {i}) = sum _ {j = 1} ^ {n} a_ {ij} x_ {j}}

куда а_ij ∈ я. Таким образом

{ displaystyle sum _ {j = 1} ^ {n} left ( varphi delta _ {ij} -a_ {ij} right) x_ {j} = 0.}

Требуемый результат следует умножением на сопоставлять матрицы (φδ_ij − а_ij) и вызывая Правило Крамера. Тогда находим det (φδ_ij − а_ij) = 0, поэтому искомый многочлен равен

{ displaystyle p (t) = det (t delta _ {ij} -a_ {ij}).}

Чтобы доказать лемму Накаямы из теоремы Кэли – Гамильтона, предположим, что Я = M и возьмем φ как тождество на M. Затем определим многочлен п(Икс) как указано выше. потом

{ displaystyle r = p (1) = 1 + p_ {1} + p_ {2} + cdots + p_ {n}}

имеет требуемое свойство.

Некоммутативный случай

Версия леммы верна для правых модулей над некоммутативными унитальные кольца р. Полученная теорема иногда известна как Теорема Джекобсона – Адзумая.^[12]

Пусть J (р) быть Радикал Якобсона из р. Если U - правый модуль над кольцом, р, и я правильный идеал в р, затем определим U·я быть множеством всех (конечных) сумм элементов вида ты·я, куда · это просто действие р на U. Обязательно, U·я является подмодулем U.

Если V это максимальный подмодуль из U, тогда U/V является просто. Так U·J (р) обязательно является подмножеством V, по определению J (р) и тот факт, что U/V это просто.^[13] Таким образом, если U содержит хотя бы один (собственный) максимальный подмодуль, U·J (р) является собственным подмодулем U. Однако это не обязательно для произвольных модулей U над р, за U не обязательно содержать максимальные подмодули.^[14] Естественно, если U это Нётерян модуль, это верно. Если р нётерский, и U является конечно порожденный, тогда U является нётеровым модулем над р, и вывод доволен.^[15] Несколько примечательно то, что более слабое предположение, а именно, что U конечно порожден как р-модуль (и отсутствие предположения о конечности р), достаточно, чтобы гарантировать вывод. По сути, это утверждение леммы Накаямы.^[16]

А именно:

Лемма Накаямы: Позволять U быть конечно порожденный правый модуль над (унитальным) кольцом р. Если U ненулевой модуль, то U·J (р) является собственным подмодулем U.^[16]

Доказательство

Позволять ${ displaystyle X}$ быть конечным подмножеством ${ displaystyle U}$ , минимальная по свойству, которое она порождает ${ displaystyle U}$ . С ${ displaystyle U}$ не равно нулю, это множество ${ displaystyle X}$ непусто. Обозначим каждый элемент ${ displaystyle X}$ к ${ displaystyle x_ {i}}$ за ${ Displaystyle я в {1, ldots, п }}$ . С ${ displaystyle X}$ генерирует ${ displaystyle U}$ , ${ Displaystyle сумма _ {я = 1} ^ {п} х_ {я} R = U}$ .

Предполагать ${ Displaystyle U cdot OperatorName {J} (R) = U}$ , получаем противоречие. Тогда каждый элемент ${ displaystyle u in U}$ можно выразить как конечную комбинацию ${ Displaystyle и = сумма пределы _ {s = 1} ^ {m} u_ {s} j_ {s}}$ для некоторых ${ displaystyle m in mathbb {N}, , u_ {s} in U, , j_ {s} in operatorname {J} (R), , s = 1, dots, m}$ .

Каждый ${ displaystyle u_ {s}}$ можно далее разложить как ${ displaystyle u_ {s} = sum limits _ {i = 1} ^ {n} x_ {i} r_ {i, s}}$ для некоторых ${ displaystyle r_ {i, s} in R}$ . Следовательно, мы имеем

${ displaystyle u = sum _ {s = 1} ^ {m} left ( sum _ {i = 1} ^ {n} x_ {i} r_ {i, s} right) j_ {s} = sum limits _ {i = 1} ^ {n} x_ {i} left ( sum _ {s = 1} ^ {m} r_ {i, s} j_ {s} right)}$ .

С ${ displaystyle operatorname {J} (R)}$ является (двусторонним) идеалом в ${ displaystyle R}$ , у нас есть ${ displaystyle sum _ {s = 1} ^ {m} r_ {i, s} j_ {s} in operatorname {J} (R)}$ для каждого ${ Displaystyle я в {1, точки, п }}$ , и, таким образом, это становится

{ Displaystyle и = сумма _ {я = 1} ^ {п} х_ {я} к_ {я}}

для некоторых

{ displaystyle k_ {i} in operatorname {J} (R)}

,

{ Displaystyle я = 1, точки, п}

.

Положив ${ Displaystyle и = сумма _ {я = 1} ^ {п} х_ {я}}$ и применяя дистрибутивность, получаем

{ Displaystyle сумма _ {я = 1} ^ {п} х_ {я} (1-к_ {я}) = 0}

.

Выберите несколько ${ displaystyle j in {1, dots, n }}$ . Если правильный идеал ${ displaystyle (1-k_ {j}) R}$ были правильными, то он содержался бы в максимальном правом идеале ${ Displaystyle M neq R}$ и оба ${ displaystyle 1-k_ {j}}$ и ${ displaystyle k_ {j}}$ будет принадлежать ${ displaystyle M}$ , что приводит к противоречию (заметим, что ${ Displaystyle OperatorName {J} (R) substeq M}$ по определению радикала Джекобсона). Таким образом ${ displaystyle (1-k_ {j}) R = R}$ и ${ displaystyle 1-k_ {j}}$ имеет право обратный ${ displaystyle (1-k_ {j}) ^ {- 1}}$ в ${ displaystyle R}$ . У нас есть

{ displaystyle sum _ {я = 1} ^ {n} x_ {i} (1-k_ {i}) (1-k_ {j}) ^ {- 1} = 0}

.

Следовательно,

{ displaystyle sum _ {я neq j} x_ {i} (1-k_ {i}) (1-k_ {j}) ^ {- 1} = - x_ {j}}

.

Таким образом ${ displaystyle x_ {j}}$ является линейной комбинацией элементов из ${ Displaystyle X setminus {x_ {j} }}$ . Это противоречит минимальности ${ displaystyle X}$ и устанавливает результат.^[17]

Градуированная версия

Существует также градуированная версия леммы Накаямы. Позволять р быть кольцом, которое оцененный упорядоченной полугруппой неотрицательных целых чисел, и пусть ${ displaystyle R _ {+}}$ обозначают идеал, порожденный положительно градуированными элементами. Тогда если M является градуированным модулем над р для которого ${ displaystyle M_ {i} = 0}$ за я достаточно отрицательный (в частности, если M конечно порожден и р не содержит элементов отрицательной степени) такие, что ${ displaystyle R _ {+} M = M}$ , тогда ${ displaystyle M = 0}$ . Особое значение имеет случай, когда р кольцо многочленов со стандартной градуировкой, а M - конечно порожденный модуль.

Доказательство намного проще, чем в случае без оценки: я быть наименьшим целым таким, что ${ displaystyle M_ {i} neq 0}$ , Мы видим, что ${ displaystyle M_ {i}}$ не появляется в ${ displaystyle R _ {+} M}$ так что либо ${ Displaystyle M neq R _ {+} M}$ , или такой я не существует, т.е. ${ displaystyle M = 0}$ .

Смотрите также

Примечания

^ ^а ^б Нагата 1962, §A.2
^ Нагата 1962, §A.2; Мацумура 1989, п. 8
^ Айзекс 1993, Следствие 13.13, с. 184
^ Эйзенбуд 1995, Следствие 4.8; Атья и Макдональд (1969, Предложение 2.6)
^ Эйзенбуд 1995, Следствие 4.8 (b)
^ Эйзенбуд 1995, Упражнение 7.2
^ Эйзенбуд 1993, §4.4
^ Мацумура 1989, Теорема 2.4
^ ^а ^б Гриффитс и Харрис 1994, п. 681
^ Эйзенбуд 1993, Следствие 19.5
^ Мацумура 1989, п. 7: "Стандартный метод, применимый к конечным А-модули - это «детерминантный трюк» ... »См. также доказательство, содержащееся в Эйзенбуд (1995 г., §4.1).
^ Нагата 1962, §A2
^ Айзекс 1993, п. 182
^ Айзекс 1993, п. 183
^ Айзекс 1993, Теорема 12.19, с. 172
^ ^а ^б Айзекс 1993, Теорема 13.11, с. 183
^ Айзекс 1993, Теорема 13.11, с. 183; Айзекс 1993, Следствие 13.12, с. 183

Navigation

Navigation

Themenportale

WikiDer > Лемма Накаямы - Википедия

Содержание

Заявление

Последствия

Местные кольца

Подниматься и опускаться

Модульные эпиморфизмы

Гомологические версии

Доказательство

Некоммутативный случай

Доказательство

Градуированная версия

Смотрите также

Примечания

Рекомендации