Magma quotient

Soient ${\displaystyle E}$ un ensemble et ${\displaystyle \cdot }$ une loi de composition interne (partout définie) dans ${\displaystyle E}$. Une relation d'équivalence ${\displaystyle R}$ dans ${\displaystyle E}$ est dite compatible avec la loi ${\displaystyle \cdot }$ si pour tous éléments ${\displaystyle a,b,c,d}$ de ${\displaystyle E}$ tels que ${\displaystyle a\,R\,b}$ et ${\displaystyle c\,R\,d}$, on a aussi ${\displaystyle (a\cdot c)R(b\cdot d).}$

Dans une autre notation, cette condition s'exprime comme suit :

pour tous éléments ${\displaystyle a,b,c,d}$ de ${\displaystyle E}$ tels que

${\displaystyle a\equiv b{\pmod {R}}}$

et

${\displaystyle c\equiv d{\pmod {R}},}$

on a aussi

${\displaystyle a\cdot c\equiv b\cdot d{\pmod {R}}.}$

Soient ${\displaystyle M=(E,\cdot )}$ un magma et ${\displaystyle R}$ une relation d'équivalence dans ${\displaystyle E}$ compatible avec la loi ${\displaystyle \cdot }$. Désignons par ${\displaystyle \varphi }$ la surjection canonique de ${\displaystyle E}$ sur l'ensemble quotient ${\displaystyle E/R}$, c'est-à-dire que ${\displaystyle \varphi }$ est l'application de ${\displaystyle E}$ sur ${\displaystyle E/R}$ telle que, pour tout élément ${\displaystyle x}$ de ${\displaystyle E}$, ${\displaystyle \varphi (x)}$ est la classe de ${\displaystyle x}$ selon ${\displaystyle R}$. Il existe une et une seule loi de composition ${\displaystyle \star }$ dans l'ensemble quotient ${\displaystyle E/R}$ telle que, pour tous éléments ${\displaystyle x}$ et ${\displaystyle y}$ de ${\displaystyle E}$,

${\displaystyle \varphi (x)\star \varphi (y)=\varphi (x\cdot y).}$

Cette propriété revient à dire que la surjection canonique ${\displaystyle \varphi }$ de ${\displaystyle E}$ sur l'ensemble quotient ${\displaystyle E/R}$ est un morphisme de magmas de ${\displaystyle M}$ dans le magma ${\displaystyle (E/R,\star ).}$

On dit que ${\displaystyle (E/R,\star )}$ est le magma quotient de ${\displaystyle M}$ par ${\displaystyle R}$ et on le note ${\displaystyle M/R}$. On dit que ${\displaystyle \varphi }$ est le morphisme canonique de ${\displaystyle M}$ sur ${\displaystyle M/R}$.

Dans la suite du présent article, on commettra l'abus de langage courant d'identifier un magma ${\displaystyle M=(E,\cdot )}$ et son ensemble sous-jacent ${\displaystyle E}$.

Summarize Timeline Top Qs Fact Check

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 ${\displaystyle M}$ un magma et ${\displaystyle R}$ une relation d'équivalence dans ${\displaystyle M}$, compatible avec la loi de ${\displaystyle M}$. Si ${\displaystyle M}$ est un monoïde (resp. un groupe), le magma ${\displaystyle M/R}$ est un monoïde (resp. un groupe) et le morphisme canonique de magmas de ${\displaystyle M}$ sur ${\displaystyle M/R}$ est un morphisme de monoïdes (resp. de groupes).

Si ${\displaystyle G}$ est un groupe et ${\displaystyle H}$ un sous-groupe normal de ${\displaystyle G}$, la relation ${\displaystyle x\equiv y{\pmod {H}}}$ est une relation d'équivalence (en ${\displaystyle x}$ et ${\displaystyle y}$) dans ${\displaystyle G}$, compatible avec la loi de ${\displaystyle G}$. Réciproquement, si ${\displaystyle R}$ est une relation d'équivalence dans un groupe ${\displaystyle G}$, compatible avec la loi de ${\displaystyle G}$, il existe un (et un seul) sous-groupe normal ${\displaystyle H}$ de ${\displaystyle G}$ tel que, pour tous éléments ${\displaystyle x,y}$ de ${\displaystyle G}$, ${\displaystyle x\,R\,y}$ soit équivalent à ${\displaystyle x\equiv y{\pmod {H}}}$. Le magma quotient ${\displaystyle G/R}$ est alors le groupe quotient ${\displaystyle G/H}$.

Dans ce cas particulier où le magma ${\displaystyle 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 ${\displaystyle xy}$, où ${\displaystyle x}$ parcourt ${\displaystyle X}$ et où ${\displaystyle y}$ parcourt ${\displaystyle Y}$, mais ce n'est pas vrai pour n'importe quel magma. (Considérons par exemple un magma ${\displaystyle M}$ comprenant au moins un élément qui ne peut pas s'écrire comme composé de deux éléments de ${\displaystyle M}$. On peut prendre pour ${\displaystyle M}$ l'ensemble ${\displaystyle \mathbb {N} \backslash \{0\}}$ muni de l'addition, ou encore un magma libre non vide. La relation d'équivalence universelle ${\displaystyle R}$ dans ${\displaystyle M}$ (${\displaystyle xRy}$ pour tous éléments ${\displaystyle x,y}$ de ${\displaystyle M}$) est compatible avec la loi de ${\displaystyle M}$, la seule classe d'équivalence est ${\displaystyle M}$, donc le composé de ${\displaystyle M}$ avec ${\displaystyle M}$ dans le magma quotient est ${\displaystyle M}$, mais ${\displaystyle M}$ n'est pas égal à l'ensemble des xy avec x dans ${\displaystyle M}$ et y dans ${\displaystyle M}$.)