On Some Monogenic Semigroups with an Associate Subgroup

Let S be any semigroup and a, s ∈ S. If a = asa, then s is an associate of a. A subgroup G of S is an associate subgroup of S if every a ∈ S has a unique associate a* in G. It turns out that G = H _z for some idempotent z, the zenith of S. The mapping a → a* is a unary operation on S. We say that S is monogenic if S is generated, as a unary semigroup, by a single element.

We embark upon the problem of the structure of monogenic semigroups in this sense by characterizing monogenic ones belonging to completely simple semigroups, normal cryptogroups, orthogroups, combinatorial semigroups, cryptic medial semigroups, cryptic orthodox semigroups, and orthodox monoids. In each of these cases, except one, we construct a free object. The general problem remains open.     

Cryptogroups with an associate subgroup

A cryptogroup is a completely regular semigroup S on which Green’s relation $\mathcal{H}$ is a congruence. For a,x∈S, x is an associate of a if a=axa. A subgroup G of S is an associate subgroup of S if it contains precisely one associate of each element of S. Further, S is a regular (respectively normal) cryptogroup if $S/\mathcal{H}$ is a regular (respectively normal) band. We provide a construction of a general (respectively regular or normal) cryptogroup in terms of groups and functions. On this model of S, we find several conditions equivalent to S containing an associate subgroup G. We characterize several varieties of completely regular semigroups, provided with the unary operation s?s ^?, where s ^? is the associate of s in G. They include completely regular semigroups, (regular, normal) cryptogroups, completely simple semigroups, and their monoid and/or overabelian members.     

The variety of unary semigroups with associate inverse subsemigroup

In Billhardt et al. (Semigroup Forum 79:101–118, 2009) the authors introduced the notion of an associate inverse subsemigroup of a regular semigroup, extending the concept of an associate subgroup of a regular semigroup, first presented in Blyth et al. (Glasg. Math. J. 36:163–171, 1994). The semigroups of these two classes admit axiomatic characterisations in terms of unary operations and can, therefore, be considered as unary semigroups. In this paper we introduce the notion of unary semigroup with associate inverse subsemigroup [with associate subgroup] and show that the classes of such unary semigroups form varieties.     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

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 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.     

Homomorphisms and congruences on regular semigroups with associate inverse subsemigroups

An associate inverse subsemigroup of a regular semigroup S is a subsemigroup T of S containing a least associate x* of each x ∈ S, in relation to the natural partial order ≤. In [1] the authors describe the structure of regular semigroups with an associate inverse subsemigroup, satisfying two natural conditions. In this paper we describe all *-homomorphisms and all *-congruences on such semigroups.     

Finite Proper covers in a class of finite semigroups with commuting idempotents

Weakly left ample semigroups are a class of semigroups that are (2,1)-subalgebras of semigroups of partial transformations, where the unary operation takes a transformation α to the identity map in the domain of α. It is known that there is a class of proper weakly left ample semigroups whose structure is determined by unipotent monoids acting on semilattices or categories. In this paper we show that for every finite weakly left ample semigroup S, there is a finite proper weakly left ample semigroup ? and an onto morphism from ? to S which separates idempotents. In fact, ? is actually a (2,1)-subalgebra of a symmetric inverse semigroup, that is, it is a left ample semigroup (formerly, left type A).     

On Hopf Algebras with Nonzero Integral

Let S be the model of a semigroup with an associate subgroup whose identity is a medial idempotent constructed by Blyth and Martins considered as a unary semigroup. For another such semigroup T, we construct all unary homomorphisms of S into T in terms of their parameters. On S we construct all unary congruences again directly from its parameters. This construction leads to a characterization of congruences in terms of kernels and traces. We describe the K, T, L, U and V relations on the lattice of all unary congruences on S, again in terms of parameters of S.     

Generalised domain and <Emphasis Type="Italic">E</Emphasis>-inverse semigroups

A generalised D-semigroup is here defined to be a left E-semiabundant semigroup S in which the \(\overline{\mathcal R}_E\)-class of every \(x\in S\) contains a unique element D(x) of E, made into a unary semigroup. Two-sided versions are defined in the obvious way in terms of \(\overline{\mathcal R}_E\) and \(\overline{\mathcal L}_E\). The resulting class of unary (bi-unary) semigroups is shown to be a finitely based variety, properly containing the variety of D-semigroups (defined in an order-theoretic way in Communications in Algebra, 3979–4007, 2014). Important subclasses associated with the regularity and abundance properties are considered. The full transformation semigroup \(T_X\) can be made into a generalised D-semigroup in many natural ways, and an embedding theorem is given. A generalisation of inverse semigroups in which inverses are defined relative to a set of idempotents arises as a special case, and a finite equational axiomatisation of the resulting unary semigroups is given.     

A class of unary semigroups admitting a Rees matrix representation

In Billhardt et al. (Semigroup Forum 79:101–118, 2009) the authors introduced the notion of an associate inverse subsemigroup of a regular semigroup, extending the concept of an associate subgroup of a regular semigroup, first presented in Blyth et al. (Glasgow Math. J. 36:163–171, 1994). The main result of the present paper, Theorem 2.15, establishes that a regular semigroup S with an associate inverse subsemigroup S ^? satisfies three simple identities if and only if it is isomorphic to a generalised Rees matrix semigroup M(T;A,B;P), where T is a Clifford semigroup, A and B are bands, with common associate inverse subsemigroup E(T) satisfying the referred identities, and P is a sandwich matrix satisfying some natural conditions. If T is a group and A, B are left and right zero semigroups, respectively, then the structure described provides a usual Rees matrix semigroup with normalised sandwich matrix, thus generalising the Rees matrix representation for completely simple semigroups.     

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.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

Largest subsemigroups of the full transformation monoid

In this paper we are concerned with the following question: for a semigroup S, what is the largest size of a subsemigroup T?S where T has a given property? The semigroups S that we consider are the full transformation semigroups; all mappings from a finite set to itself under composition of mappings. The subsemigroups T that we consider are of one of the following types: left zero, right zero, completely simple, or inverse. Furthermore, we find the largest size of such subsemigroups U where the least rank of an element in U is specified. Numerous examples are given.     

Semigroups whose endomorphisms are power functions

For any commutative semigroup S and any positive integer m, the power function f:S→S defined by f(x)=x ^m is an endomorphism of S. In this paper we characterize finite cyclic semigroups as those finite commutative semigroups whose endomorphisms are power functions. We also prove that if S is a finite commutative semigroup with 1≠0, then every endomorphism of S preserving 1 and 0 is equal to a power function if and only if either S is a finite cyclic group with zero adjoined or S is a cyclic nilsemigroup with identity adjoined. Immediate consequences of the results are, on the one hand, a characterization of commutative rings whose multiplicative endomorphisms are power functions given by Greg Oman in the paper (Semigroup Forum, 86 (2013), 272–278), and on the other hand, a partial solution of Problem 1 posed by Oman in the same paper.     

Ω-compact semigroups having congruence extension property

The congruence extension property (CEP) of semigroups has been extensively studied by a number of authors. We call a compact semigroup S an Ω-compact semigroup if the set of all regular elements of S forms an ideal of S. In this note, we characterize the Ω-compact semigroup having (CEP). Our result extends a recent result obtained by X.J. Guo on the congruence extension property of strong Ω-compact semigroups which is a semigroup containing precisely one regular D-class.