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