# Antimorphisme

En mathématiques, un antimorphisme (parfois appelé antihomomorphisme), est une application entre deux structures algébriques qui renverse l'ordre des opérations.

## Cas des magmas

Considérons les magmas $(X,*_{X})$ et $(Y,*_{Y})$, c'est-à-dire que $X$ et $Y$ sont deux ensembles munis respectivement de deux lois de composition interne notées $*_{X}$ et $*_{Y}$. Une application $\phi \colon X\to Y$ est un antimorphisme de $(X,*_{X})$ dans $(Y,*_{Y})$ si
    $\forall (x_{1},x_{2})\in X^{2},\quad \phi (x_{1}*_{X}x_{2})=\phi (x_{2})*_{Y}\phi (x_{1}).$
Autrement dit, si on définit le magma opposé $(Y^{\mathrm {op} },*_{Y^{\mathrm {op} }})$ par $Y^{\mathrm {op} }:=Y$ et
    $\forall (y_{1},y_{2})\in (Y^{\mathrm {op} })^{2},\quad y_{1}*_{Y^{\mathrm {op} }}y_{2}:=y_{2}*_{Y}y_{1}$
alors $\phi$ est un antimorphisme de $(X,*_{X})$ dans $(Y,*_{Y})$ si et seulement si $\phi$ est un morphisme de $(X,*_{X})$ dans $(Y^{\mathrm {op} },*_{Y^{\mathrm {op} }})$.
* Dans le cas où $Y=X$ et $\phi$ est bijective, on dit que c'est un antiautomorphisme.
* Dans le cas où la loi $*_{Y}$ est commutative, les notions d'antimorphisme et de morphisme sont les mêmes, ainsi que celles d'automorphisme et d'antiautomorphisme.
* La composition de deux antimorphismes est un morphisme, puisqu'inverser deux fois l'ordre des opérations préserve l'ordre des opérations. Par contre, la composition d'un antimorphisme avec un morphisme est un antimorphisme (quel que soit le sens de la composition).

## Cas des groupes

Pour deux groupes $G$ et $H$ (notés multiplicativement), on dit qu'une application $\phi \colon G\to H$ est un antimorphisme de groupes de $G$ dans $H$ si
    $\phi (xy)=\phi (y)\phi (x)$
pour tout $x,y\in G$.
Autrement dit, $\phi$ est un antimorphisme de groupe de $G$ dans $H$ si, et seulement si, $\phi$ est un morphisme de groupes de $G$ dans $H^{\mathrm {op} }$, le groupe opposé de $H$.
Par exemple, l'application inverse $g\in G\mapsto g^{-1}\in G$ est un antimorphisme de groupes de $G$ dans lui-même qui est de plus bijective. Ainsi, un groupe est toujours isomorphe à son groupe opposé.

## Cas des anneaux

Pour deux anneaux (unitaires) $A$ et $B$, on dit qu'une application $\phi \colon A\to B$ est un antimorphisme d'anneaux de $A$ dans $B$ si elle est un morphisme vis-à-vis de la loi additive mais un antimorphisme pour la loi multiplicative, c'est-à-dire que
    $\phi (1_{A})=1_{B}$ (en notant respectivement $1_{A}$ et $1_{B}$ les unités de $A$ et $B$);
    $\phi (x+y)=\phi (x)+\phi (y)$
    $\phi (xy)=\phi (y)\phi (x)$
pour tout $x,y\in A$.
Autrement dit, $\phi$ est un antimorphisme d'anneaux de $G$ dans $H$ si, et seulement si, $\phi$ est un morphisme d'anneaux de $G$ dans $H^{\mathrm {op} }$, l'anneau opposé de $H$.
Par exemple, l'application transposée entre deux anneaux de matrices est un antimorphisme d'anneaux.

## Cas des algèbres

Pour deux algèbres $A$ et $B$ sur un corps $K$, on dit qu'une application $\phi \colon A\to B$ est un antimorphisme d'algèbres de $A$ dans $B$ si elle est linéaire vis-à-vis de la loi additive mais un antimorphisme pour la loi multiplicative, c'est-à-dire que
    $\phi (1)=1$
    $\phi (\lambda x+y)=\lambda \phi (x)+\phi (y)$
    $\phi (xy)=\phi (y)\phi (x)$
pour tout $x,y\in A$ et $\lambda \in K$.
Autrement dit, $\phi$ est un antimorphisme d'algèbres de $G$ dans $H$ si, et seulement si, $\phi$ est un morphisme d'algèbres de $G$ dans $H^{\mathrm {op} }$, l'algèbre opposée de $H$.
Par exemple, la conjugaison sur l'algèbre réelle des quaternions est un antimorphisme d'algèbres.

### Algèbre involutive

Un cas particulier important est le cas où on considère un antiautomorphisme $\phi$ d'une algèbre $A$ (c'est-à-dire d'un antimorphisme bijectif de $A$ dans lui-même) qui est involutif, c'est-à-dire tel que $\phi \circ \phi$ est l'identité de $A$. Si un tel antiautomorphisme existe, on dit que $A$ est une algèbre involutive. Les quaternions, en considérant comme antiautomorphisme involutif la conjugaison, forment une algèbre involutive sur le corps des réels. Sur les algèbres de matrices, la transposition donne un antiautomorphisme involutif.