變換半群

變換半群(transformation semigroup)一類子半群.設X是一集合，pE.}<X>，若對任意xEX，存在惟一的yEX使得(<x,婦Ep，則稱p為X上一個變換.記X上變換的全體為獷<X>，它是.}<X)的子半群，稱.} < X)為X上的全變換半群.}<X)的任意子半群稱為X上的一個變換半群.X上的置換的全體}<X)是X上的一個變換半群.