[2]、[3]中描述了有限群的枚举方法，即所谓的Todd-Coxeter过程。Leech[4]和Trotter[5]在计算机上对组进行陪集枚举。然而，门德尔松[1]首先给出了一个正式的证据，证明了这个过程在有限的步骤后结束，并且它实际上枚举了群中的陪集。Dietze和Schaps[7]使用Todd-Coxeter的方法在有限表示的群中找到给定有限指标的所有子群。B.H.Neumann[8]修改了Todd-Coxeter的方法来枚举半群中的陪集，但没有证明该方法的有效性，也没有证明它实际上枚举了半群中的陪集。