67574

Изоморфизмы и гомоморфизмы

Лекция

Математика и математический анализ

Напомним, что отображение называется инъективным, если оно переводит различные элементы из X в различные элементы Y и сюръективным, если его образ совпадает со всем Y. Например, естественный гомоморфизм группы на подгруппу сюръективен. Из определения сразу следует, что гомоморфизм...

Русский

2014-09-12

290 KB

4 чел.

Лекция 3

Изоморфизмы и гомоморфизмы

Определение

Пусть  и  две группы и  некоторое отображение.  называется изоморфизмом, а группы  и  - изоморфными (однотипными), если

1.  - взаимно однозначно и

2. .

Изоморфизм групп  и  обозначается символом .

Если выполнено только условие 2. , то отображение  называется гомоморфизмом (подобием).

Примеры

1. Пусть группы  и  заданы таблицами умножения:

          

и

      

Отображение  является изоморфизмом. ( При всяком изоморфизме просто меняются обозначения элементов. “Внутренняя структура” группы остается неизменной).

2. Пусть =Z (группа целых чисел с операцией сложения),  - группа из предыдущего примера. Положим: (2n)=p; (2n+1)=q.

Тогда  - гомоморфизм.

3. Пусть H - нормальная подгруппа в G и G/H соответствующая факторгруппа. Напомним, что ее элементами являются всевозможные смежные классы x*H, где  . Определим отображение  формулой: (x)=x*H.  Поскольку смежные классы перемножаются по формуле (x*H)*(y*H)= (x*y)*H, отображение  является гомоморфизмом. Оно называется естественным гомоморфизмом группы на факторгруппу.

Простейшие свойства гомоморфизмов групп.

Пусть  - гомоморфизм. Тогда:

.

Если  -подгруппа, то  -подгруппа в .

Если  - (нормальная) подгруппа, то  - (нормальная) подгруппа в .

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

Пусть - любой элемент. Тогда  и по признаку нейтрального элемента .

Имеем: . По признаку обратного элемента получаем: .

Применим признак подгруппы:  

Пусть  - подгруппа. - элементы из , то есть  и  входят в К. Тогда  и потому. Значит,  - подгруппа . Пусть теперь К - нормальная подгруппа и  - любой элемент. Тогда  и значит. Аналогично, .  Поскольку , то и , то есть подгруппа  нормальна в .

Замечание

Образ нормальной подгруппы не всегда  нормален.

Из доказанной теоремы следует  в частности, что для всякого гомоморфизма    подгруппа в . Она называется образом гомоморфизма  и обозначается Im . Точно также,  - подгруппа в , причем нормальная, поскольку тривиальная подгруппа {e} нормальна в любой группе. Она называется ядром гомоморфизма  и обозначается Ker .

Инъективные и сюръективные гомоморфизмы.

Напомним, что отображение называется инъективным, если оно переводит различные элементы из X в различные элементы Y и сюръективным, если его образ совпадает со всем Y. Например, естественный гомоморфизм группы на подгруппу сюръективен. Из определения сразу следует, что гомоморфизм   cюръективен тогда и только тогда, когда Im .

Критерий инъективности гомоморфизма групп

Гомоморфизм групп  инъективен тогда и только тогда, когда Ker  ={}.

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

Поскольку ,  и значит, если  инъективно в ядре не может быть других элементов и таким образом Ker  ={e}. Обратно, пусть ядро  состоит только из нейтрального элемента и x и y - два таких элемента , что . Тогда   и значит   и потому равно  . Отсюда получаем x=y и  инъективно.

Следствие

Если Ker = {e}, то  изоморфно отображает  на подгруппу Im .

Теорема Кэли

Всякая конечная группа порядка n изоморфна подгруппе группы перестановок из n элементов.

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

Пусть G={}- группа порядка n. Составим для нее таблицу Кэли.  В i-ой строке этой таблицы выписаны элементы , которые только порядком следования отличаются от первоначального набора элементов группы. Обозначим полученную перестановку . Определим отображение  по формуле . Как нам известно, произведению элементов группы G отвечает композиция перестановок, то есть  -гомоморфизм.  Если, то, в частности,  и значит. Таким образом, Ker тривиально и определяет изоморфизм между G и подгруппой Im  в .

Теорема о гомоморфизме для групп 

Пусть  сюръективный гомоморфизм. Тогда факторгруппа  изоморфна . Если эти изоморфные группы отождествить, то  превращается в естественный гомоморфизм .

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

Обозначим H=ker . Следующим образом определим отображение

. Пусть С произвольный элемент  то есть некоторый смежный класс группы  по ее подгруппе H. Возьмем любой .  Тогда   не зависит от выбора элемента x. В самом деле, если  любой другой элемент, то y=x*h, где  и значит, . Положим: . Используя правило перемножения смежных классов, получаем: Ф((x*H)*(y*H)) =Ф((x*y)*H)=  = Ф(x*H)Ф(y*H), то есть построенное отображение - гомоморфизм. Если  любой элемент, то поскольку  сюръективно, найдется такой  , что . Но тогда Ф(x*H)=. Значит Ф - сюръективно. Если Ф(x*H)= , то ф(x)= ,  и потому x*H=H= . Это доказывает, что Ker Ф=е и значит Ф - инъективно и, следовательно, является изоморфизмом. Поскольку(x)= Ф(x*H), мы видим, что если считать изоморфизм Ф тождественным отображением ( то есть отождествить и G/H), отображение  совпадет с естественным гомоморфизмом, переводящим x в x*H.

Следствие

Всякий гомоморфизм   определяет изоморфизм между факторгруппой  и подгруппой Im .

Примеры

Пусть ={1, -1} с операцией умножения. Определим гомоморфизм ), сопоставляя каждой четной перестановке число 1, а нечетной - число (-1). Тогда Ker  - подгруппа четных перестановок. Очевидно, что при n>1  сюръективно. По теореме о гомоморфизме  -нормальная подгруппа в  и .  

Отображение (А)=det(A) является сюръективным гомоморфизмом группы GL(n,R) всех невырожденных матриц порядка n  в группу  не равных нулю чисел с операцией умножения. При этом Ker = SL(n,R) -подгруппа матриц с определителем 1. Значит  эта подгруппа нормальна и GL(n,R) /SL(n,R) .


 

А также другие работы, которые могут Вас заинтересовать

41614. Состояние дерматовенерологических больных в Винницкой области 354.5 KB
  Проблема совершенствования лекарственного обеспечения населения регионов Украины остается актуальной. Особое значение в её решении имеет региональный подход к изучению фармацевтического рынка, его насыщенности и рациональному использованию лекарственных средств. С этой целью широко используются метод фармакоэкономического анализа
41615. Решение уравнения f(x)=0 методами простых итераций и Ньютона 134.65 KB
  Если же то вычисления заканчивают и за приближённое значение корня принимают величину . Абсциссы вершин этой ломанной представляют собой последовательные приближения корня . Из рисунков видно что если на отрезке то последовательные приближения колеблются около корня если же производная положительна то последовательные приближения сходятся к корню монотонно. Если через точку с координатами провести касательную то абсцисса точки пересечения этой касательной с осью и есть очередное приближение корня уравнения .
41616. Інтенсифікація сільськогосподарського виробництва в землеробстві і удосконалення с структури посівних площ в господарстві \"Студенний Яр\" у селі Купа Новоушицького району Хмельницької області 541.5 KB
  Загальні відомості про господарство на період написання курсової роботи. Агрокліматичні умови зони розташування господарства. Агрохімічна характеристика ґрунтів та рекомендації до їх раціонального використання. Експлікація і трансформація земельних угідь господарства. Існуюча система сівозмін у господарстві. Обґрунтування та проектування нової системи сівозмін для господарства
41617. Приближённое решение задачи Коши методами Эйлера и Рунге-Кутта 97.24 KB
  Решить на отрезке с шагом задачу Коши для системы второго порядка = Требуется использовать: метод Эйлера метод Рунге-Кутта Теория: 1 Метод Эйлера Пусть требуется найти приближённое решение дифференциального уравнения удовлетворяющее начальному условию. Чаще всего 1 Этот метод относится к группе одношаговых методов в которых для расчёта точки...
41618. Автоматизация кодирования графа переходов 145 KB
  В результате выполнения данной лабораторной работы я приобрёл навыки по автоматизации соседнего кодирования графа переходов автомата Мили. Соседнее кодирование реализовано по алгоритму, описаному выше...
41619. Текстовий редактор 122.58 KB
  Лістинг програми fn=String::Empty; textChnged=flse; } prgm endregion privte: System::Void копіюватиToolStripMenuItem_ClickSystem::Object^ sender System::Eventrgs^ e { textBox1 Copy; } privte: System::Void копіюватиToolStripMenuItem1_ClickSystem::Object^ sender System::Eventrgs^ e { textBox1 Copy; } privte: System::Void вирізатиToolStripMenuItem_ClickSystem::Object^ sender System::Eventrgs^ e { textBox1 Cut; } privte: System::Void...
41620. Решение задачи Дирихле для уравнения Пуассона методом Чебышева 103.07 KB
  Разностную задачу 5 будем решать явным итерационным методом с чебышевским набором параметров который выражается следующей формулой: 10 где заданное число итераций . 11 Результаты: В вычислениях использовался следующий алгоритм: Задаём количество итераций полагаем тогда шаг сетки =01. Полученный ответ с точностью до...
41621. Генерация таблицы переходов и функций возбуждения тригеров 141.5 KB
  В результате выполнения данной лабораторной работы я приобрёл навыки анализа графовых структур и автоматизации процедуры построения таблицы переходов. Мной был разработан класс для генерации таблицы переходов.
41622. Решение первой начальной краевой задачи для уравнения теплопроводности по схеме Кранка-Николсона 102.29 KB
  Задача: Используя метод простых итераций метод Чебышева и метод наискорейшего спуска найти по схеме КранкаНиколсона приближенное решение задачи: 1 2...