semigroup of transformations
If and are transformations on , then their product is defined (writing functions on the right) by .
With this definition, the set of all transformations on becomes a semigroup, the full semigroupf of transformations on , denoted .
When is finite, say , then the transformation which maps to (with , of course) is often written:
With this notation it is quite easy to products. For example, if , then
|Title||semigroup of transformations|
|Date of creation||2013-03-22 13:07:36|
|Last modified on||2013-03-22 13:07:36|
|Last modified by||mclase (549)|
|Defines||full transformation semigroup|