Completely 0-simple semigroup with the basis property

A semigroup [Formula: see text] is said to have the Basis Property if for any subsemigroup [Formula: see text] of a semigroup [Formula: see text], any two bases for [Formula: see text] have the same cardinality. The structure of completely [Formula: see text]-simple semigroup with the Basis Property is described. In particular, we proved that each completely [Formula: see text]-simple semigroup [Formula: see text] has the Basis Property if and only if [Formula: see text] satisfies one of the following conditions: (1) [Formula: see text] is produced from a completely simple semigroup with adjoint zero. (2) [Formula: see text] is an isomorphic to Rees’s semigroup [Formula: see text] over a group [Formula: see text] with sandwich matrix [Formula: see text] such that [Formula: see text], [Formula: see text], in addition [Formula: see text] has a zero in every row and column.

Cross-connections of completely simple semigroups

A completely simple semigroup [Formula: see text] is a semigroup without zero which has no proper ideals and contains a primitive idempotent. It is known that [Formula: see text] is a regular semigroup and any completely simple semigroup is isomorphic to the Rees matrix semigroup [Formula: see text] (cf. D. Rees, On semigroups, Proc. Cambridge Philos. Soc. 36 (1940) 387–400). In the study of structure theory of regular semigroups, Nambooripad introduced the concept of normal categories to construct the semigroup from its principal left (right) ideals using cross-connections. A normal category [Formula: see text] is a small category with subobjects wherein each object of the category has an associated idempotent normal cone and each morphism admits a normal factorization. A cross-connection between two normal categories [Formula: see text] and [Formula: see text] is a local isomorphism [Formula: see text] where [Formula: see text] is the normal dual of the category [Formula: see text]. In this paper, we identify the normal categories associated with a completely simple semigroup [Formula: see text] and show that the semigroup of normal cones [Formula: see text] is isomorphic to a semi-direct product [Formula: see text]. We characterize the cross-connections in this case and show that each sandwich matrix [Formula: see text] correspond to a cross-connection. Further we use each of these cross-connections to give a representation of the completely simple semigroup as a cross-connection semigroup.

Residuated Completely Simple Semigroups

We consider particular compatible orders on a given completely simple semigroup Sx=M(〈x〉; I ,Λ;P) where 〈x〉 is an ordered cyclic group with x > 1 and P11=x-1. Of these, only the lexicographic and bootlace orders yield residuated semigroups. With the lexicographic order, Sx is orthodox and has a biggest idempotent. With the bootlace order, the maximal idempotents of Sx are identified by specific locations in the sandwich matrix. In the orthodox case there is also a biggest idempotent and, for sandwich matrices of a given size, uniqueness up to ordered semigroup isomorphism is established.

Rings Graded By a Generalized Group

The aim of this paper is to consider the ringswhich can be graded by completely simple semigroups. We show that each G-graded ring has an orthonormal basis, where G is a completely simple semigroup. We prove that if I is a complete homogeneous ideal of a G-graded ring R, then R/I is a G-graded ring.We deduce a characterization of the maximal ideals of a G-graded ring which are homogeneous. We also prove that if R is a Noetherian graded ring, then each summand of it is also a Noetherian module..

On Minimal Fuzzy Ideals of Semigroups

The present paper contains the sufficient condition of a fuzzy semigroup to be a fuzzy group using fuzzy points. The existence of a fuzzy kernel in semigroup is explored. It has been shown that every fuzzy ideal of a semigroup contains every minimal fuzzy left and every minimal fuzzy right ideal of semigroup. The fuzzy kernel is the class sum of minimal fuzzy left (right) ideals of a semigroup. Every fuzzy left ideal of a fuzzy kernel is also a fuzzy left ideal of a semigroup. It has been shown that the product of minimal fuzzy left ideal and minimal fuzzy right ideal of a semigroup forms a group. The representation of minimal fuzzy left (right) ideals and also the representation of intersection of minimal fuzzy left ideal and minimal fuzzy right ideal are shown. The fuzzy kernel of a semigroup is basically the class sum of all the minimal fuzzy left (right) ideals of a semigroup. Finally the sufficient condition of fuzzy kernel to be completely simple semigroup has been proved.

Regular Semigroups Which Are Amalgamation Bases for Finite Semigroups

In this paper, we prove that a completely 0-simple (or completely simple) semigroup is an amalgamation base for finite semigroups if and only if it is an amalgamation base for semigroups. By adopting the same method as used in a previous paper, we prove that a finite regular semigroup is an amalgamation base for finite semigroups if its [Formula: see text]-classes are linearly ordered and all of its principal factor semigroups are amalgamation bases for finite semigroups. Finally, we give an example of a finite semigroup U which is an amalgamation base for semigroups, but not all of its principal factor semigroups are amalgamation bases either for semigroups or for finite semigroups.