Теореми про ізоморфізми

Теореми про ізоморфізми — це три теореми в абстрактній алгебрі, що описують зв'язок між гомоморфізмами, фактор-множинами і під-об'єктами.

Існують версії цих теорем для груп, кілець, модулів, векторних просторів, алгебр Лі та інших алгебраїчних структур. В універсальній алгебрі ці теореми узагальнюються через алгебри довільної сигнатури і конгруенції.

Групи

Перша теорема

Якщо гомоморфізм груп, тоді:

  1. Ядро є нормальною підгрупою в ;
  2. Образ є підгрупою в ;
  3. Образ є ізоморфним до фактор-групи .

Друга теорема

Якщо  — група,  — підгрупа в ,  — нормальна підгрупа в , тоді:

  1. Добуток є підгрупою в ;
  2. Перетин є нормальною підгрупою в ;
  3. Фактор-групи та є ізоморфними.

Третя теорема

Якщо  — група, ,  — нормальні підгрупи в , такі що , тоді:

  1. є нормальною підгрупою в ;
  2. Фактор-група ізоморфна до .

Кільця

Зміст теорем для кілець є подібним, але поняття нормальної підгрупи замінюється на ідеалом кільця.

Перша теорема

Якщо гомоморфізм кілець, тоді:

  1. Ядро є ідеалом в ;
  2. Образ є підкільцем в ;
  3. Образ є ізоморфним до фактор-кільця .

Друга теорема

Якщо  — кільце,  — підкільце в ,  — ідеал в , тоді:

  1. Сума є підкільцем в ;
  2. Перетин є ідеалом в ;
  3. Фактор-кільця та є ізоморфними.

Третя теорема

Якщо  — кільце, ,  — ідеали , такі що , тоді:

  1. є ідеалом в ;
  2. Фактор-кільце ізоморфно до .

Модулі

Теореми про ізоморфізм для векторних просторів та абелевих груп є частковим випадком теорем для модулів. Для векторних просторів детальніше див. Ядро та образ лінійного оператора.

Перша теорема

Якщо гомоморфізм модулів, тоді:

  1. Ядро є підмодулем в ;
  2. Образ є підмодулем в ;
  3. Образ є ізоморфним до фактор-модуля .

Друга теорема

Якщо  — модуль, ,  — підмодулі в , тоді:

  1. Сума є підмодулем в ;
  2. Перетин є підмодулем в ;
  3. Фактор-модулі та є ізоморфними.

Третя теорема

Якщо  — модуль, ,  — підмодулі в , такі що , тоді:

  1. є підмодулем в ;
  2. Фактор-множина ізоморфна до .

Див. також

Література

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.