Пусть
![](https://st.testna5.ru/images/12b/12b502e150ec1abd5221cae1d9ad1f6b.png)
и
![](https://st.testna5.ru/images/272/2725c11376138dd96ceb1ef4b88b5b11.png)
– группы, в которых бинарные операции обозначены символами
![](https://st.testna5.ru/images/65a/65a819558f400c9e0967f5a2d8e111ca.png)
и
![](https://st.testna5.ru/images/b3d/b3d078ec18a41251b7b9ed525c41b6c5.png)
, операции взятия обратных элементов (унарные операции) обозначены
![](https://st.testna5.ru/images/d44/d445c597aef36659d8a39b8756ba1a5f.png)
и
![](https://st.testna5.ru/images/cee/ceebdd062d3d67f08258d7b529d7231e.png)
, а
![](https://st.testna5.ru/images/0de/0de9726f8977725295ea42fdb70a5ffe.png)
и
![](https://st.testna5.ru/images/cb4/cb4ed89fcba14917f1a48491c666b420.png)
– единичные элементы.
Пусть
![](https://st.testna5.ru/images/df7/df7037877ca8f49ef3fcf2b2da04ca91.png)
– групповой морфизм (гомоморфизм группы
![](https://st.testna5.ru/images/4ad/4addf1693df520fc829cdb7b0639ef0d.png)
в группу
![](https://st.testna5.ru/images/83e/83eb90dcaea3afc7956373a42a15a74a.png)
).
Тогда отображение
![](https://st.testna5.ru/images/623/6231732905d2a551f08de8bb3f537aba.png)
может не обладать свойством …