反自同构

如果从映射 从一个群 到一个群 满足 对于所有 ，则称 为一个反同态。此外，如果 和 同构，则称 为反自同构。