WikiDer > Теоремы об изоморфизме

Isomorphism theorems

В математикав частности абстрактная алгебра, то теоремы об изоморфизме (также известен как Теоремы Нётер об изоморфизме) находятся теоремы которые описывают отношения между частные, гомоморфизмы, и подобъекты. Версии теорем существуют для группы, кольца, векторные пространства, модули, Алгебры Ли, и различные другие алгебраические структуры. В универсальная алгебра, теоремы об изоморфизме могут быть обобщены на контекст алгебр и совпадения.

История

Теоремы об изоморфизме сформулированы в некоторой общности для гомоморфизмов модулей формулой Эмми Нётер в ее газете Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, который был опубликован в 1927 г. Mathematische Annalen. Менее общие версии этих теорем можно найти в работе Ричард Дедекинд и предыдущие статьи Нётер.

Три года спустя, Б.Л. ван дер Варден опубликовал свои влиятельные Алгебра, первый абстрактная алгебра учебник, занявший группы-кольца-поля подход к теме. Ван дер Варден зачислял лекции Нётер на теория групп и Эмиль Артин по алгебре, а также семинар Артина, Вильгельм Блашке, Отто Шрайер, и сам ван дер Варден на идеалы в качестве основных ссылок. Три теоремы об изоморфизме, называемые теорема о гомоморфизме, и два закона изоморфизма при применении к группам отображаются явно.

Группы

Сначала представим теоремы об изоморфизме группы.

Обратите внимание на номера и имена

Ниже мы представляем четыре теоремы, обозначенные A, B, C и D. Они часто нумеруются как «Первая теорема об изоморфизме», «Вторая ...» и так далее; однако единого мнения о нумерации нет. Здесь мы приводим некоторые примеры теорем об изоморфизме групп (обратите внимание, что эти теоремы имеют аналоги для колец и модулей.) В литературе:

Сравнение названий теорем об изоморфизме групп
АвторТеорема АТеорема BТеорема C
Никакой "третьей" теоремыЯкобсон[1]Основная теорема гомоморфизмов(вторая теорема об изоморфизме)"часто называют первой теоремой об изоморфизме"
ван дер Варден,[2] Дурбин[4]Основная теорема гомоморфизмовпервая теорема об изоморфизмевторая теорема об изоморфизме
Кнапп[5](без имени)Вторая теорема об изоморфизмеПервая теорема об изоморфизме
Гриль[6]Теорема гомоморфизмаВторая теорема об изоморфизмеПервая теорема об изоморфизме
Три пронумерованные теоремы(Другое соглашение, упомянутое в Grillet)Первая теорема об изоморфизмеТретья теорема об изоморфизмеВторая теорема об изоморфизме
Ротман[7]Первая теорема об изоморфизмеВторая теорема об изоморфизмеТретья теорема об изоморфизме
Без нумерацииMilne[8]Теорема гомоморфизмаТеорема об изоморфизмеТеорема о соответствии
Скотт[9]Теорема гомоморфизмаТеорема об изоморфизмеТеорема первокурсника

Реже включают теорему D, обычно известную как "решеточная теорема"или" теорема соответствия "одной из теорем об изоморфизме, но когда они это сделают, это будет последняя.

Формулировка теорем

Теорема А

Схема основной теоремы о гомоморфизмах

Позволять г и ЧАС быть группами, и пусть φг → ЧАС быть гомоморфизм. Потом:

  1. В ядро из φ это нормальная подгруппа из г,
  2. В образ из φ это подгруппа из ЧАС, и
  3. Образ φ является изоморфный к факторгруппа г / кер (φ).

В частности, если φ является сюръективный тогда ЧАС изоморфен г / кер (φ).

Теорема B

Схема теоремы B

Позволять быть группой. Позволять быть подгруппой , и разреши нормальная подгруппа . Тогда имеет место следующее:

  1. В товар является подгруппой ,
  2. В пересечение нормальная подгруппа , и
  3. Фактор-группы и изоморфны.

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

Эту теорему иногда называют «теоремой об изоморфизме»,[8] "теорема алмаза"[10] или «теорема о параллелограмме».[11]

Применение второй теоремы об изоморфизме определяет проективные линейные группы: например, группа на сложная проективная линия начинается с настройки , группа обратимых комплексных матриц 2 × 2, , подгруппа матриц определителя 1, и нормальная подгруппа скалярных матриц , у нас есть , где - единичная матрица, а . Тогда вторая теорема об изоморфизме утверждает, что:

Теорема C

Позволять быть группой, и нормальная подгруппа .Потом

  1. Если является подгруппой такой, что , тогда имеет подгруппу, изоморфную .
  2. Каждая подгруппа имеет форму для какой-то подгруппы из такой, что .
  3. Если нормальная подгруппа такой, что , тогда имеет нормальную подгруппу, изоморфную.
  4. Каждая нормальная подгруппа группы имеет форму , для некоторой нормальной подгруппы из такой, что .
  5. Если нормальная подгруппа такой, что , то фактор-группа изоморфен .

Теорема D

В теорема соответствия (также известная как теорема о решетке) иногда называют третьей или четвертой теоремой об изоморфизме.

В Лемма Цассенхауза (также известную как лемма о бабочке) иногда называют четвертой теоремой об изоморфизме.[нужна цитата]

Обсуждение

Первую теорему об изоморфизме можно выразить в виде теоретическая категория язык, говоря, что категория групп является (нормальным, эпи, моно) -факторизуемым; другими словами, нормальные эпиморфизмы и мономорфизмы сформировать система факторизации для категории. Это зафиксировано в коммутативная диаграмма на полях, где показаны объекты и морфизмы, о существовании которых можно судить по морфизму . Схема показывает, что каждый морфизм в категории групп имеет ядро в теоретическом смысле категории; произвольный морфизм ж факторы в , где ι является мономорфизмом и π является эпиморфизмом (в конормальной категории все эпиморфизмы нормальны). Это представлено на схеме объектом и мономорфизм (ядра - всегда мономорфизмы), завершающие краткую точная последовательность бегущий из нижнего левого угла в верхний правый угол диаграммы. Использование соглашения о точной последовательности избавляет нас от необходимости рисовать нулевые морфизмы от к и .

Если последовательность разбита справа (т. Е. Существует морфизм σ что отображает к π-прообраз самого себя), то г это полупрямой продукт нормальной подгруппы и подгруппа . Если он разделен слева (т. Е. Существует несколько такой, что ), то он также должен быть разделен вправо, и это прямой продукт разложение г. В общем, наличие правого раскола не подразумевает существования левого раскола; но в абелева категория (например, абелевы группы), левые и правые расщепления эквивалентны лемма о расщеплении, и правильного разделения достаточно, чтобы получить прямая сумма разложение . В абелевой категории все мономорфизмы также нормальны, и диаграмма может быть расширена второй короткой точной последовательностью .

Во второй теореме об изоморфизме произведение SN это присоединиться из S и N в решетка подгрупп из г, а пересечение S ∩ N это встреча.

Третья теорема об изоморфизме обобщается девять лемм к абелевы категории и более общие карты между объектами.

Кольца

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

Теорема А

Позволять р и S быть кольцами, и пусть φр → S быть кольцевой гомоморфизм. Потом:

  1. В ядро из φ это идеал р,
  2. В образ из φ это подкольцо из S, и
  3. Образ φ изоморфен кольцо частного р / кер (φ).

В частности, если φ является сюръективный тогда S изоморфен р / кер (φ).

Теорема B

Позволять р быть кольцом. Позволять S быть подкольцом р, и разреши я быть идеалом р. Потом:

  1. Сумма S + я = {s + я | s ∈ Sя ∈ я} - это подкольцо р,
  2. Пересечение S ∩ я это идеал S, и
  3. Факторкольца (S + я) / я и S / (S ∩ я) изоморфны.

Теорема C

Позволять р быть кольцом, и я идеал р.Потом

  1. Если это подкольцо такой, что , тогда это подкольцо .
  2. Каждое подкольцо имеет форму , для некоторого подкольца из такой, что .
  3. Если это идеал такой, что , тогда это идеал .
  4. Каждый идеал имеет форму , для идеала из такой, что .
  5. Если это идеал такой, что , то факторкольцо изоморфен .

Теорема D

Позволять быть идеалом . Переписка - сохраняющая включение биекция между множеством подколец из которые содержат и набор подколец . Более того, (вложенное кольцо, содержащее ) является идеалом если и только если это идеал .[12]

Модули

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

В дальнейшем "модуль" будет означать "р-модуль »для некоторого фиксированного кольца р.

Теорема А

Позволять M и N быть модулями, и пусть φM → N быть модульный гомоморфизм. Потом:

  1. В ядро из φ является подмодулем M,
  2. В образ из φ является подмодулем N, и
  3. Образ φ изоморфен модуль частного M / кер (φ).

В частности, если φ сюръективно, то N изоморфен M / кер (φ).

Теорема B

Позволять M - модуль, и пусть S и Т быть подмодулями M. Потом:

  1. Сумма S + Т = {s + т | s ∈ Sт ∈ Т} является подмодулем M,
  2. Пересечение S ∩ Т является подмодулем M, и
  3. Фактормодули (S + Т) / Т и S / (S ∩ Т) изоморфны.

Теорема C

Позволять M быть модулем, Т подмодуль M.

  1. Если является подмодулем такой, что , тогда является подмодулем .
  2. Каждый подмодуль имеет форму , для некоторого подмодуля из такой, что .
  3. Если является подмодулем такой, что , то фактормодуль изоморфен .

Теорема D

Позволять быть модулем, подмодуль . Между подмодулями которые содержат и подмодули . Соответствие дается для всех . Это соответствие коммутирует с процессами суммирования и пересечений (т. Е. Является решеточным изоморфизмом между решеткой подмодулей модуля и решетка подмодулей которые содержат ).[13]

Общее

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

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

Теорема А

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

Теорема B

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

  1. это сравнение на ,
  2. является подалгеброй , и
  3. алгебра изоморфна алгебре .

Теорема C

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

Теорема D

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

Заметка

  1. ^ Джейкобсон (2009), сек 1.10
  2. ^ ван дер Варден, Алгебра (1994).
  3. ^ Дурбин (2009), сек. 54
  4. ^ [имена] по сути такие же, как [van der Waerden 1994][3]
  5. ^ Кнапп (2016), сек IV 2
  6. ^ Grillet (2007), сек. Я 5
  7. ^ Ротман (2003), сек. 2,6
  8. ^ а б Милн (2013), гл. 1 сек. Теоремы о гомоморфизмах
  9. ^ Скотт (1964), разделы 2.2 и 2.3
  10. ^ И. Мартин Айзекс (1994). Алгебра: выпускной курс. American Mathematical Soc. п.33. ISBN 978-0-8218-4799-2.
  11. ^ Пол Мориц Кон (2000). Классическая алгебра. Вайли. п.245. ISBN 978-0-471-87731-8.
  12. ^ Даммит, Дэвид С .; Фут, Ричард М. (2004). Абстрактная алгебра. Хобокен, Нью-Джерси: Уайли. п.246. ISBN 978-0-471-43334-7.
  13. ^ Даммит и Фут (2004), стр. 349
  14. ^ Стэнли и Санкаппанавар (2012), стр. 37
  15. ^ Стэнли и Санкаппанавар (2012), стр. 49
  16. ^ Уильям Сан, (https://math.stackexchange.com/users/413924/william-sun). «Есть ли общая форма теоремы о соответствии?». Математика StackExchange. Получено 20 июля 2019.

использованная литература

  • Эмми Нётер, Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, Mathematische Annalen 96 (1927) стр. 26–61
  • Колин Макларти, "Теоретико-множественная топология Эмми Нётер: от Дедекинда к появлению функторов". Архитектура современной математики: очерки истории и философии (Отредактировано Джереми Грей и Хосе Феррейрос), Oxford University Press (2006), стр. 211–35.
  • Джейкобсон, Натан (2009), Базовая алгебра, 1 (2-е изд.), Дувр, ISBN 9780486471891
  • Пол М. Кон, Универсальная алгебра, Глава II.3 с. 57
  • Милн, Джеймс С. (2013), Теория групп, 3.13
  • ван дер Варден, Б. И. (1994), Алгебра, 1 (9-е изд.), Springer-Verlag
  • Даммит, Дэвид С .; Фут, Ричард М. (2004). Абстрактная алгебра. Хобокен, Нью-Джерси: Уайли. ISBN 978-0-471-43334-7.
  • Беррис, Стэнли; Санкаппанавар, Х. П. (2012). Курс универсальной алгебры (PDF). ISBN 978-0-9880552-0-9.
  • В. Р. Скотт (1964), Теория групп, Прентис Холл
  • Джон Р. Дурбин (2009). Современная алгебра: введение (6 изд.). Вайли. ISBN 978-0-470-38443-5.
  • Энтони В. Кнапп (2016), Основы алгебры (Цифровое второе изд.)
  • Пьер Антуан Грийе (2007), Абстрактная алгебра (2-е изд.), Springer
  • Джозеф Дж. Ротман (2003), Продвинутая современная алгебра (2-е изд.), Прентис Холл, ISBN 0130878685