This paper revisits the solution of the word problem for ω-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond’s algorithm, based on normal forms for such terms, uses McCammond’s solution of the word problem for certain Burnside semigroups. In this paper, we establish a new, simpler, correctness proof of McCammond’s algori...

The intuitionistic fuzzification of the notion of a bi-ideal in ordered semigroups is considered. In terms of intuitionistic fuzzy set, conditions for an ordered semigroup to be completely regular is provided. Characterizations of intuitionistic fuzzy bi-ideals in ordered semigroups are given. Using a collection of bi-ideals with additional conditions, an intuitionistic fuzzy bi-ideal is constr...

The (.)reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)...

We introduce the notion of the Fourier and Fouier-Stieltjes algebra of a topological ∗-semigroup and show that these are commutative Banach algebras. For a class of foundation semigroups, we show that these are preduals of von Neumann algebras. 1. Definitions and Notations Let S be a locally compact topological semigroup and M(S) be the Banach algebra of all bounded regular Borel measures μ on ...

For a set X , an equivalence relation ρ on X , and a cross-section R of the partition X/ρ induced by ρ, consider the semigroup T (X, ρ, R) consisting of all mappings a from X to X such that a preserves both ρ (if (x, y) ∈ ρ then (xa, ya) ∈ ρ) and R (if r ∈ R then ra ∈ R). The semigroup T (X, ρ, R) is the centralizer of the idempotent transformation with kernel ρ and imageR. We determine the str...

A left almost semigroup (LA-semigroup) or an Abel-Grassmann’s groupoid (AG-groupoid) is investigated in several papers. In this paper we have discussed ideals in LA-semigroups. Specifically, we have shown that every ideal in an LA-semigroup S with left identity e is prime if and only if it is idempotent and the set of ideals of S is totally ordered under inclusion. We have shown that an ideal o...

It is known that a left C-wrpp semigroup can be described as curler structure of a left band and a C-wrpp semigroup. In this paper, we introduce the class of weakly left C-wrpp semigroups which includes the class of weakly left C-rpp semigroups as a subclass. We shall particularly show that the spined product of a left C-wrpp semigroup and a right normal band is a weakly left C-wrpp semifroup. ...

In this paper, we endow set S with the structure of an ordered semigroup and define “intuitionistic fuzzy” analogous for several notions that have been proved to be useful in the theory of ordered semigroups and give some equivalent conditions of these definitions. Then we characterize the completely regular and the strongly regular ordered semigroups by means of intuitionistic fuzzy bi-ideals.