变换半群

变换半群是数学名词。变换半群(transformation semigroup)一类子半群.设X是一集合，pE.}<X>，若对任意xEX，存在惟一的yEX使得(<x，妇Ep，则称p为X上一个变换.记X上变换的全体为犷<X>，它是.}<X)的子半群，称.} < X)为X上的全变换半群.}<X)的任意子半群称为X上的一个变换半群.X上的置换的全体}<X)是X上的一个变换半群.