For any partially ordered abelian group G, we relate the structure of the ordered Ž . Ž monoid ⳠG of inter¨als of G i.e., nonempty, upward directed lower subsets of . G , to various properties of G, as for example interpolation properties, or topological properties of the state space when G has an
Monoids Respectingn-Chains of Intervals
β Scribed by Jorge Almeida; Peter M. Higgins
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 219 KB
- Volume
- 187
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
A new strict hierarchy for the pseudovariety of aperiodic monoids is described. The nth level of the hierarchy is the pseudovariety of all divisors of monoids of full transformations of finite chains respecting some n-chain of inter¨als. The levels can be obtained by iterated semidirect product of the first level. The associated hierarchy corresponding to taking partial transformations is also considered and appears intermingled with the above hierarchy.
π SIMILAR VOLUMES
Let M be a reductive monoid with a reductive unit group G. Clearly there is a natural G Γ G action on M. The orbits are the -classes (in the sense of semigroup theory) and form a finite lattice. The general problem of finding the lattice remains open. In this paper we study a new class of reductive
The main result of this paper gives a presentation for an arbitrary subgroup of a monoid defined by a presentation. It is a modification of the well known Reidemeister-Schreier theorem for groups. Some consequences of this result are explored. It is proved that a regular monoid with finitely many le
Let G be a group acting effectively on a Hausdorff space X, and let Y be an open dense subset of X. We show that the inverse monoid generated by elements of G regarded as partial functions on Y is an F-inverse monoid whose maximum group image is isomorphic to G. We also describe the monoid in terms
The first part of this paper investigates a class of homogeneously presented monoids. Constructions which enable division and multiplication to be computed are described. The word problem and the division problem are solved, and a unique normal form is given for monoids in this class. The second par