Скрещенный гомоморфизм
Скре́щенный гомоморфи́зм группы в операторную группу над , отображение , удовлетворяющее условию . Если действует на тождественно, то скрещенный гомоморфизм – это обычный гомоморфизм. Скрещенные гомоморфизмы называются также 1-коциклами группы со значениями в (см. в статье Неабелевы когомологии). Каждый элемент определяет скрещенный гомоморфизм. , называется главным скрещенным гомоморфизмом, или коциклом, когомологичным . Отображение является скрещенным гомоморфизмом тогда и только тогда, когда отображение группы в голоморф группы , заданное формулой , где – гомоморфизм, определяющий на структуру операторной группы, является гомоморфизмом. Например, если – линейное представление группы в векторном пространстве , то скрещенный гомоморфизм определяет представление группы аффинными преобразованиями пространства . Ядром скрещенного гомоморфизма называется множество ; оно всегда является подгруппой в .