Algoritmo Todd–Coxeter

Un algoritmo de enumeración de cosets que calcula la acción de un grupo finitamente presentado sobre los cosets de un subgrupo especificado construyendo una tabla de cosets, identificando cosets mediante reladores y determinando así el índice del subgrupo y una representación por permutaciones cuando la enumeración termina de forma finita.