Acts and Operator Monoids
Let M be a monoid, with the binary operation denoted by “•” and the identity element denoted by e. Then a (left) M-act (or left act over M) is a set X together with an operation ⋅ : M × X → X which is compatible with the monoid structure as follows:
- for all x in X: e ⋅ x = x;
- for all a, b in M and x in X: a ⋅ (b ⋅ x) = (a • b) ⋅ x.
This is the analogue in monoid theory of a (left) group action. Right M-acts are defined in a similar way. A monoid with an act is also known as an operator monoid. Important examples include transition systems of semiautomata. A transformation semigroup can be made into an operator monoid by adjoining the identity transformation.
Read more about this topic: Monoid
Famous quotes containing the word acts:
“[M]y conception of liberty does not permit an individual citizen or a group of citizens to commit acts of depredation against nature in such a way as to harm their neighbors and especially to harm the future generations of Americans. If many years ago we had had the necessary knowledge, and especially the necessary willingness on the part of the Federal Government, we would have saved a sum, a sum of money which has cost the taxpayers of America two billion dollars.”
—Franklin D. Roosevelt (1882–1945)