Semigroup actions on ordered groupoids

In this paper we prove that if S is a commutative semigroup acting on an ordered groupoid G, then there exists a commutative semigroup S? acting on the ordered groupoid G?:=(G × S)/ρ? in such a way that G is embedded in G?. Moreover, we prove that if a commutative semigroup S acts on an ordered groupoid G, and a commutative semigroup S? acts on an ordered groupoid G? in such a way that G is embedded in S?, then the ordered groupoid G? can be also embedded in G?. We denote by ρ? the equivalence relation on G × S which is the intersection of the quasi-order ρ (on G × S) and its inverse ρ ^?1.     

Totally ordered sets and the prime spectra of rings

Let T be a totally ordered set and let D(T) denotes the set of all cuts of T. We prove the existence of a discrete valuation domain O_v such that T is order isomorphic to two special subsets of Spec(O_v). We prove that if A is a ring (not necessarily commutative), whose prime spectrum is totally ordered and satisfies (K2), then there exists a totally ordered set U?Spec(A) such that the prime spectrum of A is order isomorphic to D(U). We also present equivalent conditions for a totally ordered set to be a Dedekind totally ordered set. At the end, we present an algebraic geometry point of view.     

Spectral partially ordered sets

We examine some topics related to (gold)spectral partially ordered sets, i.e., those that are order isomorphic to (Goldman) prime spectra of commutative rings. Among other results, we characterize the partially ordered sets that are isomorphic to prime spectra of rings satisfying the descending chain condition on radical ideals, and we show that a dual of a tree is isomorphic to the Goldman prime spectrum of a ring if and only if every chain has an upper bound. We also give some new methods for constructing (gold)spectral partially ordered sets.     

Projective and free ordered modules

The paper introduces the concepts ofo-free ando-projective modules over directed ring R. Some sufficient conditions are established under which allo-projective R-modules areo-free. In particular, it is proven that allo-projective R-modules areo-free in the cases: linearly ordered rings R without divisors of zero in which each element 0 < r <1 is invertible; commutative factorable domain of integrity with any linear order; commutative rings without divisors of zero in which all projective modules are free with any linear order.Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 41–52, January, 1972.     

Quasi injectivity and θ-internal order sum in partially ordered acts

Injectivity (weakly injectivity) of objects is an important concept which category theory inherited from homological and commutative algebra. One of the useful kinds of weakly injectivity is quasi injectivity. In this paper, we study the relation between different kinds of quasi injectivity and the concept of θ-internal order sum in the category of actions of an ordered monoid on ordered sets and some of its important subcategories. From the results obtained, we investigated the relations between these types of quasi injectivity.     

On finitely presented,cancellative and commutative ordered monoids

We show that every finitely presented, cancellative and commutative ordered monoid is determined by a finitely generated and cancellative pseudoorder on the monoid (ℕ ⁿ ,+) for some positive integer n. Every cancellative pseudoorder on (ℕ ⁿ ,+) is determined by a submonoid of the group (ℤ ⁿ ,+), and we prove that the pseudoorder is finitely generated if and only if the submonoid is an affine monoid in ℤ ⁿ .     

The ordering of commutative terms

By a commutative term we mean an element of the free commutative groupoid F of infinite rank. For two commutative terms a, b write a ⩽ b if b contains a subterm that is a substitution instance of a. With respect to this relation, F is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other things, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered set has no automorphisms except the identity.     

Representations of finite partially ordered sets over commutative artinian uniserial rings

Categories of representations of finite partially ordered sets over commutative artinian uniserial rings arise naturally from categories of lattices over orders and abelian groups. By a series of functorial reductions and a combinatorial analysis, the representation type of a category of representations of a finite partially ordered set S over a commutative artinian uniserial ring R is characterized in terms of S and the index of nilpotency of the Jacobson radical of R. These reductions induce isomorphisms of Auslander-Reiten quivers and preserve and reflect Auslander-Reiten sequences. Included, as an application, is the completion of a partial characterization of representation type of a category of representations arising from pairs of finite rank completely decomposable abelian groups.     

On the finite embeddability property for residuated ordered groupoids

The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman's finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the FEP as well. The same holds for their respective subclasses of (bounded) (semi-)lattice ordered structures. The assumption of integrality cannot be dropped in general--the class of commutative, residuated, lattice ordered monoids does not have the FEP--but the class of -potent commutative residuated lattice ordered monoids does have the FEP, for any .

     

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     

The kurzweil construction of an integral in ordered spaces

This paper generalizes the results of papers which deal with the Kurzweil-Henstock construction of an integral in ordered spaces. The definition is given and some limit theorems for the integral of ordered group valued functions defined on a Hausdorff compact topological space T with respect to an ordered group valued measure are proved in this paper.     

On copowers of an ordered skew field

It is shown that the double of an ordered skew fieldE over a subfieldK, which is its own bicentralizer, can again be ordered, and a corresponding result for groups is deduced.     

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.     

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.     

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.     

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.     

On Partially Ordered Semigroups and an Abstract Set-Difference

In this paper we prove the independence of a system of five axioms (S1)–(S5), which was proposed in the book of Pallaschke and Urbański (Pairs of Compact Convex Sets, vol. 548, Kluwer Academic Publishers, Dordrecht, 2002) for partially ordered commutative semigroups. These five axioms (S1)–(S5) are stated in the introduction below. A partially ordered commutative semigroup satisfying these axioms is called a F-semigroup. By the use of a further axiom (S6) we define an abstract difference for the elements of a F-semigroup and prove some basic properties. The most interesting example of a F-semigroup are the nonempty compact convex sets of a topological vector space endowed with the Minkowski sum as operation and the inclusion as partial order. In Section 4 we apply the abstract difference to the problem of minimality of convex fractions. Dedicated to Boris Mordukhovich in honour of his 60th birthday.     

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.     

On the number of k-realizations of an ordered set

A k-realization of an ordered set P is a sequence of k linear orderings of the underlying set of P, whose intersection is (the order relation of) P. We determine the status of the number of k-realizations with respect to comparability invariance, and we show that among all orders on the set {1, 2, ..., n}, the antichain has the most k-realizations, for any k>1. The latter intuitively reasonable result rests ultimately on an observation related to comparability invariance for numbers of linear extensions.Research supported by ONR Contract N00014 85-K-0769.     

The number of depth-first searches of an ordered set

We show that the problems of deciding whether an ordered set has at leastk depth-first linear extensions and whether an ordered set has at leastk greedy linear extensions are NP-hard.Supported by Office of Naval Research contract N00014-85K-0494.Supported by National Science Foundation grant DMS-8713994.