Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Etant donné un demi-groupe G, on appelle (G) la congruence de G définie par a = b (G) <=> (∀x)(x ∈ G => x.a = x.b). Il est montré que le demi-groupe G admet son carré G² comme sous-groupe à gauche maximum si, et seulement si, le demi-groupe quotient G/(G) est un groupe à gauche. Ce résultat permet de généraliser un théorème bien connu de Clifford et Preston sur la factorisation d'un groupe à gauche.