Algorithme Todd–Coxeter

Un algorithme d'énumération de cosets qui calcule l'action d'un groupe à présentation finie sur les cosets d'un sous-groupe spécifié en construisant une table de cosets, en identifiant des cosets à l'aide des relateurs, et en déterminant ainsi l'indice du sous-groupe et une représentation par permutations lorsque l'énumération termine de façon finie.