逆轉準同型
antihomomorphism。反準同型
Antihomomorphism - Wikipedia
半双線型形式 - Wikipedia#一般化
代數構造
$ X,Y
は非可換でもよい乘法を持つとし、加法の
準同型
$ ^*:X\to Y
が
反乘法律
$ (xy)^*=y^*x^*
を滿たせば
逆轉準同型
であると言ふ
逆轉準同型
は乘法の逆轉した對象への
準同型
$ X\to Y^{\rm op}
である
反變函手
逆轉同型
(antiisomorphism)
Antiisomorphism - Wikipedia
逆轉自己同型
(antiautomorphism)
對合逆轉自己同型
(involutive antiautomorphisms)
對合律
$ f;f={\rm id}
を滿たす
逆轉自己同型
典型例
逆元への寫像
$ x\mapsto x^{-1}
複素共軛
$ z\mapsto z^*