Antigroupe

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l'algèbre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).


Un antigroupe est un magma permutatif, régulier et involutif à droite.

Si un ensemble E muni d'une loi de composition interne *\, forme un groupe abélien, alors la relation ternaire inverse de *\, est aussi une loi de composition dans E, et munit celui-ci d'une structure algébrique d'antigroupe.

Exemples :

  • la soustraction dans \mathbb{Z}
  • la division dans \mathbb{Q}*