If a map f:G->G^' from a group G to a group G^' satisfies f(ab)=f(b)f(a) for all a,b in G, then f is said to be an antihomomorphism. Moreover, if G and G^' are isomorphic, then f is said to be an antiautomorphism.

See also

Antihomomorphism, Automorphism

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Antiautomorphism." From MathWorld--A Wolfram Web Resource.

Subject classifications