Ring semigroups whose subsemigroups form a chain

A multiplicative semigroup S is called a ring semigroup if an addition may be defined on S so that (S,+,⋅) is a ring. Such semigroups have been well-studied in the literature (see Bell in Words, Languages and Combinatorics, pp. 24–31, World Scientific, Singapore, 1994; Jones in Semigroup Forum 47(1):1–6, 1993; Jones and Ligh in Semigroup Forum 17(2):163–173, 1979). In this note, we use Mihăilescu’s Theorem (formerly Catalan’s Conjecture) to characterize the ring semigroups whose subsemigroups containing 0 form a chain with respect to set inclusion.     

On q *-bisimple IC semigroups of type-E

A semigroup is called type-E if the band of its idempotents can be expressed as a direct product of a rectangular band and an ω-chain. For brevity, we call an IC ^*-bisimple quasi-adequate semigroup of type-E a q ^*-bisimple IC semigroup of type-E. In this paper, we characterize q ^*-bisimple semigroups by using some kind of generalized Bruck-Reilly extensions. As a consequence, some results concerning *-bisimple type-A ω-semigroups given by Asibong-Ibe (Semigroup Forum 31:99–117, 1985) are generalized.     

Mean ergodic theorems for bi-continuous semigroups

In this paper we study the main properties of the Cesàro means of bi-continuous semigroups, introduced and studied by Kühnemund (Semigroup Forum 67:205–225, 2003). We also give some applications to Feller semigroups generated by second-order elliptic differential operators with unbounded coefficients in C _b (ℝ ^N ) and to evolution operators associated with nonautonomous second-order differential operators in C _b (ℝ ^N ) with time-periodic coefficients.     

A note on two equivalence relations on inverse semigroups

Let S be an inverse semigroup. In Rezavand et al. (Semigroup Forum 77:300–305, 2008) and Munn (Proc. Glasgow Math. Assoc. 5:41–48, 1961) two equivalence relations are defined on  S. After describing these relations we show that they coincide.     

On the translational hull of a type B semigroup

In this paper, the translational hull of a type B semigroup is considered. We prove that the translational hull of a type B semigroup is itself a type B semigroup, and give some properties and characterizations of the translational hulls of such semigroups. Moreover, we consider the translational hulls of some special type B semigroups. These results strengthen the results of Fountain and Lawson (Semigroup Forum 32:79–86, 1985) on adequate semigroups. Finally, we give a new proof of a problem posted by Petrich on translational hulls of inverse semigroups in Petrich (Inverse Semigroups, Wiley, New York, 1984).     

Medial permutable semigroups of the first kind

We say that a semigroup S is a permutable semigroup if the congruences of S commute with each other, that is, α○β=β○α is satisfied for all congruences α and β of S. A semigroup is called a medial semigroup if it satisfies the identity axyb=ayxb. The medial permutable semigroups were examined in Proc. Coll. Math. Soc. János Bolyai, vol. 39, pp. 21–39 (1981), where the medial semigroups of the first, the second and the third kind were characterized, respectively. In Atta Accad. Sci. Torino, I-Cl. Sci. Fis. Mat. Nat. 117, 355–368 (1983) a construction was given for medial permutable semigroups of the second [the third] kind. In the present paper we give a construction for medial permutable semigroups of the first kind. We prove that they can be obtained from non-archimedean commutative permutable semigroups (which were characterized in Semigroup Forum 10, 55–66, 1975). Research supported by the Hungarian NFSR grant No T042481 and No T043034.     

On covers of cyclic acts over monoids

In (Bull. Lond. Math. Soc. 33:385–390, 2001) Bican, Bashir and Enochs finally solved a long standing conjecture in module theory that all modules over a unitary ring have a flat cover. The only substantial work on covers of acts over monoids seems to be that of Isbell (Semigroup Forum 2:95–118, 1971), Fountain (Proc. Edinb. Math. Soc. (2) 20:87–93, 1976) and Kilp (Semigroup Forum 53:225–229, 1996) who only consider projective covers. To our knowledge the situation for flat covers of acts has not been addressed and this paper is an attempt to initiate such a study. We consider almost exclusively covers of cyclic acts and restrict our attention to strongly flat and condition (P) covers. We give a necessary and sufficient condition for the existence of such covers and for a monoid to have the property that all its cyclic right acts have a strongly flat cover (resp. (P)-cover). We give numerous classes of monoids that satisfy these conditions and we also show that there are monoids that do not satisfy this condition in the strongly flat case. We give a new necessary and sufficient condition for a cyclic act to have a projective cover and provide a new proof of one of Isbell’s classic results concerning projective covers. We show also that condition (P) covers are not unique, unlike the situation for projective covers.     

Two cancellative commutative congruences and group diagrams

Remmers (Adv. Math. 36:283–296, 1980) uses group diagrams in the Euclidean plane to demonstrate how equality in a semigroup S “mirrors” that inside the group G sharing the same presentation with S, when S satisfies Adyan’s condition—no cycles in the left/right graphs of the semigroup’s presentation. Goldstein and Teymouri (Semigroup Forum 47:299–304, 1993) introduce a conjugacy equivalence relation for semigroups S. By closely examining the geometry of annular group diagrams in the plane, they show how their equivalence relation mirrors conjugacy inside G, for S satisfying Adyan’s. In this article we introduce two cancellative commutative congruences. Following their leads, we examine the geometry of group diagrams on closed surfaces of higher genera to demonstrate how these congruences mirror equality inside two naturally associated Abelian quotient groups G/[G,G] and G/G ², respectively. In these instances we can drop Adyan’s condition.     

Irregular abelian semigroups with weakly amenable semigroup algebra

In this paper we give counterexamples for the open problem, posed by Blackmore (Semigroup Forum 55:359–377, 1987) of whether weak amenability of a semigroup algebra ℓ ¹(S) implies complete regularity of the semigroup S. We present a neat set of conditions on a commutative semigroup (involving concepts well known to those working with semigroups, e.g. the counterexamples are nil and 0-cancellative) which ensure that S is irregular (in fact, has no nontrivial regular subsemigroup), but ℓ ¹(S) is weakly amenable. Examples are then given.     

Stability properties for solution operators

We study stability properties of certain evolution equations including the fractional Cauchy problem. Under some spectral assumptions these equations are governed either by a resolvent or a regularized resolvent or a k-convoluted semigroup. We investigate the long time behavior for bounded solutions by a direct application of the ergodic theorems for regularized resolvents of Lizama and Prado (J. Approx. Theory 122:42–61, 2003), Prado (Semigroup Forum 73:243–252, 2006). We apply our results to the qualitative study of the fractional diffusion-wave equation on L ^p (ℝ). The author is partially supported under FONDECYT Grant n^o 1070127.     

A problem on generalized Cayley graphs of semigroups

Zhu (Semigroup Forum 84(3), 144–156, 2012) investigated some combinatorial properties of generalized Cayley graphs of semigroups. In Remark 3.8 of (Zhu, Semigroup Forum 84(3), 144–156, 2012), Zhu proposed the following question: It may be interesting to characterize semigroups S such that Cay(S,ω _l )=Cay(S,ω _r ). In this short note, we prove that for any regular semigroup S, Cay(S,ω _l )=Cay(S,ω _r ) if and only if S is a Clifford semigroup.     

On quasi-prime,weakly quasi-prime left ideals in ordered-Γ-semigroups

In this paper we obtain and establish some important results in ordered Γ-semigroups extending and generalizing those for semigroups given in [PETRICH, M.: Introduction to Semigroups, Merill, Columbus, 1973] and for ordered semigroups from [KEHAYOPULU, N.: On weakly prime ideals of ordered semigroups, Math. Japon. 35 (1990), 1051–1056], [KEHAYOPULU, N.: On prime, weakly prime ideals in ordered semigroups, Semigroup Forum 44 (1992), 341–346] and [XIE, X. Y.—WU, M. F.: On quasi-prime, weakly quasi-prime left ideals in ordered semigroups, PU.M.A. 6 (1995), 105–120]. We introduce and give some characterizations about the quasi-prime and weakly quasi-prime left ideals of ordered-Γ-semigroups. We also introduce the concept of weakly m-systems in ordered Γ-semigroups and give some characterizations of the quasi-prime and weakly quasi-prime left ideals by weakly m-systems.     

On the Cayley Graphs of Brandt Semigroups

In this article, the Cayley graphs of Brandt semigroups are investigated. The basic structures and properties of this kind of Cayley graphs are given, and a necessary and sufficient condition is given for the components of Cayley graphs of Brandt semigroups to be strongly regular. As an application, the generalized Petersen graph and k-partite graph, which cannot be obtained from the Cayley graphs of groups, can be constructed as a component of the Cayley graphs of Brandt semigroups.     

Filters and semigroup compactification properties

Stone-Čech compactifications derived from a discrete semigroup S can be considered as the spectrum of the algebra ℬ(S) or as a collection of ultrafilters on S. What is certain and indisputable is the fact that filters play an important role in the study of Stone-Čech compactifications derived from a discrete semigroup. It seems that filters can play a role in the study of general semigroup compactifications too. In the present paper, first we review the characterizations of semigroup compactifications in terms of filters and then extend some of the results in Papazyan (Semigroup Forum 41:329–338, 1990) concerning the Stone-Čech compactification to a semigroup compactification associated with a Hausdorff semitopological semigroup.     

One-regular Normal Cayley Graphs on Dihedral Groups of Valency 4 or 6 with Cyclic Vertex Stabilizer

A graph G is one-regular if its automorphism group Aut（G） acts transitively and semiregularly on the arc set. A Cayley graph Cay（Г, S） is normal if Г is a normal subgroup of the full automorphism group of Cay（Г, S）. Xu, M. Y., Xu, J. （Southeast Asian Bulletin of Math., 25, 355-363 （2001）） classified one-regular Cayley graphs of valency at most 4 on finite abelian groups. Marusic, D., Pisanski, T. （Croat. Chemica Acta, 73, 969-981 （2000）） classified cubic one-regular Cayley graphs on a dihedral group, and all of such graphs turn out to be normal. In this paper, we classify the 4-valent one-regular normal Cayley graphs G on a dihedral group whose vertex stabilizers in Aut（G） are cyclic. A classification of the same kind of graphs of valency 6 is also discussed.     

On the Cayley graphs of completely simple semigroups

In this paper, the Cayley graphs of completely simple semigroups are investigated. The basic structure and properties of this kind of Cayley graph are given, and a condition is given for a Cayley graph of a completely simple semigroup to be a disjoint union of complete graphs. We also describe all pairs (S,A) such that S is a completely simple semigroup, A⊆S, and Cay (S,A) is a strongly connected bipartite Cayley graph.     

Feasible Method for Generalized Semi-Infinite Programming

In this paper, we analyze the outer approximation property of the algorithm for generalized semi-infinite programming from Stein and Still (SIAM J. Control Optim. 42:769–788, 2003). A simple bound on the regularization error is found and used to formulate a feasible numerical method for generalized semi-infinite programming with convex lower-level problems. That is, all iterates of the numerical method are feasible points of the original optimization problem. The new method has the same computational cost as the original algorithm from Stein and Still (SIAM J. Control Optim. 42:769–788, 2003). We also discuss the merits of this approach for the adaptive convexification algorithm, a feasible point method for standard semi-infinite programming from Floudas and Stein (SIAM J. Optim. 18:1187–1208, 2007).     

A direct approach to the weighted admissibility of observation operators for bounded analytic semigroups

In this note we adopt the approach in Bonnit et al. (Czechoslov. Math. J. 60(2):527–539, 2010) to give a direct proof of some recent results in Haak and Le Merdy (Houst. J. Math., 2005) and Haak and Kunstmann (SIAM J. Control Optim. 45:2094–2118, 2007) which characterizes the L ^p -admissibility of type α depending on p of unbounded observation operators for bounded analytic semigroups.     

Distributive Lattices with a Generalized Implication: Topological Duality

In this paper we introduce the notion of generalized implication for lattices, as a binary function ⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized implication as a common abstraction of the notions of annihilator (Mandelker, Duke Math J 37:377–386, 1970), Quasi-modal algebras (Celani, Math Bohem 126:721–736, 2001), and weakly Heyting algebras (Celani and Jansana, Math Log Q 51:219–246, 2005). We introduce the suitable notions of morphisms in order to obtain a category, as well as the corresponding notion of congruence. We develop a Priestley style topological duality for the bounded distributive lattices with a generalized implication. This duality generalizes the duality given in Celani and Jansana (Math Log Q 51:219–246, 2005) for weakly Heyting algebras and the duality given in Celani (Math Bohem 126:721–736, 2001) for Quasi-modal algebras.