Definition:Antihomomorphism

Definition
Let $\phi: \left({S, \circ}\right) \to \left({T, *}\right)$ be a mapping from one algebraic structure $\left({S, \circ}\right)$ to another $\left({T, *}\right)$.

Then $\phi$ is an antihomomorphism :


 * $\forall x, y \in S: \phi \left({x \circ y}\right) = \phi \left({y}\right) * \phi \left({x}\right)$

For structures with more than one operation, $\phi$ may be antihomomorphic for a subset of those operations.

Group Antihomomorphism
Let $\left({S, \circ}\right)$ and $\left({T, *}\right)$ be groups.

Then $\phi: S \to T$ is a group antihomomorphism :
 * $\forall x, y \in S: \phi \left({x \circ y}\right) = \phi \left({y}\right) * \phi \left({x}\right)$

Ring Antihomomorphism
Let $\left({R, +, \circ}\right)$ and $\left({S, \oplus, *}\right)$ be rings.

Then $\phi: R \to S$ is a ring antihomomorphism :
 * $\forall a, b \in R: \phi \left({a + b}\right) = \phi \left({a}\right) \oplus \phi \left({b}\right)$
 * $\forall a, b \in R: \phi \left({a \circ b}\right) = \phi \left({b}\right) * \phi \left({a}\right)$

Field Homomorphism
Let $\left({R, +, \circ}\right)$ and $\left({S, \oplus, *}\right)$ be fields.

Then a ring antihomomorphism $\phi: \left({R, +, \circ}\right) \to \left({S, \oplus, *}\right)$ is called a field antihomomorphism.