# Magma quotient

Soit $M=(E,\cdot )$ un magma, au sens de l'algèbre. Si R est une relation d'équivalence dans E satisfaisant à une condition qui sera précisée plus loin, l'ensemble quotient E/R peut être muni d'une structure naturelle de magma qui fait de l'application canonique de E sur E/R un morphisme de magmas. Le magma E/R est appelé le magma quotient de M par R et se note M/R.

## Définitions

Soient E un ensemble et $\cdot$ une loi de composition interne (partout définie) dans E. Une relation d'équivalence R dans E est dite compatible avec la loi $\cdot$ si pour tous éléments a, b, c, d de E tels que a R b et c R d, on a aussi $(a\cdot c)R(b\cdot d).$
Dans une autre notation, cette condition s'exprime comme suit :
    pour tous éléments a, b, c, d de E tels que
    $a\equiv b{\pmod {R}}$
et
    $c\equiv d{\pmod {R}},$
on a aussi
    $a\cdot c\equiv b\cdot d{\pmod {R}}.$
Soient $M=(E,\cdot )$ un magma et R une relation d'équivalence dans E compatible avec la loi $\cdot$. Désignons par $\varphi$ la surjection canonique de E sur l'ensemble quotient E/R, c'est-à-dire que $\varphi$ est l'application de E sur E/R telle que, pour tout élément x de E, $\varphi (x)$ est la classe de x selon R. Il existe une et une seule loi de composition $\star$ dans l'ensemble quotient E/R telle que, pour tous éléments x et y de E,
    $\varphi (x)\star \varphi (y)=\varphi (x\cdot y).$
Cette propriété revient à dire que la surjection canonique $\varphi$ de E sur l'ensemble quotient E/R est un morphisme de magmas de M dans le magma $(E/R,\star ).$
On dit que $(E/R,\star )$ est le magma quotient de M par R et on le note M/R. On dit que $\varphi$ est le morphisme canonique de M sur M/R.
Dans la suite du présent article, on commettra l'abus de langage courant d'identifier un magma $M=(E,\cdot )$ et son ensemble sous-jacent E.

## Exemples

Les monoïdes et les groupes sont des magmas. On sait qu'un morphisme de magmas d'un groupe dans un groupe est forcément un morphisme de groupes mais qu'un morphisme de magmas d'un monoïde dans un monoïde n'est pas forcément un morphisme de monoïdes. Néanmoins :
Soient M un magma et R une relation d'équivalence dans M, compatible avec la loi de M. Si M est un monoïde (resp. un groupe), le magma M/R est un monoïde (resp. un groupe) et le morphisme canonique de magmas de M sur M/R est un morphisme de monoïdes (resp. de groupes).
Si G est un groupe et H un sous-groupe normal de G, la relation $x\equiv y{\pmod {H}}$ est une relation d'équivalence (en x et y) dans G, compatible avec la loi de G. Réciproquement, si R est une relation d'équivalence dans un groupe G, compatible avec la loi de G, il existe un (et un seul) sous-groupe normal H de G tel que, pour tous éléments x, y de G, xRy soit équivalent à $x\equiv y{\pmod {H}}$. Le magma quotient G/R est alors le groupe quotient G/H.
Dans ce cas particulier où le magma M est un groupe (dont on notera ici la loi par juxtaposition), le composé d'une classe X et d'une classe Y dans le magma quotient peut être décrit comme l'ensemble des xy, où x parcourt X et où y parcourt Y, mais ce n'est pas vrai pour n'importe quel magma. (Considérons par exemple un magma M comprenant au moins un élément qui ne peut pas s'écrire comme composé de deux éléments de M. On peut prendre pour M l'ensemble ℕ\{0} muni de l'addition, ou encore un magma libre non vide. La relation d'équivalence universelle R dans M (xRy pour tous éléments x, y de M) est compatible avec la loi de M, la seule classe d'équivalence est M, donc le composé de M avec M dans le magma quotient est M, mais M n'est pas égal à l'ensemble des xy avec x dans M et y dans M.)

## Morphisme compatible

Soient $M:=(E,\cdot )$ un magma et $R$ une relation d'équivalence dans $E$ compatible avec $\cdot$. On dit qu'un morphisme $f$ de $M$ dans un magma $N$ est compatible avec la relation $R$ si pour tous éléments $x,y$ de $E$ tels que $xRy$, on a $f(x)=f(y)$.
Par exemple, le morphisme canonique de $M$ sur $M/R$ est compatible avec la relation $R$.
Soient $M$ un magma et $R$ une relation d'équivalence dans $M$, compatible avec la loi de $M$. Désignons par $\varphi$ le morphisme canonique de $M$ sur $M/R$. Soit $f$ un morphisme de $M$ dans un magma $N$; on suppose que $f$ est compatible avec la relation $R$. Il existe alors un et un seul morphisme $g$ du magma $M/R$ dans le magma $N$ tel que $f=g\circ \varphi .$

## Relation d'équivalence compatible engendrée par des relateurs

Soient $M:=(E,\cdot )$ un magma et $(R_{i})_{i\in I}$ une famille non vide de relations d'équivalence dans $E$ compatible avec $\cdot$. L'intersection des $R_{i}$ est encore une relation d'équivalence dans $E$, compatible avec $\cdot$.
Soit maintenant $((a_{i},b_{i}))_{i\in I}$ une famille d'éléments de $E^{2}$. D'après ce qui précède, l'intersection des relations d'équivalence dans $E$ compatibles avec $\cdot$ qui contiennent tous les $(a_{i},b_{i})$ en est encore une, appelée «relation d'équivalence dans $E$ compatible avec $\cdot$ engendrée par la famille $((a_{i},b_{i}))_{i\in I}$» (on dit aussi «par les $(a_{i},b_{i})$»).
Quand des éléments de $E^{2}$ sont vus comme engendrant une relation d'équivalence dans $E$ compatible avec $\cdot$, on les appelle volontiers des relateurs de $M$. Au lieu de considérer une famille de relateurs, on peut considérer un ensemble de relateurs et définir de façon évidente la relation d'équivalence dans $M$ compatible avec la loi de $M$ et engendrée par cet ensemble de relateurs.
Dans certains cas, le fait que des relateurs de $E^{2}$ engendrant une relation d'équivalence $R$ compatible avec la loi de $M$ possèdent une certaine propriété permet de conclure que tout couple d'éléments en relation par $R$ possède cette propriété. Par exemple:
Soit M un magma, soit $((a_{i},b_{i}))_{i\in I}$ une famille d'éléments de $E^{2}$; notons $R$ la relation d'équivalence dans $E$ compatible avec $\cdot$ engendrée par les $(a_{i},b_{i})$. Soit $f$ un morphisme de $M$ dans un magma. On suppose que pour tout élément i de I,
    $f(a_{i})=f(b_{i}).$
Alors, pour tous éléments $x,y$ de $M$ tels que $xRy$, on a:
    $f(x)=f(y),$
autrement dit, l'homomorphisme f est compatible avec $R$.