arXiv:1703.04139v2 [math.GR] 29 Jun 2017

CROSS-CONNECTIONS AND VARIANTS OF THE FULL
TRANSFORMATION SEMIGROUP
P. A. AZEEF MUHAMMED

Abstract. Cross-connection theory propounded by K. S. S. Nambooripad
describes the ideal structure of a regular semigroup using the categories of
principal left (right) ideals. A variant TXθ of the full transformation semigroup
(TX , ·) for an arbitrary θ ∈ TX is the semigroup TXθ = (TX , ∗) with the binary
operation α ∗ β = α · θ · β where α, β ∈ TX . In this article, we describe the ideal
structure of the regular part Reg(TXθ ) of the variant of the full transformation
semigroup using cross-connections. We characterize the constituent categories
of Reg(TXθ ) and describe how they are cross-connected by a functor induced
by the sandwich transformation θ. This lead us to a structure theorem for
the semigroup and give the representation of Reg(TXθ ) as a cross-connection
semigroup. Using this, we give a description of the biordered set and the
sandwich sets of the semigroup.

1. Introduction
In 1973, T. E. Hall [15] used the principal ideals and translations of a regular
semigroup to study its ideal structure. In 1974, P. A. Grillet [11–13] inspired
by Hall’s ideas, axiomatically characterized the partially ordered sets of principal
ideals of a regular semigroup. He explicitly described the relationship between
the principal ideals of a regular semigroup using a pair of maps which he called a
cross-connection and gave a fundamental representation of a regular semigroup as
a cross-connection semigroup. Later in 1994, K. S. S. Nambooripad [26] extended
Grillet’s construction to arbitrary regular semigroups (not only fundamental ones),
by replacing partially ordered sets with normal categories. Given an arbitrary
regular semigroup, it induces a cross-connection between the categories of principal
left and right ideals, and conversely a cross-connection between suitable normal
categories gives rise to a regular semigroup.
Cross-connection theory describes how two categories (one each from the Green
L and R relations) are connected to form a regular semigroup. Hence, it is very
suitable to study the structure of semigroups which have a rather complicated ideal
structure. But the theory in itself is quite abstract that it may not look attractive
for people working in concrete semigroup problems. This article is a humble effort
to fill that void, wherein we give concrete meanings to the abstract notions of
the cross-connection theory, by placing them in the setting of the transformation
semigroup.
2010 Mathematics Subject Classification. 20M10, 20M17, 20M50.
Key words and phrases. Regular semigroup, full transformation semigroup, cross-connections,
normal category, variant.
The author acknowledges the financial support by the Competitiveness Enhancement Program
of the Ural Federal University, Russia.
1

2

P. A. AZEEF MUHAMMED

It may be noted here that the cross-connection structure degenerates in many
situations like regular monoids (see Section 2 for details). Hence, it is not easy
to find a concrete setting which demonstrates the nuances and subtleties of the
sophisticated construction. Fortunately, the regular part of the variant of the full
transformation semigroup provides such a concrete setting which is very amenable
for cross-connection analysis. Here we shall see that the cross-connections are
determined by the variant element θ and hence the pun in the title of the article is
vindicated.
Recall, that the full transformation semigroup TX is the semigroup of all mappings from a set X to itself. It is a well known that TX is regular and every
semigroup can be realised as a transformation semigroup [6]. Hence the semigroup TX and its subsemigroups have been studied extensively [8–10, 18]. The
cross-connections of the singular transformation semigroup Sing(X) was studied
recently in a joint article of the author with A. R. Rajan [4]. The categories involved were characterized as the powerset category P(X) of all non-empty proper
subsets of X and the category Π(X) of all non-identity partitions of X. It was
shown that every cross-connection semigroup that arises from P(X) and Π(X) is
isomorphic to Sing(X). It can be easily shown that the similar results hold for the
full transformation semigroup TX as well (see Section 3 below). These results also
push us closer to the variants of TX .
Let (S, ·) be an arbitrary semigroup. Then the variant S θ for an arbitrary θ ∈ S
is defined as the semigroup (S, ∗) with the binary composition ∗ as follows.
α∗β =α·θ·β

for α, β ∈ S.

Variant of a semigroup was initially studied by K. D. Magill [23] and J. B. Hickey
[16]; later by T. A. Khan and M. V. Lawson [20], G. Y. Tsyaputa [31], Y. Kemprasit
[19], I. Dolinka and J. East [8] among others. See [8] for a detailed discussion on
the development of the literature. As noted in [20], the variants arise naturally
in the context of Rees matrix semigroups. It is worth observing here that the
cross-connection in a regular Rees matrix semigroup M [G; I, Λ; P ] is completely
determined by the sandwich matrix P [3].
It is known that even if a semigroup S is regular, its variant S θ need not be
regular. But when S is a regular semigroup, the regular elements of S θ form a
subsemigroup [20]. In particular, Reg(TXθ ) forms a subsemigroup and it was studied
in detail recently by I. Dolinka and J. East [8]. They described the structure of the
regular part Reg(TXθ ) using the map a 7→ (aθ, θa) starting from the right and left
translations. We shall also give a similar structural description but using the much
more general theory of cross-connections. This in turn suggests that their results
obtained in the specific case of Reg(TXθ ) are much more universal in nature. So,
our discussion may also shed some light on the structural aspects of a more general
class of semigroups.
The structure of the article is as follows. In Section 2, we briefly outline the
cross-connection theory by describing how the categories of principal left (right)
ideals of a regular semigroup are cross-connected. Using that we describe the
representation of a semigroup as a cross-connection semigroup. A reader more
interested in the concrete case of Reg(TXθ ) may skip this section as the discussion
in sequel is more or less self contained. In Section 3, we characterize the categories
involved in the construction of Reg(TXθ ) as Pθ and Πθ . These are full subcategories
of P(X) and Π(X) respectively and we describe the intermediary semigroups that

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP 3

arises from these categories. We also characterize the normal duals N ∗ Pθ and
N ∗ Πθ in this section. In Section 4, we describe how a cross-connection is induced
by the sandwich element θ and characterize the cross-connection bifunctors. We
describe the duality between the cross-connections using the natural isomorphism
between the bifunctors. This explains how the categories are cross-connected to
form Reg(TXθ ). In the next section, we use our cross-connection representation to
give a description of the biorder structure of TX and Reg(TXθ ), in terms of subsets
and partitions. We conclude with an illustrative example.
2. Theory of cross-connections
In this section, we briefly describe the theory of cross-connections by starting
from a regular semigroup, and reconstructing it as a cross-connection semigroup
from its constituent normal categories of principal left (right) ideals. We include
this rather lengthy preliminary section to exposit the cross-connection structure
of a regular semigroup, considering the lack of easy availability of Nambooripad’s
original work [26], and the formal presentation style in [26], which makes it quite
cryptic for a fresh reader.
The reverse process of constructing a regular semigroup from abstract normal
categories is much more involved. An interested reader may refer [4] for an introductory description, [21] for a more concise but less detailed discussion or [26]
for the complete construction. See [1] for some references on the theory of crossconnections.
We assume some basic notions from semigroup theory [6,14] and category theory
[5,22]. In this article, all the functions are written in the order of their composition,
i.e., from left to right. For a category C, the set of objects of C is denoted by vC and
the set of morphisms by C itself. Thus the set of all morphisms between objects
c, d ∈ vC is denoted by C(c, d).
A normal category is a specialised category whose object set is a partially ordered
set and the morphisms admit suitable factorizations. In fact, a normal category
was axiomatised so that the principal ideals of a regular semigroup with partial
translations as morphisms formed a normal category, and conversely every normal
category arose this way.
Let S be a regular semigroup. Then there are two normal categories associated
with it: the principal left ideal category L and the principal right ideal category
R. An object of the category L is a principal left ideal Se for e ∈ E(S), and a
morphism from Se to Sf is a partial right translation ρ(e, u, f ) : u ∈ eSf . That
is, for x ∈ Se, the morphism ρ(e, u, f ) : x 7→ xu ∈ Sf . Dually, the objects of the
category R are the principal right ideals eS, and the morphisms are partial left
translations λ(e, w, f ) : w ∈ f Se.
We mention in passing that the principal left ideal category L is category isomorphic to the Karoubi envelope of a semigroup introduced by B. Tilson in connection
with the Delay Theorem [30, Section 17], and later studied by A. Costa and B.
Steinberg in relation to the Schützenberger category of a semigroup [7].
Observe that we can have a partial order on the object set of L, namely the order
induced by set inclusions. So, if Se ⊆ Sf , we can see that we have an inclusion
morphism ρ(e, e, f ) = j(Se, Sf ) from Se to Sf . The objects of the category L along
with inclusion morphisms form a strict-preorder subcategory P of the category L.
This is the category of inclusions in L (also see [28]).

4

P. A. AZEEF MUHAMMED

Given an inclusion ρ(e, e, f ), we have a morphism ρ(f, f e, e) : Sf → Se such
that ρ(e, e, f )ρ(f, f e, e) = ρ(e, ef e, e) = ρ(e, e, e) = 1Se . Therefore, we say that the
inclusion ρ(e, e, f ) splits, and its right inverse ρ(f, f e, e) shall be called a retraction.
A morphism ρ(e, u, f ) will be an isomorphism if it has both a right inverse and a
left inverse, which happens when eDf .
Given a morphism ρ = ρ(e, u, f ) in L, for any g ∈ E(Ru ) such that eg = ge = g
and h ∈ E(Lu ), we can factorize
ρ(e, u, f ) = ρ(e, g, g)ρ(g, u, h)ρ(h, h, f ),
where ρ(e, g, g) is a retraction, ρ(g, u, h) is an isomorphism and ρ(h, h, f ) is an
inclusion. Such a factorization is called a normal factorization of ρ(e, u, f ) in L.
The morphism ρ(e, gu, h) : Se → Sh is known as the epimorphic component ρ◦ of
the morphism ρ. The codomain Sh of ρ◦ is called the image of the morphism ρ
denoted by Im ρ. The following diagram illustrates the factorization property of a
morphism in L.

ρ(e,g,g)

/ Sf
O

ρ

SeO

j(Sg,Se)

 o
Sg

ρ(h,h,f )=j(Sh,Sf )

ρ(h,u,g)
ρ(g,u,h)

/ Sh

Now we proceed to describe normal cones in the category L. These are the basic
building blocks of our construction since the cross-connection semigroup we obtain
eventually will consist of ordered pairs of normal cones. A normal cone is essentially
a collection of ‘nice’ morphisms with a distinguished vertex in L.
Definition 2.1. A normal cone γ with a vertex Sd is a function from the object
set vL to the set of morphisms in L such that
(1) γ(Se) ∈ L(Se, Sd) for all Se ∈ vL;
(2) whenever Se ⊆ Sf then j(Se, Sf )γ(Sf ) = γ(Se);
(3) there exists Sh ∈ vL such that γ(Sh) : Sh → Sd is an isomorphism.
The following diagram illustrates a normal cone in the category L.
Sd
CIOU[

γ(Se) γ(Sf )γ(Sd)γ(Sh)γ(Sg)

Se

⊆

/ Sf

ρ(e,e,f )

Sd

Sh

Sg

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP 5

The morphism γ(Se) : Se → Sd is called the component of γ at Se. The M-set of
a cone γ in L with vertex Sd is defined as
M γ = {Se ∈ L : eDd}.
Observe that, given a normal cone γ with vertex Sd and a morphism ρ : Sd → Sh
with Im ρ = Sg ⊆ Sh, the map γ ∗ ρ◦ : Se 7→ γ(Se)ρ◦ from vL to L is a normal
cone in the category L with vertex Sg. Hence, given two normal cones γ and σ in
L with vertices Sd and Sh respectively, we can compose them as follows.
γ · σ = γ ∗ (σ(Sd))◦

(1)

where (σ(Sd))◦ is the epimorphic component of the morphism σ(Sd). If the morphism σ(Sd) : Sd → Sh has image Sg, then the vertex of the new cone γ · σ will
be Sg, as illustrated in the diagram below.
·

γ
Sd
GKOSW

σ
Sh
GKOSW

γ ∗ (σ(d))◦
Sh
GKOSW

=

j(Sg,Sh)

γ(Se) γ(Sd) γ(Sg)

·

σ(Se) σ(Sd) σ(Sg)

=

σ(Se)

Sg
O

σ(Sg)

(σ(Sd))◦

Se / Sf
j1

Sd

Sh o Sg
j2

Se / Sf
j1

Sd

Sh o Sg
j2

Se / Sf

Sd
GKOSW

Sh o Sg

γ(Se) γ(Sd) γ(Sg)

Se / Sf
j1

Sd

Sh o Sg
j2

All the normal cones in the normal category L with this special binary composition
form a regular semigroup T L known as the semigroup of normal cones in L. It
can be shown that the L category associated with the regular semigroup T L is
isomorphic to L.
Now we describe some important normal cones in L. These distinguished cones
ρa with vertex Sa called principal cones, are those induced by an element a ∈ S.
The component of the cone ρa at any Se ∈ vL is given by ρa (Se) = ρ(e, ea, f ), where
f ∈ E(La ). The mapping a 7→ ρa is a homomorphism from S to T L. Further if S
is a regular monoid, then S is isomorphic to T L. This is a crucial fact which shall
be elaborated later in this section.
Further, Nambooripad invented a notion of normal dual of a normal category
extending Grillet’s idea of the dual of a partially ordered set. It is well known that
the category of all functors from a category L to the category Set with natural
transformations as morphisms forms a dual category L∗ . Given the normal category
L, Nambooripad identified a full subcategory of L∗ as the normal dual N ∗ L of L.
Instead of considering all functors from L to Set, Nambooripad restricted the
object set of N ∗ L to certain special functors called H-functors. For each γ ∈ T L

6

P. A. AZEEF MUHAMMED

with vertex Sd, the H-functor H(γ; −) : C → Set is defined as follows. For each
Se ∈ vL and for each ρ ∈ L(Se, Sf ), let
(2a)

H(γ; Se) = {γ ∗ (%)◦ : % ∈ L(Sd, Se)} and

(2b)

H(γ; ρ) : H(γ; Se) → H(γ; Sf ) given by γ ∗ (%)◦ 7→ γ ∗ (%ρ)◦ .

It can be shown that the H-functor is a representable functor such that for a
normal cone γ with vertex Sd, there is a natural isomorphism ηγ : H(γ; −) →
L(Sd, −). Here L(Sd, −) is the covariant hom-functor determined by Sd ∈ vL.
Also if H(γ; −) = H(γ 0 ; −), then the M -sets of the normal cones γ and γ 0 coincide;
hence we define the M -set of an H-functor as M H(γ; −) = M γ.
Definition 2.2. The normal dual N ∗ L is a category with
(3)

vN ∗ L = {H(; −) :  ∈ E(T L)}.

A morphism in N ∗ L between two H-functors H(; −) and H(0 ; −) is a natural
transformation τ as described in the following commutative diagram.
H(; Se)

τ (Se)

H(0 ;ρ)

H(;ρ)


H(; Sf )

/ H(0 ; Se)

τ (Sf )


/ H(0 ; Sf )

Using the discussion above, the natural transformation τ in N ∗ L may be characterized as follows.
Proposition 2.1. [26] Let  and 0 be idempotent normal cones in L with vertices
Sf and Sg respectively. Then for every morphism τ : H(; −) → H(0 ; −) in N ∗ L,
there is a unique ρ : Sg → Sf in L such that the following diagram commutes.
H(; −)

η

L(ρ,−)

τ


H(0 ; −)

/ L(Sf, −)

η0


/ L(Sg, −)

In this case, the component of the natural transformation τ at Se is the map given
by:
(4)

τ (Se) :  ∗ %◦ 7−→ 0 ∗ (ρ%)◦ .

Theorem 2.2. [26] The normal dual N ∗ L forms a normal category and it is
isomorphic to the R category associated with the regular semigroup T L.
Remark 2.3. Dual properties hold for the category R of principal right ideals
of S. The principal cones associated are represented as λa given by λa (eS) =
λ(e, ae, f ). There is an anti-homomorphism a 7→ λa from S to T R. The category
R is isomorphic to the L category associated with the semigroup T R, and the normal
dual N ∗ R is isomorphic to R category associated with the regular semigroup T R.
Thus we have four normal categories associated with a regular semigroup S,
namely L, R, N ∗ L and N ∗ R. Using these categories and a pair of cross-connection

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP 7

functors, Nambooripad explicitly described the relationship between the principal
left and right ideals of the given regular semigroup.
To precisely give the relationship between the categories, we need the concept
of a local isomorphism. The use of the terminology and idea of a local isomorphism in the structure of regular semigroups, may be traced back to D. B. McAlister [24], where he used it to describe the structure of locally inverse semigroups.
Later A. R. Rajan [27] used it to describe the local isomorphisms of Grillet’s crossconnections. He observed that the order-isomorphisms of principal ideals arose from
the ω-isomorphisms of the biordered set. To describe this notion in the context of
normal categories, we need to define an ideal of a category.
Definition 2.3. An ideal heSi of the category R is the full subcategory of R whose
objects are the principal ideals f S ⊆ eS in R.
Theorem 2.4. [26] Given a regular semigroup S with normal categories L and R,
there is a functor Γ : R → N ∗ L such that Γ is inclusion preserving, fully faithful
and for each eS ∈ vR, Γ|heSi is an isomorphism of the ideal heSi onto hΓ(eS)i
given by
(5)

Γ(eS) = H(ρe ; −)

and

Γ(λ(e, u, f )) = ηρe L(ρ(f, u, e), −)ηρ−1
f .

Such a functor Γ is called a local isomorphism from R to N ∗ L. Moreover for
every Sf ∈ vL, there is some eS ∈ vR such that Sf ∈ M Γ(eS).
Definition 2.4. A triplet (R, L; Γ) is called a cross-connection if Γ is a local
isomorphism from R to N ∗ L such that for every Sf ∈ vL, there is some eS ∈ vR
such that Sf ∈ M Γ(eS).
Remark 2.5. Dually, we have a dual cross-connection (L, R; ∆) defined by the
local isomorphism ∆ : L → N ∗ R as follows.
(6)

∆(Se) = H(λe ; −)

and

∆(ρ(e, u, f )) = ηλe R(λ(f, u, e), −)ηλ−1
f .

Since L and R are cross-connected with Γ and the dual ∆, by category isomorphisms [22], we have two associated bifunctors Γ(−, −) : L × R → Set and
∆(−, −) : L × R → Set given as follows:
(7a)

Γ(Se, f S) = Γ(f S)(Se)

(7b)

Γ(ρ, λ) = Γ(f S)(ρ)Γ(λ)(Se0 ) = Γ(λ)(Se)Γ(f 0 S)(ρ)

(7c)

∆(Se, f S) = ∆(Se)(f S)

(7d)

∆(ρ, λ) = ∆(Se)(λ)∆(ρ)(f 0 S)) = ∆(ρ)(f S)∆(Se0 )(λ))

for all (Se, f S) ∈ vL × vR and (ρ, λ) : (Se, f S) → (Se0 , f 0 S).
Using the bifunctors, we obtain the following intermediary regular semigroups
which are subsemigroups of T L and T R respectively,
[
(8a)
U Γ = {Γ(Se, f S) : (Se, f S) ∈ vL × vR}
[
(8b)
U ∆ = {∆(Se, f S) : (Se, f S) ∈ vL × vR},
which may be characterized as follows:
U Γ = {ρa : a ∈ S} and U ∆ = {λa : a ∈ S}.
There is a natural isomorphism χΓ between the bifunctors Γ(−, −) and ∆(−, −)
called the duality associated with the semigroup S. Using χΓ , we can link certain

8

P. A. AZEEF MUHAMMED

normal cones in U Γ with those in U ∆. Given a cross-connection Γ with the dual
∆, a cone γ ∈ U Γ is said to be linked to δ ∈ U ∆, if there is a (Se, f S) ∈ vL × vR
such that γ ∈ Γ(Se, f S) and δ = χΓ (Se, f S)(γ). The pairs of linked cones (γ, δ)
will form a regular semigroup called the cross-connection semigroup S̃Γ determined
by Γ. It may be shown that the linked cones are of the form (ρa , λa ), and hence
S̃Γ = { (ρa , λa ) : a ∈ S}.
For (ρa , λa ), (ρb , λb ) ∈ S̃Γ, the binary operation is defined by
(ρa , λa ) ◦ (ρb , λb ) = (ρa .ρb , λb .λa ).
Then the map a 7→ (ρa , λa ) is an isomorphism from S to S̃Γ. This gives the crossconnection representation of the regular semigroup S as illustrated in the diagram
below.
S

R

L

a7→ρa

a7→λa
Γ

∆


N ∗L


N ∗R

L×R
χΓ
Γ(−,−)

%

TL γ i
O

+3

Set

∆(−,−)

y

5 δ TR
O

χΓ (−,−)

 ?
u
a
UΓ ρ

)
::

dd

? 
λa U ∆

S̃Γ
Although the construction is a bit complicated, it gives a lot of information
regarding the structure of the semigroup. Recall that for a regular semigroup S, the
map a 7→ ρa may be an isomorphism (for instance in the case of a regular monoid).
In that case, every intermediary regular semigroup involved in the construction
(denoted using circles in the above diagram) is isomorphic (or anti-isomorphic) to
S. Then all the solid arrows in the above diagram become isomorphisms. It may
be shown (using similar arguments as in [4]) that every cross-connection semigroup
in this case is isomorphic to S. Hence, such a semigroup has a relatively simple
ideal structure.
It is still an open problem to characterize the class of regular semigroups for
which S is isomorphic to T L. But it certainly contains many non-monoids. For
instance, this class includes
(1) the semigroup of singular transformations on a set [4],
(2) the semigroup of singular linear transformations on a vector space [2],

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP 9

(3) the semigroup of singular order preserving mappings on a chain,
(4) the semigroup of singular one-one partial mappings on a set,
(5) the semigroup of singular partial mappings on a set,
(6) semilattices,
(7) Clifford semigroups.
The uncited results above are due to the author. The classes (3-5) can be proved
using similar arguments as in (1). Clifford semigroups case requires some work, but
is not difficult; the semilattice case follows from this.
On the contrary, we can find several classes of regular semigroups which admit
a rich cross-connection structure. Arbitrary completely regular semigroups, completely simple semigroups [3], bands, Reg(S θ ) (where S is a regular semigroup) are
some of those.
3. Categories from the variants of the full transformation
semigroup
Now we shift our attention to the variants of the full transformation semigroup.
To discuss the normal categories arising from this semigroup, it may be helpful to
look first at the full transformation semigroup TX . TX is the monoid of all transformations on a set X, and the semigroup Sing(X) of all singular transformations
on X forms an important regular subsemigroup of TX . The cross-connections of
Sing(X) was studied in [4]. The L category associated was characterized as the
powerset category P(X) of all non-empty proper subsets of X with mappings as
morphisms. The R category was characterized as the partition category Π(X) with
the set of objects {π̄ : π is a non-identity partition of X}, where π̄ denotes the set
of all mappings from the partition π to X. A morphism η ∗ in Π(X) from π̄1 to π̄2
was defined as η ∗ : α 7→ ηα for every α ∈ π̄1 where η is mapping from π2 to π1 .
It was shown that even though a permutation θ of X induces a non-trivial crossconnection, every cross-connection semigroup that arises is isomorphic to Sing(X).
It is not difficult to see that by adjoining X to vP(X) and the set of all mappings
from {{x} : x ∈ X} to X to vΠ(X) we can characterize the categories in the
full transformation semigroup TX . Using similar arguments (in fact easier, since
the largest object-X should map to X under cross-connections), we can show that
every semigroup that arises is isomorphic to TX . In the sequel, we shall denote the
associated categories of TX , also by P(X) and Π(X). Summarising, we have the
following results.
Theorem 3.1. P(X) and Π(X) are normal categories. The semigroup T P(X)
of all normal cones in P(X) is isomorphic to TX and the semigroup T Π(X) of all
normal cones in Π(X) is anti-isomorphic to TX . Every cross-connection semigroup
that arises from these categories is isomorphic to TX .
It may be noticed here that given a permutation θ, it induces a cross-connection
between the categories P(X) and Π(X) [4]. But the resulting cross-connection
semigroup is isomorphic to TX . This cross-connection semigroup is in fact the
cross-connection semigroup of the variant semigroup TXθ , where θ is a permutation.
This can be seen as a reflection of the fact that the variant TXθ is isomorphic to
TX if and only if θ is a permutation [8].
In [8], Dolinka and East explored the structure of TXθ , their idempotent generated
subsemigroups, Reg(TXθ ), their ideals etc. In the process, they had described the

10

P. A. AZEEF MUHAMMED

structure of the regular part Reg(TXθ ) from the right and left translations. They
demonstrated using the diagram [8] below, how a regular D-class of TX breaks up
to form D θ classes in TXθ . Here D θ denotes Green’s D-relation on the variant TXθ .
(Similarly, R θ , L θ and H θ will be used henceforth.)

The diagram on the left represents a typical D-class of TX . When the binary
composition changes, it breaks up into four groups of transformations which may
be described using the sets P1 and P2 . The sets P1 and P2 characterized as follows
are important in the sequel.
P1 = {a ∈ TX : aθ R θ} and P2 = {a ∈ TX : θa L θ}
The first part P1 ∩ P2 consists of regular elements of TXθ and it forms a single
D θ class in TXθ . The transformations which belong to P2 \P1 form non-regular
D θ -classes each consisting of a non-singleton L θ -class. The H θ -classes of this
group are singletons. Similarly, the transformations which belong to P1 \P2 form
non-regular D θ -classes each consisting of a non-singleton R θ -class. The rest of the
transformations (those belonging to neither P1 nor P2 ) form non-regular singleton
D θ -classes.
Before we proceed to describe the categories in Reg(TXθ ), we need to fix some
notations. Let A be a subset of X, and α, a partition (or an equivalence relation) on
X. Borrowing the terminology from [8], we shall say A saturates α if each α-class
contains at least one element of A. We say α separates A if each α-class contains
at most one element of A. Using this terminology, the subsets P1 and P2 may be
described as follows.
P1 = {a ∈ TX : πθ separates Im a} and P2 = {a ∈ TX : Im θ saturates πa }
It is shown that Reg(TXθ ) = P1 ∩ P2 . Further, the Green relations in Reg(TXθ ) are
described as follows, as restrictions of the Green relations in TX .
Proposition 3.2. [8] Let a, b ∈ Reg(TXθ ), then
(1) aL θ b if and only if Im a = Im b.
(2) aR θ b if and only if πa = πb .
(3) aD θ b if and only if rank a = rank b.
Hence from the discussion above, it is clear that the L θ -classes of Reg(TXθ ) may
be characterized as Im a, for a ∈ P1 . Similarly, the R θ -classes of Reg(TXθ ) may be

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP11

characterized as πa , for a ∈ P2 . Observe that the H -classes Haθ and Ha coincide
for a ∈ Reg(TXθ ). So the categories Pθ and Πθ associated with Reg(TXθ ) are the
full subcategories of P(X) and Π(X) defined as follows.
vPθ = {A : πθ separates A} and vΠθ = {π̄ : Im θ saturates π}
Then it can be easily shown that Pθ and Πθ form normal categories, and they are
respectively the L and R categories associated with Reg(TXθ ). Since Pθ is a full
normal subcategory of P(X), every normal cone in T Pθ will belong to T P(X),
such that T Pθ is a regular subsemigroup of T P(X) [26]. Hence, every normal
cone in T Pθ can be represented by a transformation in TX . In fact, we have the
following result.
Proposition 3.3. The semigroup T Pθ of normal cones in Pθ is isomorphic to
P1 . The semigroup T Πθ of normal cones in Πθ is anti-isomorphic to P2 .
Proof. First, observe that since θ is not a permutation, πθ separates {x} for every
x ∈ X. Hence all the singletons {x} belong to vPθ . Any normal cone in T Pθ
is determined by the action on these singletons. Now given any A ∈ vPθ , every
transformation a with Im a ⊆ A, will be contained in T Pθ , and in fact only these
transformations. Hence
T Pθ = {a ∈ TX : Im a ∈ Pθ } = {a ∈ TX : πθ separates Im a} = P1 .
Arguing dually and observing that T Πθ is a subsemigroup of TXop , we can show
that the semigroup T Πθ is anti-isomorphic to P2 .

Roughly speaking, the semigroup of cones of a normal category may be considered as a kind of universal semigroup with the given ideal structure. So, it is not
surprising that P1 and P2 play critical roles in the characterisation of Reg(TXθ ).
From the above discussion, it is clear that P1 and P2 are not mere subsets, but
important regular semigroups, when seen as subsemigroups of TX and TXop respectively.
Now, we proceed to characterize the normal dual of the category Pθ . Observe
that an H-functor on the category Pθ may be represented as H(a; −) for a ∈ P1 .
As argued in [4], it may be shown that the H-functor is completely determined by
the partition πa of the transformation a. Since P1 contains transformations with
all partitions π such that |π| ≤ rank θ, we can see that the normal dual of Pθ can
be characterized as full subcategory of Π(X) such that
vN ∗ Pθ = {π̄ : |π| ≤ rank θ}.
Dually, the normal dual of Πθ can be characterized as the full subcategory of P(X)
such that
vN ∗ Πθ = {A : |A| ≤ rank θ}.
To describe the cross-connections in Reg(TXθ ), we will also need the following
lemma, whose dual statement is proved in [4].
Lemma 3.4. Let a represent a normal cone in Π(X). Then the M -set
M a = {π̄ ∈ Π(X) : Im a is a cross-section of π}.

12

P. A. AZEEF MUHAMMED

4. Cross-connections of the variants
Having described the normal categories in Reg(TXθ ), now we proceed to show
how the categories Pθ and Πθ are cross-connected by the sandwich element θ. We
shall argue using the cross-connection ∆θ between the subsets, rather than the
partitions, since the subset connection is more illuminating and working with the
partition category is slightly cumbersome. We can dually extend the argument to
Γθ as well.
Proposition 4.1. For A ∈ vPθ and f : A → B in Pθ , a functor ∆θ : Pθ → N ∗ Πθ
defined as follows is a cross-connection between the categories Pθ and Πθ .
∆θ (A) = Aθ and ∆θ (f ) = (θ|A )−1 f θ
A

θ

(θ|A )−1 f θ

f


B

/ Aθ

θ


/ Bθ

Proof. First, we show that ∆θ is well-defined. Suppose A ∈ Pθ , then ∆θ (1A ) =
(θ|A )−1 1A θ = 1Aθ . Also if f : A → B and g : B → C, then
∆θ (f ◦ g) =(θ|A )−1 (f ◦ g)θ
=(θ|A )−1 f (1B )gθ
=(θ|A )−1 f (θ(θ|B )−1 )gθ
=((θ|A )−1 f θ)((θ|B )−1 gθ)
=∆θ (f ) ◦ ∆θ (g).
Observe that Pθ is a full subcategory of N ∗ Π(X). Also for A ∈ vPθ , since πθ
separates A, A 7→ Aθ is a bijection. Since πθ separates A, all the subsets of A
will also be separated by πθ . Hence, we can see that the functor hAi 7→ hAθi is a
normal category isomorphism. Thus ∆θ is a local isomorphism. Observe here that,
A ∈ vPθ are precisely those vertices of P(X), where ∆θ is a local isomorphism.
Since the category Πθ consists of partitions which are saturated by Im θ, the
subsets of Im θ will be cross-sections of the partitions in Πθ . So for every π̄ ∈ vΠθ ,
there is some A ∈ vPθ such that Aθ is a cross-section of π. Thus by Lemma 3.4,
for every π̄ ∈ vΠθ , there is some A ∈ vPθ such that π̄ ∈ M ∆θ (A). Hence ∆θ is a
cross-connection between the categories Pθ and Πθ .

Observe that the cross-connection ∆θ is a proper local isomorphism which is not
a category isomorphism. Dually, we can define a functor Γθ from Πθ to Pθ as
follows. For π̄ ∈ vΠθ and η ∗ : π̄1 → π̄2 in Πθ ,
Γθ (π̄) = θ∗ (π̄) and Γθ (η ∗ ) = (θη(θ|C )−1 )∗
where C ∈ Pθ is a cross-section of (π1 )θ−1 . Refer [4] to see the details of how a
transformation θ induces a morphism θ∗ in the category of partitions from π̄ to
(π)θ−1 for π̄ ∈ vΠθ . Then it can be shown that, Γθ is a local isomorphism such
that for every A ∈ Pθ there exists π̄ ∈ Πθ such that A ∈ Γθ (π̄). Hence, we can
show that Γθ is indeed a proper cross-connection.

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP13

Now, the cross-connections Γθ and ∆θ give rise to two bifunctors Γθ (−, −) : Pθ ×
Πθ → Set and ∆θ (−, −) : Pθ × Πθ → Set as follows. For all (A, π̄) ∈ vPθ × vΠθ
and (f, η ∗ ) : (A, π̄1 ) → (B, π̄2 )
(9a)

Γθ (A, π̄) = {a ∈ TX : Im a ⊆ A and π̄a ⊆ θ∗ (π̄)}

(9b)

Γθ (f, η ∗ ) : a 7→ θη(θ|C )−1 af

(9c)

∆θ (A, π̄) = {a ∈ TX : Im a ⊆ θ(A) and π̄a ⊆ π̄}

(9d)

∆θ (f, η ∗ ) : a 7→ ηa(θ|A )−1 f θ

It may be observed here that although η represents a mapping between partitions π2
and π1 , η may be restricted to give a mapping between its cross-sections [29]. The
resulting intermediary semigroups U Γθ and U ∆θ may be characterized as follows:
U Γθ ={a ∈ TX : πa ⊇ πθ and Im a ∈ vPθ } = {θa : a ∈ Reg(TXθ )}
U ∆θ ={a ∈ TX : πa ∈ vΠθ and Im a ⊆ Im θ} = {aθ : a ∈ Reg(TXθ )}
Observe that the semigroups U Γθ and U ∆θ represent the semigroups of principal
cones from the categories L and R respectively, of the semigroup Reg(TXθ ). Hence,
we see that both the categories here have non-principal normal cones. In fact, this
is a necessary condition for the existence of a ‘good’ cross-connection structure.
Given cross-connections Γθ and ∆θ , there exists a natural isomorphism χΓθ between the bifunctors Γθ (−, −) and ∆θ (−, −) associated with the cross-connections.
This natural isomorphism called the duality of the semigroup Reg(TXθ ) is described
in the next proposition.
Proposition 4.2. The duality χΓθ : Γθ (−, −) → ∆θ (−, −) is given by χΓθ (A, π̄) : θa 7→
aθ.
Proof. First, we show that χΓ is indeed a natural transformation. Let (f, η ∗ ) ∈
P(X) × Π(X) where f : A → B and η ∗ : π̄1 → π̄2 .

Γθ (A, π̄1 )
Γθ (f,η ∗ )

χΓθ (A,π̄1 )

/ ∆θ (A, π̄1 )
∆θ (f,η ∗ )



χΓθ (B,π̄2 )
/ ∆θ (B, π̄2 )
Γθ (B, π̄2 )
To see that the above diagram commutes, let θa ∈ Γθ (A, π̄1 ). Then,
(θa)χΓθ (A, π̄1 )∆θ (f, η ∗ ) = (aθ)∆θ (f, η ∗ )
= ηaθ(θ|A )−1 f θ (using (9d))
= ηa(1A )f θ (since θ(θ|A )−1 = 1A )
= ηaf θ (since Im a ⊆ A).

14

P. A. AZEEF MUHAMMED

Also (θa)Γθ (f, η ∗ )χΓθ (B, π̄2 ) = θη(θ|C )−1 θaf χΓθ (B, π̄2 ) (using (9b))
= θ(η(θ|C )−1 θaf )χΓθ (B, π̄2 )
= (η(θ|C )−1 θaf )θ
= η((θ|C )−1 θ)af θ
= η(1Cθ )af θ (since (θ|C )−1 θ = 1Cθ )
= ηaf θ (since Cθ is a cross-section of π1 ).
Thus, we have
(θa)χΓθ (A, π̄1 )∆θ (f, η ∗ ) = (θa)Γθ (f, η ∗ )χΓθ (B, π̄2 ) for every θa ∈ Γθ (A, π̄1 ).
Also observe that since the map θa 7→ aθ is a bijection for a ∈ Reg(TXθ ), the
map χΓθ (A, π̄) is a bijection of the set Γθ (A, π̄) onto the set ∆θ (A, π̄). Thus χΓθ is
a natural isomorphism.

So, an element θa ∈ U Γθ is linked to the element aθ ∈ U ∆θ . Hence, the resulting
cross-connection semigroup is given by
S̃Γθ = (Pθ , Πθ ; ∆θ ) = (Πθ , Pθ ; Γθ ) = {(θa, aθ) : a ∈ Reg(TXθ )}.
Summarising, we have the following theorem.
Theorem 4.3. The cross-connection semigroup (Πθ , Pθ ; Γθ ) is isomorphic to the
semigroup Reg(TXθ ) of regular elements of TXθ such that the L category of Reg(TXθ )
is isomorphic to Pθ and the R category of Reg(TXθ ) is isomorphic to Πθ .
Thus we realise Reg(TXθ ) as a subsemigroup of TX × TX so that Reg(TXθ ) =
(Πθ , Pθ ; Γθ ) is the result of the categories Pθ and Πθ cross-connected via θ. Observe that, the structural results of Dolinka and East [8] have a natural crossconnection interpretation. For instance, the map
ψ : Reg(TXθ ) → Reg(T (X, A)) × Reg(T (X, α)) : a 7→ (aθ, θa)
being injective, translates to the cross-connection functor being a local isomorphism.
So, this dual approach may help in expanding their combinatorial results and also
extending the structure theorem to a larger class of semigroups.
Further, observe that the Green relations between the elements are the same
in TX and in Reg(TXθ ). This illustrates the fact that, when the binary operation
is changed, the real structural ‘variance’ is the ‘cross-connection’ of these ideals.
Thus, Reg(TXθ ) is a classic case where all the subtleties of cross-connection theory
play out nicely, reiterating the necessity of such a sophisticated theory in describing
the ideal structure of semigroups.
5. Biorder structure
Now, we proceed to describe the biorder structure of Reg(TXθ ) using the crossconnection representation. Recall that, Nambooripad, in his seminal work [25],
characterised the set of idempotents of a (regular) semigroup as a (regular) biordered
set. He gave a structural description of a regular semigroup from its (regular)
biordered set, using inductive groupoids, exploiting the structural information captured by the idempotents of a semigroup.
A biordered set is a partial algebra whose partial binary operation, called the
basic product, is determined by two preorders ω l and ω r , and satisfying certain

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP15

axioms. Given two elements e, f in a biordered set, the sandwich set S(e, f ) characterises the inverses (or the regularity) of the elements of the semigroup associated
with the biordered set. Roughly speaking, the sandwich set is the (regular semigroup) generalisation of the notion of the meet of two elements in a semilattice (of
an inverse semigroup). We refer the reader to [17, 25] for definition and properties
of the biordered set and sandwich sets.
In [26, Section V.1], Nambooripad gave the description of biordered set and
sandwich sets of a cross-connection semigroup. So, using the cross-connection representation of Reg(TXθ ) obtained in the previous section, we can obtain the biorder
structure description of the semigroup, in terms of subsets and partitions. We omit
proofs and details, as they may affect the self-containedness of the article. This
discussion also suggests that we can always retrieve the idempotent structure from
a cross-connection description, reiterating the strength of the theory.
5.1. Biordered set and sandwich sets of TX . First, in the transformation
semigroup TX , the idempotents are given by
(11)

E(TX ) = {(A, π̄) ∈ P(X) × Π(X) : A is a cross-section of π}.

One can see that for each (A, π̄) ∈ E(TX ), there exists a unique idempotent
transformation e ∈ TX such that Im e = A and πe = π. Then e is called the
cross-connection idempotent cone associated with the idempotent (A, π̄). Then the
preorders ω l and ω r are defined by:
(12)

(A, π̄)ω l (A0 , π̄ 0 ) ⇐⇒ A ⊆ A0 and (A, π̄)ω r (A0 , π̄ 0 ) ⇐⇒ π̄ ⊆ π̄ 0 .

For any two idempotents e = (A, π̄) and e0 = (A0 , π̄ 0 ),

(A, π̄),



(A0 , Im (e 0 )∗ ),
|A
(13)
(A, π̄)(A0 , π̄ 0 ) =
0
0

(A
,
π̄
),



(Im e0|A , π̄),

we define basic products as:
if
if
if
if

A ⊆ A0 ;
A0 ⊆ A;
π̄ 0 ⊆ π̄;
π̄ ⊆ π̄ 0 .

Then E(TX ) as defined in (11) forms a regular biordered set with preorders and
basic products as defined in (12) and (13) respectively.
Further, the sandwich set S((A, π̄ 0 ), (A0 , π̄)) = S(A, π̄) of any two idempotents
(A, π̄ 0 ), (A0 , π̄) ∈ E(TX ) is given by,
(14) S(A, π̄) = {(X, σ̄) ∈ P(X) × Π(X) : X is a cross-section of π
and A is a cross-section of σ}.
Remark 5.1. The biordered set and sandwich sets in the singular transformation
semigroup Sing(X) can be obtained from the above description by just restricting
the categories P(X) and Π(X), respectively.
5.2. Biordered set and sandwich sets of Reg(TXθ ). Now, we proceed to give
the biorder structure of Reg(TXθ ). Since Reg(TXθ ) = (Πθ , Pθ ; Γθ ) , the idempotents
E(Reg(TXθ )) = EΓθ of the semigroup Reg(TXθ ) may be described as follows:
(15) EΓθ = {(A, π̄) ∈ Pθ × Πθ : πθ separates A and Aθ is a cross-section of π}.
Since Pθ × Πθ is a full subcategory of P(X) × Π(X), preorders and basic products
defined in (12) and (13) respectively, restricted to EΓθ , will give preorders and basic

16

P. A. AZEEF MUHAMMED

products in EΓθ . Then it may be verified that EΓθ forms a regular biordered set,
with quasi-orders and basic products, as defined above.
Now, the sandwich set S(A, π̄) = S((A, π̄ 0 ), (A0 , π̄)), where (A, π̄ 0 ), (A0 , π̄) ∈ EΓθ
is given by,
(16) S(A, π̄) = {(X, σ̄) ∈ Pθ × Πθ : X is a cross-section of π
and A is a cross-section of σ}.
Although the sandwich set description is independent of the cross-connection,
the sandwich sets in Reg(TXθ ) will indeed become smaller than in TX , because
of the restriction in the categories. For instance, (323) ∈ S({12}, {{13}{2}}) =
(122)
S((121), (121)) in T3 ; but clearly, (323) ∈
/ S((121), (121)) in Reg(T3
).
6. An example
We conclude with an illustrative example. Consider the semigroup Reg(T4θ )
of regular elements of the variant of the finite full transformation semigroup on a
four element set, where θ = (1233). The egg box diagram of T4θ may be found
at [8, Figure 2]. First, since θ = (1233),
vPθ = {{123}, {124}, {12}, {23}, {24},{14}, {13}, {1}, {2}, {3}, {4}};
vΠθ = {{1}{2}{34}, {14}{2}{3}, {1}{24}{3}, {124}{3}, {12}{34}, {1}{234},
{14}{23}, {2}{134}, {13}{24}, {1234}}.

12

U Γθ

23

24

14

Γθ

13

(1122)
{12}{34} (2211)

(2233)
(3322)

(2244)
(4422)

(1144)
(4411)

(1133)
(3311)

(1222)
{1}{234} (2111)

(2333)
(3222)

(2444)
(4222)

(1444)
(4111)

(1333)
(3111)

(1211)
{2}{134} (2122)

(2322)
(3233)

(2422)
(4244)

(1411)
(4144)

(1311)
(3133)

(1121)
{124}{3} (2212)

(2232)
(3323)

(2242)
(4424)

(1141)
(4414)

(1131)
(3313)

(1221)
{14}{23} (2112)

(2332)
(3223)

(2442)
(4224)

(1441)
(4114)

(1331)
(3113)

(1212)
{13}{24} (2121)

(2323)
(3232)

(2424)
(4242)

(1414)
(4141)

(1313)
(3131)

(1112)
{123}{4} (2221)

(2223)
(3332)

(2224)
(4442)

(1114)
(4441)

(1113)
(3331)

T Pθ

D θ -class of rank
two in Reg(T4θ ),
where θ = (1233).

T Πθ

12

23

24

14

(1121)
(2212)

(2232)
(3323)

(2242)
(4424)

(1141)
(4414)

(1131)
(3313) {124}{3}

13

(1122)
(2211)

(2233)
(3322)

(2244)
(4422)

(1144)
(4411)

(1133)
(3311) {12}{34}

(1222)
(2111)

(2333)
(3222)

(2444)
(4222)

(1444)
(4111)

(1333)
(3111) {1}{234}

(1221)
(2112)

(2332)
(3223)

(2442)
(4224)

(1441)
(4114)

(1331)
(3113) {14}{23}

(1211)
(2122)

(2322)
(3233)

(2422)
(4244)

(1411)
(4144)

(1311)
(3133) {2}{134}

(1212)
(2121)

(2323)
(3232)

(2424)
(4242)

(1414)
(4141)

(1313)
(3131) {13}{24}

∆θ
(1121)
{124}{3} (2212)

(2232)
(3323)

(1131)
(3313)

(1141)
(4414)

(2242)
(4424)

(3343)
(4434)

(1122)
{12}{34} (2211)

(2233)
(3322)

(1133)
(3311)

(1144)
(4411)

(2244)
(4422)

(3344)
(4433)

(1222)
{1}{234} (2111)

(2333)
(3222)

(1333)
(3111)

(1444)
(4111)

(2444)
(4222)

(3444)
(4333)

(1221)
{14}{23} (2112)

(2332)
(3223)

(1331)
(3113)

(1441)
(4114)

(2442)
(4224)

(4334)
(3443)

(1211)
{2}{134} (2122)

(2322)
(3233)

(1311)
(3133)

(1411)
(4144)

(2422)
(4244)

(4344)
(3433)

(1212)
{13}{24} (2121)

(2323)
(3232)

(1313)
(3131)

(1414)
(4141)

(2424)
(4242)

(4343)
(3434)

23

13

14

24

34

12

U ∆θ

CROSS-CONNECTIONS AND VARIANTS OF THE FULL TRANSFORMATION SEMIGROUP17

The above diagram illustrates the cross-conection structure of the regular D θ class of rank two in Reg(T4θ ). The coloured blocks indicate group H -classes and
H θ -classes.
The top right box represents the D θ -class of rank two. The columns and rows
here represent the L θ -classes and R θ -classes in Reg(T4θ ), respectively. Hence,
they denote the object sets of the categories Pθ and Πθ , respectively.
First, observe that the idempotents in T4 and T4θ need not coincide. For in(1233)
stance, (2242) ∈ E(T4
) but (2242) ∈
/ E(T4 ). On the contrary, (1414) ∈ E(T4 )
(1233)
but (1414) ∈
/ E(T4
).
The top left box represents the corresponding the D-class of rank two in the
regular semigroup T Pθ of normal cones from the category Pθ . Recall that T Pθ is
isomorphic to P1 , seen as a subsemigroup of TX . Observe that, only the top three
rows of T Pθ (violet coloured part in the pdf file) are the principal cones, and they
give rise to linked cones. Thus, in this case, the regular semigroup U Γθ ( T Pθ .
From the diagram, it is clear how Γθ is a local isomorphism from the category
R(Reg(T4θ )) to R(T Pθ ) ∼
= N ∗ L(Reg(T4θ )). It is indeed a proper local isomorphism; for instance, the first two rows (R θ -classes) of Reg(T4θ ) get mapped to the
first row (R-class) of T Pθ .
Similarly, the bottom right box represents the corresponding D-class of rank two
in the regular semigroup T Πθ of normal cones from the category Πθ . The semigroup
T Πθ is isomorphic to P2 , seen as the subsemigroup of TXop . Here, the first three
columns from the left (violet coloured part in the pdf file) are the principal cones
in T Πθ , forming the regular semigroup U ∆θ ( T Πθ , such that ∆θ is the crossconnection functor.
Acknowledgements
The author is grateful to A. R. Rajan, University of Kerala, India for several fruitful
discussions during the preparation of this article.
The author expresses his deep gratitude to M. V. Volkov, Ural Federal University,
for his helpful advice, suggestions and remarks.

References
[1] P.
A.
Azeef
Muhammed.
Nambooripad’s
theory
of
cross-connections.
http://kadm.imkn.urfu.ru/pages.php?id=azeefcross.
[2] P. A. Azeef Muhammed. Cross-connections of linear transformation semigroup. ArXiv eprints, 2017. arXiv:1701.06098.
[3] P. A. Azeef Muhammed and A. R. Rajan. Cross-connections of completely simple semigroups.
Asian-European J. Math., 09(03):1650053, 2016.
[4] P. A. Azeef Muhammed and A. R. Rajan. Cross-connections of the singular transformation
semigroup. J. Algebra Appl., doi:10.1142/S0219498818500470:1850047, 2017.
[5] I. Bucur, A. Deleanu, and P. J. Hilton. Introduction to the theory of categories and functors.
Pure and applied mathematics. Wiley, 1968.
[6] A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups, Volume 1. Number 7
in Mathematical Surveys. American Mathematical Society, Providence, Rhode Island, 1961.
[7] A. Costa and B. Steinberg. The Schützenberger category of a semigroup. Semigroup Forum,
91(3):543–559, 2015.
[8] I. Dolinka and J. East. Variants of finite full transformation semigroups. Internat. J. Algebra
Comput., 25(08):1187–1222, 2015.
[9] J. East, J. Mitchell, and Y. Peresse. Maximal subsemigroups of the semigroup of all mappings
on an infinite set. Trans. Amer. Math. Soc., 367(3):1911– 1944, 2015.

18

P. A. AZEEF MUHAMMED

[10] O. Ganyushkin and V. Mazorchuk. Classical Finite Transformation Semigroups: An Introduction. Springer London, 2008.
[11] P. A. Grillet. Structure of regular semigroups: A representation. Semigroup Forum, 8:177–
183, 1974.
[12] P. A. Grillet. Structure of regular semigroups: Cross-connections. Semigroup Forum, 8:254–
259, 1974.
[13] P. A. Grillet. Structure of regular semigroups: The reduced case. Semigroup Forum, 8:260–
265, 1974.
[14] P. A. Grillet. Semigroups: An Introduction to the Structure Theory. CRC Pure and Applied
Mathematics. Taylor & Francis, 1995.
[15] T. E. Hall. On regular semigroups. J. Algebra, 24(1):1 – 24, 1973.
[16] J. B. Hickey. Semigroups under a sandwich operation. Proc. Edinb. Math. Soc. (2), 26(3):371–
382, 10 1983.
[17] P. M. Higgins. Techniques of semigroup theory. Oxford University Press, 1992.
[18] J. M. Howie. Idempotent generators in finite full transformation semigroups. Proc. Roy. Soc.
Edinburgh Sect. A, 81(3-4):317–323, 1978.
[19] Y. Kemprasit. Regularity and unit-regularity of generalized semigroups of linear transformations. Southeast Asian Bull. Math., 25(4):617–622, 2002.
[20] T. A. Khan and M. V. Lawson. Variants of regular semigroups. Semigroup Forum, 62(3):358–
374, 2001.
[21] V. N. Krishnachandran. Nambooripad’s theory of cross-connections. Preprint, 2005.
https://sites.google.com/site/vidyaacademymca/Home/publications.
[22] S. MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in
Mathematics. Springer-Verlag, New York, 1971.
[23] K. D. Magill and S. Subbiah. Green’s relations for regular elements of sandwich semigroups:
I - general results. Proc. London Math. Soc. (3), 3-31(2):194–210, 1975.
[24] D. B. McAlister. Rees matrix covers for locally inverse semigroups. Trans. Amer. Math. Soc.,
277(2):727–738, 1983.
[25] K. S. S. Nambooripad. Structure of Regular Semigroups. I. Number 224 in Mem. Amer.
Math. Soc. American Mathematical Society, Providence, Rhode Island, 1979.
[26] K. S. S. Nambooripad. Theory of Cross-connections. Publication No. 28. Centre for Mathematical Sciences, Thiruvananthapuram, 1994.
[27] A. R. Rajan. Local isomorphisms of cross connections. Semigroup Forum, 42(2):237–252,
1991.
[28] A. R. Rajan. Certain categories derived from normal categories. In P. G. Romeo, J. C. Meakin,
and A. R. Rajan, editors, Semigroups, Algebras and Operator Theory: Kochi, India, February
2014, pages 57–66, New Delhi, 2015. Springer India.
[29] A. R. Rajan and P. A. Azeef Muhammed. Normal category of partitions of a set. Southeast
Asian Bull. Math., 2017. (To appear), arXiv:1509.02888.
[30] B. Tilson. Categories as algebra: An essential ingredient in the theory of monoids. J. Pure
Appl. Algebra, 48(1):83 – 198, 1987.
[31] G. Y. Tsyaputa. Green’s relations on the deformed transformation semigroups. Algebra Discrete Math., 1:121–131, 2004.
Institute of Natural Sciences and Mathematics, Ural Federal University, Lenina
51, 620000 Ekaterinburg, Russia.
E-mail address: azeefp@gmail.com, a.a.parail@urfu.ru

