in this paper we give a characterization for all semigroups whose square is a group. moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and grouplikes,introduced by the author. also, we observe that this paper characterizes and axiomatizes a class of homogroups (semigroups containing an ideal subgroup).  finally, several equivalent conditions ...

Exactly as in semigroups, Green’s relations play an important role in the theory of ordered semigroups—especially for decompositions of such semigroups. In this paper we deal with the -trivial ordered semigroups which are defined via the Green’s relation , and with the nil and Δ-ordered semigroups. We prove that every nil ordered semigroup is -trivial which means that there is no ordered semigr...

Consider an interval I ⊆ Q . Set S(I) = {m ∈ N : ∃ n ∈ N , mn ∈ I}. This turns out to be a numerical semigroup, and has been the subject of considerable recent investigation (see Chapter 4 of [2] for an introduction). Special cases include modular numerical semigroups (see [4]) where I = [mn , m n−1 ] (m,n ∈ N ), proportionally modular numerical semigroups (see [3]) where I = [mn , m n−s ] (m,n...

Among the most important and intensively studied classes of semigroups are finite semigroups, regular semigroups and inverse semigroups. Finite semigroups arise as syntactic semigroups of regular languages and as transition semigroups of finite automata. This connection has lead to a large and deep literature on classifying regular languages by means of algebraic properties of their correspondi...

Inverse semigroups form a variety of unary semigroups, that is, semigroups equipped with an additional unary operation, in this case a 7→ a−1. The theory of inverse semigroups is perhaps the best developed within semigroup theory, and relies on two factors: an inverse semigroup S is regular, and has semilattice of idempotents. Three major approaches to the structure of inverse semigroups have e...

In this paper we introduce the concept of weakly prime ternary subsemimodules of a ternary semimodule over a ternary semiring and obtain some characterizations of weakly prime ternary subsemimodules. We prove that if $N$ is a weakly prime subtractive ternary subsemimodule of a ternary $R$-semimodule $M$, then either $N$ is a prime ternary subsemimodule or $(N : M)(N : M)N = 0$. If $N$ is a $Q$-...

The concept of an automaton group generalizes easily to semigroups, and the systematic study of this area is beginning. This paper aims to contribute to that study. The basic theory of automaton semigroups is briefly reviewed. Various natural semigroups are shown to arise as automaton semigroups. The interaction of certain semigroup constructions with the class of automaton semigroups is studie...

In the present paper for a large family of topological semigroups, namely foundation semigroups, for which topological groups and discrete semigroups are elementary examples, it is shown that ?(S) is the dual of a function algebra.

In this paper we give a structural characterization for semigroups whose power semigroups are 0-Archimedean. We prove that these semigroups are exactly the nilpotent semigroups.