Хелпикс

Главная

Контакты

Случайная статья





Гомоморфизм и изоморфизм групп.



Примеры.

1) (Z, +) − циклическая группа с образующим элементом 1.

2) Группа корней n-ой степени из 1 − циклическая мультипликативная группа с образующим элементом, получаем по формуле (11) из § 1   при

6°.Гомоморфизм и изоморфизм групп.

Определение 18. Пусть и  − множества,  и  − бинарные операции (на и  соответственно). Гомоморфизмом из  в  называется отображение  такое, что

Пример. Отображение  является гомоморфизмом из (R, +) в (R, ). Это следует из справедливости равенства

Замечания. 

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

2. Так как полугруппа, группа, кольцо и так далее являются множествами с операциями, то очевидно, как определяются понятия гомоморфизма полугрупп, групп и так далее.

Определение 19.Изоморфизм − это биективный гомоморфизм.

Определение 20. Говорят, что пара  изоморфна паре , если  изоморфизм из  в .

Обозначение.  означает, что  изоморфно . Иногда пишут .

Примеры.

1) Отображение  является изоморфизмом из (R; +) в (R>0; ). Действительно, это отображение является гомоморфизмом (см. предыдущий пример) и биективным отображением (в силу свойств экспоненциальной функции).

2) В начале §1 комплексные числа определялись как пары действительных чисел. Множество пар вида  отождествлялись с множеством действительных чисел R. Это возможно в силу изоморфизма этих двух множеств.

Отображение C C такое, что , является изоморфизмом.

3) Отображение  R R такое, что , является изоморфизмом аддитивной группы и не является гомоморфизмом мультипликативной группы.    Действительно, , но .

Теорема 7. Пусть  − изоморфизм. Тогда

1) если  − коммутативна, то  − также коммутативна;

2) аналогично для ассоциативности;

3) если  − нейтральный элемент в  относительно , то  − нейтральный элемент в  относительно ;

4) если  и  − взаимно обратные элементы из , то  и  − взаимно обратные из .



  

© helpiks.su При использовании или копировании материалов прямая ссылка на сайт обязательна.