Enumerierung von Nebenklassen

Ein algorithmischer Prozess, insbesondere die Todd–Coxeter-Methode, zum Auflisten oder Zählen der verschiedenen (Links- oder Rechts-)Nebenklassen eines Untergruppes H in einer übergeordneten Gruppe G, die durch eine Präsentation gegeben ist; Ausgabe kann eine Nebenklassentabelle, der Index oder eine Permutationswirkung auf den Nebenklassen sein.