cabadathНу тогда вам может оказаться полезным работать именно в терминах груды, образуя ту или иную группу уже по надобности. Это опять же делается аналогично «сдвигу нейтрального»: выбрав им

, определяем
![$x*y = [x,a,y]$ $x*y = [x,a,y]$](https://dxdy-03.korotkov.co.uk/f/2/d/6/2d657435da30b8e8ad8efd4070abfe1682.png)
и
![$x^{-1} = [a,x,a]$ $x^{-1} = [a,x,a]$](https://dxdy-01.korotkov.co.uk/f/8/9/2/892351a113c3e964b380527b43c9f38082.png)
.
-- Пт апр 13, 2018 02:57:09 --Так что, "по Минковскому" я ляпнул зря, вычёркиваю.
Да не зря, не зря.

(по Минковскому!), если

— это именно биекция носителя абелевой группы

в себя. И она действительно переносит одну групповую структуру в другую.