Boolean Zero Square (BZS) Semigroups

We introduce a new class of semigroups, that we call BZS - Boolean Zero Square-semigroups. A semigroup S with a zero element, 0, is said to be a BZS semigroup if, for every , we have or . We obtain some properties that describe the behaviour of the Green’s equivalence relations , , and . Necessary and sufficient conditions for a BZS semigroup to be a band and an inverse semigroup are obtained. A characterisation of a special type of BZS completely 0-simple semigroup is presented.

Degree 2 transformation semigroups as continuous maps on graphs: Foundations and structure

We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn–Rhodes complexity of a degree 2 action is at most 2. We show that the monoid of continuous maps on a graph is the translational hull of an appropriate 0-simple semigroup. We show how group mapping semigroups can be considered as regular covers of their right letter mapping image and relate this to their graph of fibers.

The strong nil-cleanness of semigroup rings

In this paper, we study the strong nil-cleanness of certain classes of semigroup rings. For a completely 0-simple semigroup M={ {\mathcal M} }^{0}(G;I,\text{Λ};P) , we show that the contracted semigroup ring {R}_{0}{[}M] is strongly nil-clean if and only if either |I|=1 or |\text{Λ}|=1 , and R{[}G] is strongly nil-clean; as a corollary, we characterize the strong nil-cleanness of locally inverse semigroup rings. Moreover, let S={[}Y;{S}_{\alpha },{\varphi }_{\alpha ,\beta }] be a strong semilattice of semigroups, then we prove that R{[}S] is strongly nil-clean if and only if R{[}{S}_{\alpha }] is strongly nil-clean for each \alpha \in Y .

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.

On deleted diagonal acts of completely (0-) simple semigroups

If [Formula: see text] is a semigroup without identity, then the deleted diagonal act of [Formula: see text] is the right [Formula: see text]-act [Formula: see text]. In [S. Bulman-Fleming and A. Gilmour, Flatness properties of diagonal acts over monoids, Semigroup Forum 79 (2009) 298–314] the authors answered the question of when [Formula: see text] is flat, satisfies Condition [Formula: see text] or [Formula: see text] for a completely [Formula: see text] simple semigroup (always represented here in regular Rees matrix form). In this paper we answer similar question for some other properties. There are also some results that can arise.

Locally adequate semigroup algebras

We build up a multiplicative basis for a locally adequate concordant semigroup algebra by constructing Rukolaĭne idempotents. This allows us to decompose the locally adequate concordant semigroup algebra into a direct product of primitive abundant $0{\rm{ - }}{\cal J}*$-simple semigroup algebras. We also deduce a direct sum decomposition of this semigroup algebra in terms of the ${\cal R}*$-classes of the semigroup obtained from the above multiplicative basis. Finally, for some special cases, we provide a description of the projective indecomposable modules and determine the representation type.

Simple semigroup graded rings

We show that if R is a, not necessarily unital, ring graded by a semigroup G equipped with an idempotent e such that G is cancellative at e, the nonzero elements of eGe form a hypercentral group and Re has a nonzero idempotent f, then R is simple if and only if it is graded simple and the center of the corner subring f ReGe f is a field. This is a generalization of a result of Jespers' on the simplicity of a unital ring graded by a hypercentral group. We apply our result to partial skew group rings and obtain necessary and sufficient conditions for the simplicity of a, not necessarily unital, partial skew group ring by a hypercentral group. Thereby, we generalize a very recent result of Gonçalves'. We also point out how Jespers' result immediately implies a generalization of a simplicity result, recently obtained by Baraviera, Cortes and Soares, for crossed products by twisted partial actions.