小消去理論

小消去理論(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)的群的字問題是可判定的.