Polygon (over a monoid)
A non-empty set with a monoid of operators. More precisely, a non-empty set is called a left polygon over a monoid if for any and the product is defined, such that
for any , , . A right polygon is defined similarly. Specifying an -polygon is equivalent to specifying a homomorphism from the monoid into the monoid of mappings of the set into itself that transforms 1 to the identity mapping. Here if and only if
In particular, each non-empty set may be considered as a polygon over the monoid of its mappings into itself. Therefore, polygons are closely related to the representation of semi-groups by transformations.
If is a universal algebra whose signature contains only unary operations, then can be converted into a polygon over the free monoid generated by by putting
for any , . If is the set of input signals for an automaton having set of states , then is similarly transformed into an -polygon (cf. Automata, algebraic theory of).
A mapping of an -polygon into an -polygon is called a homomorphism if for any and . For one arrives at the definition of an endomorphism. All endomorphisms of a polygon form a monoid, and can be considered as a polygon over it.
An equivalence on an -polygon is called a congruence if implies for any . The set of congruence classes of is naturally transformed into an -polygon, called a quotient polygon of the polygon and denoted by . If is a polygon over , then in one can define a relation by putting if for all . The relation is a congruence on the monoid , and is transformed in a natural fashion into a polygon over the quotient monoid . If the polygon arose from a certain automaton, then this transition is equivalent to identifying identically acting sequences of input signals. In universal algebra one considers the usual constructions of direct and subdirect product, but in addition in polygon theory one may consider a wreath product construction important in the algebraic theory of automata. The free product (or co-product) of polygons coincides with their disjoint union.
A polygon may be regarded as a non-additive analogue of a module over a ring, which serves as a rich source of problems in the theory of polygons. In particular, a relationship has been established between polygons and radicals in semi-groups (cf. Radical in a class of semi-groups), and studies have been made on the relation between the properties of a monoid and those of polygons over them. For example, all left -polygons are projective if and only if is a one-element group, while the injectivity of all polygons over a commutative monoid is equivalent to the presence in of a zero and the generation of all its ideals by idempotents (see Homological classification of rings).
If is a monoid with zero 0, one can speak of an -polygon with a zero as an -polygon with a distinguished point satisfying for all . The theory of polygons containing zeros has some special features.
Every polygon can be considered as a functor from a one-object category into the category of sets.
|||M.A. Arbib (ed.) , Algebraic theory of machines, languages and semigroups , Acad. Press (1968)|
|||A.H. Clifford, G.B. Preston, "Algebraic theory of semi-groups" , 2 , Amer. Math. Soc. (1967)|
|||L.A. Skornyakov, "Generalizations of modules" , Modules , 3 , Novosibirsk (1973) pp. 22–27 (In Russian)|
|||L.A. Skornyakov, A.V. Mikhalev, "Modules" Itogi Nauk. i Tekhn. Alg. Topol. Geom. , 14 (1976) pp. 57–190 (In Russian)|
In the West, left polygons over a monoid are usually called -sets; the term "operand" is also in use. The category of all -sets ( fixed) forms a topos; but for this it is essential not to exclude (as above) the empty -set.
Without assuming commutativity as above, the monoids all of whose non-empty left polygons (or, all of whose pointed left polygons) are injective have a few characterizations, which are reviewed in [a3]. As noted above, there are no non-trivial monoids all of whose left polygons are projective, but the perfect monoids, defined (like perfect rings, cf. Perfect ring) by every left polygon having a projective covering, are non-trivial; see [a1], [a2].
|[a1]||J. Fountain, "Perfect semigroups" Proc. Edinburgh Math. Soc. , 20 (1976) pp. 87–93|
|[a2]||J. Isbell, "Perfect monoids" Semigroup Forum , 2 (1971) pp. 95–118|
|[a3]||R.W. Yoh, "Congruence relations on left canonic semigroups" Semigroup Forum (1977) pp. 175–183|
|[a4]||S. Eilenberg, "Automata, languages and machines" , Acad. Press (1974)|
Polygon (over a monoid). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Polygon_(over_a_monoid)&oldid=16039