小消去理论

小消去理论(small cancellation theory)有关群的字问题、共扼问题及有关判定算法的一套重要理论小消去理论(small cancellation theory)有关群的字问题、共扼问题及有关判定算法的一套重要理论，起源于马克思·邓算法并基于冯坎彭图形.小消去理论包括:小消去条件、小消去群和有关定理。设P=(X;R)是群G的一个呈示.小消去条件C<k)是指尸上的冯坎彭图的每一内盘与至少其他k个盘有共同边界;小消去条件T<k)是指P上的冯坎彭图的每一内结点至少与k条边关联.称G是满足小消去条件C<k)，T<h)的小消去群，是指R的元素均是循环既约的，并且尸上每一个既约的冯坎彭图(任一冯坎彭图经有限步归约可得一既约的图)满足条件C<k)和T<h).小消去群是非常重要的一类群，例如，满足小消条件C<6)或C<4)和T<4)或C<3)和T<6)的群的字问题是可判定的.