Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Bands of weakly r-Archimedean ordered semigroups

In this paper, some characterizations that an ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S are given by some relations on S . We prove that an ordered semigroup S is a band of weakly r -archimedean ordered subsemigroups if and only if S is regular band of weakly r -archimedean ordered subsemigroups. Finally, we obtain that a negative ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S if and only if S is a band of r-archimedean ordered subsemigroups of S . As an application the corresponding results on semigroups without order can be obtained by moderate modifications. August 27, 1999     

On the Embedding of Ordered Semigroups into Ordered Group

It was shown in [7] that any right reversible, cancellative ordered semigroup can be embedded into an ordered group and as a consequence, it was shown that a commutative ordered semigroup can be embedded into an ordered group if and only if it is cancellative. In this paper we introduce the concept of L-maher and R-maher semigroups and use a technique similar to that used in [7] to show that any left reversible cancellative ordered L or R-maher semigroup can be embedded into an ordered group.     

Nonaxiomatizability of directionally ordered groups in the class of nontrivially partially ordered groups

Two groups are constructed, these being elementarily equivalent, with one of them being nontrivially partially ordered but without being directionally ordered, while the other is directionally ordered. This proves the elementary nonclosure and nonaxiomatizability of the class of directionally ordered groups in the class of nontrivially partially ordered groups. It is shown that, in the decreasing chain of classes, i.e., all groups, nontrivially partially ordered groups, directionally ordered groups, and lattice ordered groups, each successive class is not elementarily closed, and hence, is not axiomatizable, in any earlier class.Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 395–397, September, 1973.     

On regular duo po-Γ-semigroups

There are two definitions of Γ-semigroups and investigations for both of them in the bibliography. The definition given by Sen in 1981, and the definition given by Sen and Saha in 1986. In this paper we show the way we pass from ordered semigroups to ordered Γ-semigroups no matter which one of the two definitions we use. Moreover we show that, exactly as in ordered semigroups, in many results of ordered Γ-semigroups points do not play any essential role, but the sets, which shows their pointless character. Under the methodology using in this paper, all the results of ordered semigroups can be transferred into ordered Γ-semigroups.     

Free ordered modules

We establish the necessary and sufficient condition on a partially ordered set S such that a free ordered R-module (R is a linearly ordered ring without divisors of zero) over the set S is o-isomorphic with a free ordered R-module over a trivially ordered set.Translated from Matematicheskie Zametki, Vol. 12, No. 4, pp. 477–487, October, 1972.     

Completely regular ordered spaces

We present an example of a completely regular ordered space that is not strictly completely regular ordered. Furthermore, we note that a completely regular ordered I-space is strictly completely regular ordered provided that it satisfies at least one of the following three conditions: It is locally compact, it is a C-space, it is a topological lattice.     

Cores and retracts

Theretracts (idempotent, isotone self-maps) of an ordered set are naturally ordered as functions. In this note we characterize the possible ways that one retract can cover another one. This gives some insight into the structure of the ordered set of retracts and leads to a natural generalization of the core of an ordered set.Supported by NSERC Operating Grant 41702.     

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties

A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal’cev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on this syntactic apparatus. Finally, the notion of a finitely algebraizable partially-ordered quasi-variety, in the spirit of Pałasińska and Pigozzi, is introduced and some of the properties of these quasi-povarieties are explored in the categorical framework.      

序半群的Quantale完备化

首先定义了集合上的闭包算子,研究了闭包算子的若干性质;其次给出了序半群的Quantale完备化,证明了序半群的Quantale完备化在同构意义下完全由序半群上的拓扑闭包决定;最后给出了序半群Quantale完备化的一个应用.     

Pattern Avoidance in Ordered Set Partitions

In this paper we consider the enumeration of ordered set partitions avoiding a permutation pattern of length 2 or 3. We provide an exact enumeration for avoiding the permutation 12. We also give exact enumeration for ordered partitions with 3 blocks and ordered partitions with n?1 blocks avoiding a permutation of length 3. We use enumeration schemes to recursively enumerate 123-avoiding ordered partitions with any block sizes. Finally, we give some asymptotic results for the growth rates of the number of ordered set partitions avoiding a single pattern; including a Stanley-Wilf type result that exhibits existence of such growth rates.     

Being a Proper Trapezoid Ordered Set Is a Comparability Invariant

It is proved that if we replace an autonomous subset of a finite proper trapezoid ordered set with a proper trapezoid ordered set, then we obtain a proper trapezoid ordered set provided the autonomous subset is not an antichain, and analogously in the k-dimensional case. As corollaries we obtain that being a proper trapezoid ordered set is a comparability invariant, more generally, proper interval dimension is a comparability invariant.     

Dimension two,fixed points and dismantlable ordered sets

When does the fixed point property of a finite ordered set imply its dismantlability by irreducible elements? For instance, if it has width two. Although every finite ordered set is dismantlable by retractible (not necessarily irreducible) elements, surprisingly, a finite, dimension two ordered set, need not be dismantlable by irreducible elements. If, however, a finite ordered set with the fixed point property is N-free and of dimension two, then it is dismantlable by irreducibles. A curious consequence is that every finite, dimension two ordered set has a complete endomorphism spectrum.     

有限級有序加羣及有序環的表現

在另一文中,我们讨论了由全体2维實向量所成的有序环,在该文最後並说當维数n>2时(n为有限)也可类似地作初步讨论.为了显示这种向量环的用途,我们考虑用向量环来表现一般有序环的问题.在本文中我们证明:任一“n级的”(见以下定义)有序环都能与一个由若干n维實向量所组成的有序环同构.(主要在於证出关於n级有序加羣的类似结果.)我们希望有较好的结果,即:任一n级有序环都能与由全体n维實向量所成的一个有序环的一个子环同构,但未能证明或否定.     

Intuitionistic fuzzy semiprime ideals in ordered semigroups

We give characterizations of different classes of ordered semigroups by using intuitionistic fuzzy ideals. We prove that an ordered semigroup is regular if and only if every intuitionistic fuzzy left (respectively, right) ideal of S is idempotent. We also prove that an ordered semigroup S is intraregular if and only if every intuitionistic fuzzy two-sided ideal of S is idempotent. We give further characterizations of regular and intra-regular ordered semigroups in terms of intuitionistic fuzzy left (respectively, right) ideals. In conclusion of this paper we prove that an ordered semigroup S is left weakly regular if and only if every intuitionistic fuzzy left ideal of S is idempotent.     

Prime and semiprime lattice ordered lie algebras

The concepts of prime Lie algebras and semiprime Lie algebras are important in the study of Lie algebras. The purpose of this paper is to investigate generalizations of these concepts to lattice ordered Lie algebras over partially ordered fields. Some results concerning the properties of l-prime and l-semiprime lattice ordered Lie algebras are obtained. A necessary and sufficient condition for a lattice ordered Lie algebra to be an l-prime Lie l-algebra is presented.     

A note on maximal antichains in ordered sets

We examine the question of when two consecutive levels in a product of -chains form an ordered set such that for any antichain, there is a maximal antichain disjoint from it. We characterize the pairs of consecutive levels in the product of t2 -chains that have this property. We also show that there is no upper bound on the heights of ordered sets having this property.The graph of an ordered set is the graph whose points are the elements of the ordered set, and whose edges are the ordered set's 2-element maximal antichains. We construct a class of ordered sets of all widths at least three such that the graph of each ordered set is a path, and we construct an ordered set of infinite width having a connected graph.Research supported by NSERC undergraduate student summer research fellowship, and by NSERC operating grant 69-3378Research supported by ONR contract N00014-85-K-0769     

Automorphism group and dimension of ordered sets

It is shown that a finite groupG is isomorphic to the automorphism group of a two-dimensional ordered set if and only if it is a generalized wreath product of symmetric groups over an ordered index set that is a dual tree. Furthermore, every finite abelian group is isomorphic to the full automorphism group of a three-dimensional ordered set. Also every finite group is isomorphic to the automorphism group of an ordered set that does not contain an induced crown with more than four elements.     

Chain decompositions of ordered semigroups

Characterizations of ordered semigroups which can be decomposed into (natural ordered) chains of ω -simple ordered semigroups are given, where ω -simple ordered semigroups are ξ _l (ξ _t ) -simple, left (t -) simple, L _n (H _n ) -simple, l (t )-archimedean and nil-extensions of left (t -) simple ordered semigroups, respectively. As a generalization of the theory of Clifford semigroups (without orders) to ordered semigroups, ordered semigroups which are semilattices of t -simple subsemigroups are characterized.     

Ordered semigroups which are both right commutative and right cancellative

In this paper we prove that each right commutative, right cancellative ordered semigroup (S,.,??) can be embedded into a right cancellative ordered semigroup (T,??,?) such that (T,??) is left simple and right commutative. As a consequence, an ordered semigroup S which is both right commutative and right cancellative is embedded into an ordered semigroup T which is union of pairwise disjoint abelian groups, indexed by a left zero subsemigroup of?T.