A construction of weakly inverse semigroups

Let S° be an inverse semigroup with semilattice biordered set E° of idempotents and E a weakly inverse biordered set with a subsemilattice Ep = { e ∈ E ｜ arbieary f ∈ E, S（f , e） loheain in w（e）} isomorphic to E° by θ：Ep→E°. In this paper, it is proved that if arbieary f, g ∈E, f ←→ g→→ f°θD^s° g°θand there exists a mapping φ from Ep into the symmetric weakly inverse semigroup P J（E∪ S°） satisfying six appropriate conditions, then a weakly inverse semigroup ∑ can be constructed in P J（S°）, called the weakly inverse hull of a weakly inverse system （S°, E, θ, φ） with I（∑） ≌ S°, E（∑） ∽- E. Conversely, every weakly inverse semigroup can be constructed in this way. Furthermore, a sufficient and necessary condition for two weakly inverse hulls to be isomorphic is also given.     

Representation of congruences on regular semigroups with inverse transversals

For a regular semigroup with an inverse transversal, we have Saito’s structureW(I,S ^o, Λ, *, {α, β}). We represent congruences on this kind of semigroups by the so-called congruence assemblage which consist of congruences on the structure component partsI,S ^o and Λ. The structure of images of this type of semigroups is also presented. This work is supported by Natural Science Foundation of Guangdong Province     

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.     

Transversals in non-discrete groups

The concept of ‘topological right transversal’ is introduced to study right transversals in topological groups. Given any right quasigroupS with a Tychonoff topologyT, it is proved that there exists a Hausdorff topological group in whichS can be embedded algebraically and topologically as a right transversal of a subgroup (not necessarily closed). It is also proved that if a topological right transversal(S, T _S ,T ^S , o) is such thatT _S =T ^S is a locally compact Hausdorff topology onS, thenS can be embedded as a right transversal of a closed subgroup in a Hausdorff topological group which is universal in some sense.     

Classification ofS n -normal semigroups

IfS _n andC _n denote, respectively, the symmetric group and inverse semigroup onn symbols, thenS _n⊂C_n and a semigroupT⊂C_n isS _n -normal ifα ⁻¹ Tα ⊂Tfor every α∈S _n . TheS _n -normal semigroups are classified.     

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.     

Undirected power graphs of semigroups

The undirected power graph G(S) of a semigroup S is an undirected graph whose vertex set is S and two vertices a,b∈S are adjacent if and only if a≠b and a ^m =b or b ^m =a for some positive integer m. In this paper we characterize the class of semigroups S for which G(S) is connected or complete. As a consequence we prove that G(G) is connected for any finite group G and G(G) is complete if and only if G is a cyclic group of order 1 or p ^m . Particular attention is given to the multiplicative semigroup ℤ _n and its subgroup U _n , where G(U _n ) is a major component of G(ℤ _n ). It is proved that G(U _n ) is complete if and only if n=1,2,4,p or 2p, where p is a Fermat prime. In general, we compute the number of edges of G(G) for a finite group G and apply this result to determine the values of n for which G(U _n ) is planar. Finally we show that for any cyclic group of order greater than or equal to 3, G(G) is Hamiltonian and list some values of n for which G(U _n ) has no Hamiltonian cycle.     

Universal groups on semilattices of reversible cancellative semigroups

LetS be a semigroup which is a semilattice Ω of reversible cancellative semigroupsS _α, α∈Ω. This paper studies the relationship between the universal groupG onS and the universal groupsG _α onS _α. We also show that the universal homorphismsf _α∶S _α→G _α, α∈Ω fromS _α to the category of groups combine to a homomorphismf∶S→G ofS into the category of groups.     

α-Inflatable semigroups

For α∈N with α≥2, we define and characterize α-inflatable semigroups,S and establish that the product (βS/S,·)·(βS/S,·) of Stone-Ĉech remainders does not contain the closure of the minimal ideal of (βS,·), the Stone-Ĉech compactification ofS. From this result, one can easily derive Ruppert's result that the minimal ideal of a compact left-topological semigroup is not necessarily closed. The author gratefully acknowledges support from Delaware State College under Grant No. 6769.     

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.     

On the Multiplicative Quasi-Adequate Transversals of an Abundant Semigroup

In this article, we explore the multiplicative quasi-adequate transversals of an abundant semigroup. Let S be an abundant semigroup with multiplicative quasi-adequate transversals. Then the product of any two multiplicative quasi-adequate transversals is also a multiplicative quasi-adequate transversal. Moreover, all multiplicative quasi-adequate transversals of S form a rectangular band. Let S°and S ^? be multiplicative quasi-adequate transversals of S, and let δ°(δ^?) be the δ-relation on S°(S ^?). Then there exists a bijection ? from S°/δ°onto S ^?/δ^?. In particular, if δ°and δ^? are congruences, then the bijection ? is an isomorphism.     

Davenport constant for semigroups

Let G be a finite commutative semigroup. The Davenport constant of G is the smallest integer d such that, every sequence S of d elements in G contains a subsequence T (≠S) with the same product of S. Let . Among other results, we determine D(R ^×)−D(U(R)), where R ^× is the multiplicative semigroup of R and U(R) is the group of units of R.     

Inverse semigroups and combinatorial C*-algebras

We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term tight. These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the tight spectrum, which is in turn shown to be precisely the closure of the space of ultra-filters, once filters are identified with semicharacters in a natural way. These representations are moreover shown to correspond to representations of the C*-algebra of the groupoid of germs for the action of S on its tight spectrum. We then treat the case of certain inverse semigroups constructed from semigroupoids, generalizing and inspired by inverse semigroups constructed from ordinary and higher rank graphs. The tight representations of this inverse semigroup are in one-to-one correspondence with representations of the semigroupoid, and consequently the semigroupoid algebra is given a groupoid model. The groupoid which arises from this construction is shown to be the same as the boundary path groupoid of Farthing, Muhly and Yeend, at least in the singly aligned, sourceless case. *Partially supported by CNPq.     

Boolean subsets of semigroups

Summary IfS→2 ^X is a surjective semigroup homomorphism, then the ultrafilters onX correspond biunivocally to the minimal prime ideals to the kernel. Some examples are given.

---

Riassunto SeS→2 ^X è un omormorfismo surgettivo di semigruppi, allora gli ultrafiltri suX corrispondono biunivocamente agli ideali primi minimali del nucleo. Vengono dati degli esempi.

     

Method of moments on semigroups

If ( _j ) is a sequence of measures onR ^k having momentss _n ( _j ) of all ordersnN ₀ ^k and if for eachnN ₀ ^k the sequence (s _{n j} )) _jN converges to somet _n R then some subsequence of ( _j ) converges weakly to a measure with moments of all orders satisfyings _n ()=t _n for allnN^0/k . Thisindeterminate method of moments and the continuity theorems in probability theory suggest a common generalization, dealing with a commutative semigroupS, with involution and a neutral element, and measures on the dual semigroupS ^* ofcharacters on S—hermitian multiplicative complex functions not identically zero. In this setting, a continuity theorem holds for measures on the set of bounded characters,⁽²⁾ and an indeterminate method of moments whenS is finitely generated.⁽²⁾ The latter result is generalized in the present paper to the case of arbitraryS. This leads to a generalization of Haviland's criterion for theK-moment problem, and to a continuity theorem for the so-called perfect semigroups.     

E-varieties of regular semigroups,relatively bifree objects and fully invariant congruences

Analogous to the concept of a free object on a setX in a variety of algebras is the notion of a bifree object onX in an e-variety of regular semigroups. If an e-variety contains a bifree object onX, then a homomorphic image of that bifree object is itself bifree onX in some e-variety if and only if the corresponding congruence is fully invariant. Furthermore, the lattice of e-subvarieties of any locally inverse or E-solid e-variety ε is antiisomorphic with the lattice of all fully invariant congruences on the bifree object on a countably infinite setX in ε. We give a Birkhoff-type theorem for classes of locally inverse or E-solid semigroups, and we give an intrinsic test for whether or not a regular semigroup is bifree onX in the e-variety it generates.     

On some medial semigroups with an associate subgroup

Let S be a semigroup and s,t∈S. We say that t is an associate of s if s=sts. If S has a maximal subgroup G such that every element s of S has a unique associate in G, say s ^∗, we say that G is an associate subgroup of S and consider the mapping s→s ^∗ as a unary operation on S. In this way, semigroups with an associate subgroup may be identified with unary semigroups satisfying three simple axioms. Among them, only those satisfying the identity (st)^∗=t ^∗ s ^∗, called medial, have a structure theorem, due to Blyth and Martins.     

Numerical semigroups with many gaps of the same parity

Let g _e (S) (respectively, g _o (S)) be the number of even (respectively, odd) gaps of a numerical semigroup S. In this work we study and characterize the numerical semigroups S that verify 2|g _e (S)−g _o (S)|+1∈S. As a consequence we will see that every numerical semigroup can be represented by means of a numerical semigroup with maximal embedding dimension with all its minimal generators odd. The first author is supported by the project MTM2007-62346 and FEDER funds. The authors want to thank P.A. García-Sánchez and the referee for their comments and suggestions.