Todd–Coxeter-Algorithmus

Ein Coset-Enumerations-Algorithmus, der die Wirkung einer endlich präsentierten Gruppe auf den Nebenklassen eines gegebenen Untergruppes berechnet, indem er eine Coset-Tabelle aufbaut, Cosets mittels Relatoren identifiziert und so den Index der Untergruppe und eine Permutationsdarstellung bestimmt, falls die Enumeration endlich terminiert.