Группа гомоморфизмов
Группа гомоморфизмов из данной группы в некоторую коммутативную — абелева группа, состоящая из всех гомоморфизмов между ними, рассматриваемая с операцией поэлементного сложения. Является важной конструкцией в теории групп, теории модулей и гомологической алгебре.

Определение 
Пусть  и  — группы, а  — множество всех гомоморфизмов из  в . Если операция  в группе  коммутативна, то данное множество наделяется следующей бинарной операцией, обозначаемой символом : для двух гомоморфизмов  и  функция  определяется правилом
 
где .

Относительно данной операции множество  является абелевой группой и называется группой гомоморфизмов из  в . А именно, её нулём является тривиальный гомоморфизм, заданный правилом
 ,
где  — нейтральный элемент группы , а противоположным к гомоморфизму  является функция , заданная правилом
 ,
где  — обратный элемент к элементу  относительно операции .

Коммутативность группы  требуется для доказательства того, что  является гомоморфизмом:

 

Кроме того, коммутативность гарантирует, что функция  является гомоморфизмом:

 .
Наконец, коммутативность группы  влечет коммутативность операции :

 .

Примеры 
Гомоморфизмы из циклической группы в произвольную (необязательно коммутативную) однозначно кодируются выбором образа образующей этой циклической группы, однако не любой такой выбор обязательно задаёт гомоморфизм. Если циклическая группа бесконечна, то допустим произвольный выбор. Более того, имеется изоморфизм абелевых групп:

 .

Если циклическая группа имеет конечный порядок , то порядок образа её образующей относительно гомоморфизма обязан делить число . Данное условие является единственным препятствием, и, более того, имеется изоморфизм абелевых групп:

 ,

где  — подгруппа абелевой группы , состоящая из всех тех её элементов, порядок которых делит . Например, для  имеем

 ,
где  — наибольший общий делитель чисел  и . Более того, имеется изоморфизм

 .

Свойства 

Группа гомоморфизмов ведёт себя предсказуемо относительно многих групповых операций. Например, прямого произведения:

 .

Группа гомоморфизмов из данной группы тесно связана с группой гомоморфизмов из её абелианизиации. А именно, согласно универсальному свойству абелианизации, имеется изоморфизм групп:

 .

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

Функториальность 
Для каждой пары фиксированных гомоморфизмов  и  определен гомоморфизм

 ,

заданный правилом . Гомоморфизм  называется индуцированным гомоморфизмом.

Для каждой группы  сопоставление  является функтором из категории абелевых групп в себя, который обозначается символом  и называется hom-функтором, представленным группой . Его композиция с забывающим функтором из категории абелевых групп в категорию множеств является представимым функтором.

Кроме того, для каждой абелевой группы  сопоставление  является контравариантным функтором из категории групп в категорию абелевых групп и называется контравариантным hom-функтором, представленным группой . Его композиция с забывающим функтором из категории абелевых групп в категорию множеств является контравариантным представимым функтором.

Таким образом, сопоставление  является бифунктором, контравариантным по первому аргументу и ковариантным по второму.

См. также

Примечания

Литература 
 

Теория групп
Модули над кольцами
Гомологическая алгебра