Пусть
и
– группы, в которых бинарные операции обозначены символами
и
, операции взятия обратных элементов (унарные операции) обозначены
и
, а
и
– единичные элементы.
Пусть
– групповой морфизм (гомоморфизм группы
в группу
).
Тогда отображение
может не обладать свойством …
(здесь
– символ прообраза)