Congruences on eventually regular semigroups

Let S be an eventually regular semigroup. The extensively P-partial congruence pairs and P-partial congruence pairs for S are defined. Furthermore, the relationships between the lattice of congruences on S, the lattice of P-partial kernel normal systems for S, the lattice of extensively P-partial kernel normal systems for S and the poset of P-partial congruence pairs for S are explored.     

$\mathcal{P}$-kernel normal systems for $\mathcal{P}$-inversive semigroups

As a generalization of Preston’s kernel normal systems, P\mathcal{P}-kernel normal systems for P\mathcal{P}-inversive semigroups are introduced, and strongly regular P\mathcal{P}-congruences on P\mathcal{P}-inversive semigroups in terms of their P\mathcal{P}-kernel normal systems are characterized. These results generalize the corresponding results for P\mathcal{P}-regular semigroups and P\mathcal{P}-inversive semigroups.     

E-special Ordered Regular Semigroups

An ordered regular semigroup S is E-special if for every x ∈ S there is a biggest x ⁺ ∈ S such that both xx ⁺ and x ⁺ x are idempotent. Every regular strong Dubreil–Jacotin semigroup is E-special, as is every ordered completely simple semigroup with biggest inverses. In an E-special ordered regular semigroup S in which the unary operation x → x ⁺ is antitone the subset P of perfect elements is a regular ideal, the biggest inverses in which form an inverse transversal of P if and only if S has a biggest idempotent. If S ⁺ is a subsemigroup and S does not have a biggest idempotent, then P contains a copy of the crown bootlace semigroup.     

Principal Weak Flatness and Regularity of Diagonal Acts

For a monoid S, the set S × S equipped with the componentwise right S-action is called the diagonal act of S and is denoted by D(S). A monoid S is a left PP (left PSF) monoid if every principal left ideal of S is projective (strongly flat). We shall call a monoid S left P(P) if all principal left ideals of S satisfy condition (P). We shall call a monoid S weakly left P(P) monoid if the equalities as = bs, xb = yb in S imply the existence of r ∈ S such that xar = yar, rs = s. In this article, we prove that a monoid S is left PSF if and only if S is (weakly) left P(P) and D(S) is principally weakly flat. We provide examples showing that the implications left PSF ? left P(P) ? weakly left P(P) are strict. Finally, we investigate regularity of diagonal acts D(S), and we prove that for a right PP monoid S the diagonal act D(S) is regular if and only if every finite product of regular acts is regular. Furthermore, we prove that for a full transformation monoid S = 𝒯 _X , D(S) is regular.     

On regular {v,n}-arcs in finite projective spaces

A regular {v, n}-arc of a projective space P of order q is a set S of v points such that each line of P has exactly 0,1 or n points in common with S and such that there exists a line of P intersecting S in exactly n points. Our main results are as follows: (1) If P is a projective plane of order q and if S is a regular {v, n}-arc with n ≥ √q + 1, then S is a set of n collinear points, a Baer subplane, a unital, or a maximal arc. (2) If P is a projective space of order q and if S is a regular {v, n}-arc with n ≥ √q + 1 spanning a subspace U of dimension at least 3, then S is a Baer subspace of U, an affine space of order q in U, or S equals the point set Of U. © 1993 John Wiley & Sons, Inc.     

AnR danalogue of Valentine’s theorem on 3-convex sets

This paper deals with anR ^danalogue of a theorem of Valentine which states that a closed 3-convex setS in the plane is decomposable into 3 or fewer closed convex sets. In Valentine’s proof, the points of local nonconvexity ofS are treated as vertices of a polygonP contained in the kernel ofS, yielding a decomposition ofS into 2 or 3 convex sets, depending on whetherP has an even or odd number of edges. Thus the decomposition actually depends onc(P′), the chromatic number of the polytopeP′ dual toP. A natural analogue of this result is the following theorem: LetS be a closed subset ofR ^d, and letQ denote the set of points of local nonconvexity ofS. We require thatQ be contained in the kernel ofS and thatQ coincide with the set of points in the union of all the (d − 2)-dimensional faces of somed-dimensional polytopeP. ThenS is decomposable intoc(P′) closed convex sets.     

On semi-invariant probability measures on semigroups

Summary Let a regular Borel measure m on a locally compact semigroup S be upper semi-invariant i.e., m(C x)m(C) and m(x C)m(C) for every compact C and x in S. It is shown: (i) Every subsemigroup of S of positive measure contains an idempotent. (ii) S admits an upper semi-invariant probability measure iff S has a kernel K which is a compact group.We should like to thank the referee for pointing out certain redundancies in the theorems. Also we thank Dr. Tze-Chien Sun for some helpful observations.     

Purity in the category of S-posets

In this paper, purity of S-posets over a pomonoid S is investigated. We first study some basic properties of absolutely po-pure S-posets. Among other results, it is proved that every regular injective S-poset is absolutely po-pure, and every absolutely po-pure inequationally compact S-poset is regular injective. Then, using the notion of semi-finitely presented S-poset based on the finitely induced S-poset congruence, we find an equivalent condition for an S-poset to be 1-po-pure in a regular extension. Finally, a characterization of an absolutely 1-po-pure S-poset is presented.     

On Some Properties of the Quaternionic Functional Calculus

In some recent works we have developed a new functional calculus for bounded and unbounded quaternionic operators acting on a quaternionic Banach space. That functional calculus is based on the theory of slice regular functions and on a Cauchy formula which holds for particular domains where the admissible functions have power series expansions. In this paper, we use a new version of the Cauchy formula with slice regular kernel to extend the validity of the quaternionic functional calculus to functions defined on more general domains. Moreover, we show some of the algebraic properties of the quaternionic functional calculus such as the S-spectral radius theorem and the S-spectral mapping theorem. Our functional calculus is also a natural tool to define the semigroup e ^tA when A is a linear quaternionic operator.      

Biordered Sets of Regular Semigroups with Inverse Transversals1

In a regular semigroup S, an inverse subsemigroup S° of S is called an inverse transversal of S if S° contains a unique inverse x° of each element x of S. An inverse transversal S° of S is called a Q-inverse transversal of S if S° is a quasi-ideal of S.If S is a regular semigroup with set of idempotents E then E is a biordered set. T.E. Hall obtained a fundamental regular semigroup T_E from the subsemigroup E which is generated by the set of idempotents of a regular semigroup. K.S.S. Nambooripad constructed a fundamental regular semigroup by a regular biordered set abstractly. In this paper, we discuss the properties of the biordered sets of regular semigroups with inverse transversals. This kind of regular biordered sets is called IT-biordered sets. We also describe the fundamental regular semigroup T_E when E is an IT-biordered set. In the sequel, we give the construction of an IT-biordered set by a left regular IT-biordered set and a right regular IT-biordered set.This project has been supported by the Provincial Natural Science Foundation of Guangdong Province, PR China     

On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

Sublattices of the Lattices of Strong P-Congruences on P-Inversive Semigroups

In this paper, we describe strong P-congruences and sublattice-structure of the strong P-congruence lattice C_P(S) of a P-inversive semigroup S(P). It is proved that the set of all strong P-congruences C_P(S) on S(P) is a complete lattice. A close link is discovered between the class of P-inversive semigroups and the well-known class of regular ⋆-semigroups. Further, we introduce concepts of strong normal partition/equivalence, C-trace/kernel and discuss some sublattices of C_P(S). It is proved that the set of strong P-congruences, which have C-traces (C-kernels) equal to a given strong normal equivalence of P (C-kernel), is a complete sublattice of C_P(S). It is also proved that the sublattices determined by C-trace-equaling relation θ and C-kernel-equaling relation κ, respectively, are complete sublattices of C_P(S) and the greatest elements of these sublattices are given.     

Relative Regular Modules. Applications to von Neumann Regular Rings

We use the concept of a regular object with respect to another object in an arbitrary category, in order to obtain the transfer of regularity in the sense of Zelmanowitz between the categories R −mod and S −mod, when S is an excellent extension of the ring R. Consequently, if S is an excellent extension of the ring R, then S is von Neumann regular ring if and only if R is also von Neumann regular ring. In the second part, using relative regular modules, we give a new proof of a classical result: the von Neumann regular property of a ring is Morita invariant.     

Associate inverse subsemigroups of regular semigroups

By an associate inverse subsemigroup of a regular semigroup S we mean a subsemigroup T of S containing a least associate of each x∈S, in relation to the natural partial order ≤ _S . We describe the structure of a regular semigroup with an associate inverse subsemigroup, satisfying two natural conditions. As a particular application, we obtain the structure of regular semigroups with an associate subgroup with medial identity element. Research supported by the Portuguese Foundation for Science and Technology (FCT) through the research program POCTI.     

ON THE STRUCTURE OF REGULAR CRYPTO SEMIGROUPS

Superabundant semigroups are generalizations of completely regular semigroups written the class of abundant semigroups. It has been shown by Fountain that an abundant semigroup is superabundant if and only if it is a semilattice of completely J ^*-simple semigroups. Reilly and Petrich called a semigroup S cryptic if the Green's relation H is a congruence on S. In this paper, we call a superabundant semigroup S a regular crypto semigroup if H ^* is a congruence on S such that S/H ^* is a regular band. It will be proved that a superabundant semigroup S is a regular crypto semigroup if and only if S is a refined semilattice of completely J ^*-simple semigroups. Thus, regular crypto semigroups are generalization of the cryptic semigroups as well as abundant semigroups.     

The Stone-Čech compactification of a partial frame via ideals and cozero elements

A partial frame is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. The designated subsets are specified by means of a so-called selection function, denoted by S ; these partial frames are called S-frames.

We construct free frames over S-frames using appropriate ideals, called S-ideals. Taking S-ideals gives a functor from S-frames to frames. Coupled with the functor from frames to S-frames that takes S-Lindelöf elements, it provides a category equivalence between S-frames and a non-full subcategory of frames. In the setting of complete regularity, we provide the functor taking S-cozero elements which is right adjoint to the functor taking S-ideals. This adjunction restricts to an equivalence of the category of completely regular S-frames and a full subcategory of completely regular frames. As an application of the latter equivalence, we construct the Stone-? ech compactification of a completely regular S-frame, that is, its compact coreflection in the category of completely regular S-frames.

A distinguishing feature of the study of partial frames is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of frames or locales and of uniform or nearness frames. The axioms are sufficiently general to include as examples of partial frames bounded distributive lattices, σ-frames, κ-frames and frames.     

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.     

Intersection formulae for the kernel of a cone

A subset S of Euclidean space is called a cone if it is the union of a set of halflines having the same endpoint called the apex of the cone, and the set of all such apices is denoted by ker _R S and called the R-kernel or, when it does not lead to any confusion with the kernel of a starshaped set, simply the kernel of S. ker _R S is shown to be the intersection of a family of flats passing through some selected boundary points of S. Three independent formulae of this type are established, respectively: for an arbitrary proper subset S, for S closed, and for S closed connected and nonconvex.The author is with the Department of Mathematics, University of Notre Dame, Indiana, on leave from the Mathematical Institute of the Polish Academy of Sciences.