Можно ли исходить из определения сопряжённости

?
Так делают в (некоммутативных) группах. Если умножение коммутативно, то получится просто тождественное отображение.
В данном случае "сопряженность" следует понимать как в теории расширений полей: поле комплексных чисел является расширением поля вещественных чисел, и возникает нетривиальный автоморфизм сопряжения (единственный, так как степень расширения равна 2).