CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

arXiv:1603.02796v3 [] 17 Feb 2017

P. A. AZEEF MUHAMMED AND A. R. RAJAN

Abstract. Cross-connection is a construction of regular semigroups using certain categories called normal
categories which are abstractions of the partially ordered sets of principal left (right) ideals of a semigroup.
We describe the cross-connections in the semigroup Sing(X) of all non-invertible transformations on a set
X. The categories involved are characterized as the powerset category P(X) and the category of partitions
Π(X). We describe these categories and show how a permutation on X gives rise to a cross-connection.
Further we prove that every cross-connection between them is induced by a permutation and construct
the regular semigroups that arise from the cross-connections. We show that each of the cross-connection
semigroups arising this way is isomorphic to Sing(X). We also describe the right reductive subsemigroups of
Sing(X) with the category of principal left ideals isomorphic to P(X). This study sheds light into the more
general theory of cross-connections and also provides an alternate way of studying the structure of Sing(X).

1. Introduction
In the development of the structure theory of regular semigroups, there are mainly two approaches. The
first approach inspired by the work of W. D. Munn [1] for inverse semigroups uses the set of idempotents
E of a given regular semigroup to reconstruct the semigroup as a full subsemigroup of the semigroup of
principal ideal isomorphisms of E. In this context, K. S. S. Nambooripad [2] abstractly characterized the set
of idempotents of a (regular) semigroup as a (regular) biordered set. It was later proved by D. Easdown [3]
that given a biordered set E, there exists a semigroup S such that the biordered set of S is isomorphic to E.
The second approach initiated by T. E. Hall [4] uses the ideals of a given regular semigroup to analyse
its structure. P. A. Grillet [5–7] refined Hall’s theory to abstractly characterize the set of ideals as regular
partially ordered sets and constructed the fundamental image of the regular semigroup as a cross-connection
semigroup. Again Nambooripad [8] generalized the idea to arbitrary regular semigroups by characterizing
the set of ideals with appropriate morphisms as normal categories. A cross-connection between two normal
categories determines a cross-connection semigroup and conversely every regular semigroup is isomorphic to
a cross-connection semigroup for a suitable cross-connection.
Nambooripad’s cross-connections are thus much more general than Grillet’s and allows one to coordinatize
arbitrary regular semigroups, and not only fundamental ones. As usual there is a price to pay: Nambooripad’s
theory involves rather a complicated system of notions and is more difficult to work with. Because of this
and also of the circumstance that Nambooripad’s treatise [8] was not easily available, the ideas of [8] have
not found many applications so far.
In this paper, we present such an application describing the cross-connections of the singular part Sing(X)
of the full transformation semigroup on a set X, i.e., of the semigroup of all non-invertible transformations
of X. The purpose is twofold. On the one hand, we demonstrate how Nambooripad’s theory works in a very
concrete yet non-trivial situation. As the reader will see, all the abstract notions of the theory get rather
transparent meanings in this case. On the other hand, we believe that our approach sheds some new light
on the structure of Sing(X). With each transformation a ∈ Sing(X), its image Im a and its kernel πa are
connected, and naturally, the set P(X) of all non-empty proper subsets of X and the set Π(X) of all nonidentity partitions of X play an important role in understanding the structure of Sing(X). (For instance,
it is well known that P(X) and Π(X) characterize Green’s relations on Sing(X) [9].) Roughly speaking,
our results show what structure should be imposed on P(X) and Π(X) in order to make Sing(X) become
reconstructable from them. Clearly, both P(X) and Π(X) come equipped with their natural order but one
needs more ingredients, and we show that such additional ingredients can be comfortably expressed in the
language of category theory.
2010 Mathematics Subject Classification. 20M10, 20M17, 20M50.
Key words and phrases. Regular semigroup, cross-connections, normal category, transformation semigroup, powerset,
partitions.
1

2

P. A. AZEEF MUHAMMED AND A. R. RAJAN

The singular transformation semigroup Sing(X) is a regular subsemigroup of the full transformation semigroup TX . Since every semigroup can be realized as a transformation semigroup, TX and its subsemigroups
have been studied extensively [10–13]. Sing(X) being a regular semigroup with a relatively nice structure
makes a good candidate to describe some non-trivial cross-connections because it is not a monoid. (One
can see that the cross-connection structure degenerates in the case of a regular monoid.) In the process, we
identify the normal categories involved in the construction, their normal duals, some intermediary semigroups
that arise, the cross-connections between the normal categories, and also the semigroups that arise from the
cross-connections. The first author has done a similar analysis on the linear transformation semigroup [14] in
which, further, the construction yields an interesting structure theorem for the regular part of the so-called
variants of the semigroup, in the sense of I. Dolinka and J. East [10].
The structure of the paper is as follows. In Section 2, we discuss the relevant notions and definitions
in the general theory of cross-connections. Although the abstract nonsense is slightly bulky, it is necessary
if one wants to place our results into a proper context and relate them to the general situation. A reader
more interested in the application of the theory to Sing(X) may skip this section since we provide a sort of
restriction of the general theory to Sing(X) in Section 3. The normal categories arising from the singular
transformation semigroup Sing(X) are characterized as the powerset category and the category of partitions.
We begin Section 4 by characterizing the normal duals. We observe that the normal dual of the powerset
category is isomorphic to the category of partitions, and vice versa, the normal dual of the partition category
is isomorphic to the powerset category. We study some cross-connections between the powerset category
and the partition category and describe how each permutation on the set X gives rise to a cross-connection.
We prove that every cross-connection semigroup that arises from these categories is in fact induced by a
permutation on X. In Section 5, we conclude the paper by constructing the right reductive subsemigroups
of Sing(X) as cross-connection semigroups.

2. The theory of cross-connections
In this section, we briefly describe the basic concepts and definitions in the general theory of crossconnections. It is based on [8]; and a more concise but a less detailed discussion on cross-connection theory
is available at [15]. We assume familiarity with the elementary ideas in semigroup theory and the basic
definitions in category theory like functors, natural transformations etc. A reader unfamiliar with these
notions may refer to [9, 16, 17] for semigroup theory; and [18, 19] for basic category theory. In this paper, all
the functions are written in the order of their composition, i.e., from left to right (with a minor exception
which shall be seen later). All the categories considered are small categories and 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). Observe that since categories are treated as algebraic objects, to
compare two categories, we will require the stronger notion of category isomorphism (category equivalence
will not suffice).
Let C be a category and P be a subcategory of C such that P is a strict preorder with vP = vC. Then
(C, P) is called a category with subobjects if, first, every f ∈ P is a monomorphism in C, second, and if f = hg
for f, g ∈ P and h ∈ C, then h ∈ P.
In a category (C, P) with subobjects, if f : c → d is a morphism in P, then f is said to be an inclusion.
We denote this inclusion by j(c, d). An inclusion j(c, d) splits if there exists e ∈ C such that j(c, d)e = 1c .
Then e is called a retraction. A morphism u : c → d is said to be an isomorphism if there exists a morphism
u−1 : d → c such that uu−1 = 1c and u−1 u = 1d .
Definition 1. A normal factorization of a morphism f ∈ C(c, d) is a factorization of the form f = euj where
e : c → c′ is a retraction, u : c′ → d′ is an isomorphism and j = j(d′ , d) an inclusion where c′ , d′ ∈ vC with
c′ ⊆ c, d′ ⊆ d.
The morphism f ◦ = eu is known as the epimorphic component of the morphism f .

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

3

The below diagram illustrates a normal factorization f = euj of f ∈ C(c, d).
c′O
u

o

e
⊆

/c

f

u−1


d′

⊆
j


/d

A normal cone in C is essentially a nice collection of morphisms in C associated with a distinguished vertex
d ∈ vC.
Definition 2. Let C be a category with subobjects and d ∈ vC. A map γ : vC → C is called a cone from the
base vC to the vertex d if γ(c) ∈ C(c, d) for all c ∈ vC and whenever c ⊆ c′ then j(c, c′ )γ(c′ ) = γ(c). A cone
γ with vertex d is said to be normal if there exists c ∈ vC such that γ(c) : c → d is an isomorphism.
Given the cone γ, we denote by cγ the vertex of γ and for each c ∈ vC, the morphism γ(c) : c → cγ is
called the component of γ at c. A normal cone γ with vertex d can be represented as follows.

c

⊆
j(c,c′ )

cγ = d
@ ✍F O W✵✵^❂❂
✵✵ ❂❂
✍✍✍
✵✵ ❂❂❂
✵✵ ❂❂
✍✍✍
✵✵ ❂❂
✍
❂❂
✍
✵
✍′
γ(d)
γ(q)
γ(c) γ(c )
✵✵ γ(p)❂❂
❂❂
✍✍✍
✵✵
❂❂
✍✍
✵✵
❂❂
✵✵
✍✍
❂❂
✵✵
✍
❂❂
✵
❂
✍✍
/ c′ ❴ ❴ ❴ ❴ ❴ d ❴ ❴ ❴ ❴ ❴ q ❴ ❴ ❴ ❴ p

We define the M-set of a cone γ as
(1)

M γ = {c ∈ C : γ(c) is an isomorphism}.

Definition 3. A small category C with subobjects is called a normal category if the following holds:
(1) Any morphism in C has a normal factorization.
(2) Every inclusion in C splits.
(3) For each c ∈ vC there is a normal cone γ with vertex c and γ(c) = 1c .
Observe that given a normal cone γ and an epimorphism f : cγ → d, the map γ ∗ f : a 7→ γ(a)f from vC to
C is a normal cone with vertex d. Hence, given two normal cones γ and σ, we can compose them as follows.
(2)

γ · σ = γ ∗ (σ(cγ ))◦

where (σ(cγ ))◦ is the epimorphic part of the morphism σ(cγ ).
All the normal cones in a normal category with this special binary composition form a regular semigroup
T C known as the semigroup of normal cones in C.
To describe cross-connections, Grillet [5] used the set of all normal equivalence relations on a regular
partially ordered set. To extend this idea to normal categories, Nambooripad proposed the notion of a
normal dual. The normal dual N ∗ C of a normal category C is a full subcategory of the category C ∗ of all
functors from C to Set [19]. The objects of N ∗ C are functors called H-functors and the morphisms are
natural transformations between them.
For each γ ∈ T C, define the H-functor H(γ; −) : C → Set on the objects and morphisms of C as follows.
For each c ∈ vC and for each g ∈ C(c, d), we let
(3a)

H(γ; c) = {γ ∗ f ◦ : f ∈ C(cγ , c)} and

(3b)

H(γ; g) : H(γ; c) → H(γ; d) given by γ ∗ f ◦ 7→ γ ∗ (f g)◦

4

P. A. AZEEF MUHAMMED AND A. R. RAJAN

It can be shown that if H(γ; −) = H(γ ′ ; −), then the M -sets of the normal cones γ and γ ′ coincide; and
hence we define the M -set of an H-functor as M H(γ; −) = M γ.
Definition 4. If C is a normal category, the normal dual N ∗ C is a category with
(4)

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

A morphism in N ∗ C between two H-functors H(ǫ; −) and H(ǫ′ ; −) is a natural transformation σ as described
in the following commutative diagram.
H(ǫ; c)

σ(c)

H(ǫ′ ;g)

H(ǫ;g)


H(ǫ; d)

/ H(ǫ′ ; c)

σ(d)


/ H(ǫ′ ; d)

Theorem 2.1. [8] Let C be a normal category. N ∗ C is a normal category such that for every morphism
σ : H(ǫ; −) → H(ǫ′ ; −) in N ∗ C, there is a unique σ̂ : cǫ′ → cǫ in C where the component of the natural
transformation σ at c is the map given by:
(5)

σ(c) : ǫ ∗ f ◦ 7−→ ǫ′ ∗ (σ̂f )◦ .

Definition 5. Let C be a small category with subobjects. An ideal hci of C is the full subcategory of C whose
objects are subobjects of c in C. It is called the principal ideal generated by c.
Definition 6. Let C and D be normal categories. A functor F : C → D is said to be a local isomorphism
if F is inclusion preserving, fully faithful and for each c ∈ vC, F|hci is an isomorphism of the ideal hci onto
hF (c)i.
Definition 7. Let C and D be normal categories. A cross-connection from D to C is a triplet (D, C; Γ) where
Γ : D → N ∗ C is a local isomorphism such that for every c ∈ vC, there is some d ∈ vD such that c ∈ M Γ(d).
Remark 2.2. Given a cross-connection (D, C; Γ), there always exists a unique dual cross-connection ∆ from
C to N ∗ D. Further every result of cross-connection gives a corresponding result for the dual cross-connection.
Given the cross-connection Γ with the dual cross-connection ∆, by category isomorphisms [19], we have
two associated bifunctors Γ(−, −) : C × D → Set and ∆(−, −) : C × D → Set such that there is a natural
isomorphism χΓ between them. Using the bifunctors, we obtain the following intermediary regular semigroups
which are subsemigroups of T C and T D respectively.
[
(6a)
U Γ = {Γ(c, d) : (c, d) ∈ vC × vD}
[
(6b)
U ∆ = {∆(c, d) : (c, d) ∈ vC × vD}

The natural isomorphism χΓ is called the duality associated with the cross-connection. Using χΓ we can get
a linking of some 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 (c, d) ∈ vC × vD such that γ ∈ Γ(c, d) and δ = χΓ (c, d)(γ).
The pairs of linked cones (γ, δ) will form a regular semigroup which is called the cross-connection semigroup
S̃Γ determined by Γ.
S̃Γ = { (γ, δ) ∈ U Γ × U ∆ : (γ, δ) is linked }
For (γ, δ), (γ ′ , δ ′ ) ∈ S̃Γ, the binary operation is defined by
(γ, δ) ◦ (γ ′ , δ ′ ) = (γ.γ ′ , δ ′ .δ)

Let S be an arbitrary regular semigroup. The objects of the category L of principal left ideals are Se for
e ∈ E(S), and the morphisms are partial right translations ρu : u ∈ eSf . Dually, the objects of the category
R of principal right ideals are eS, and the morphisms are partial left translations λw : w ∈ f Se. They have
an obvious choice of subobjects, namely the preorder induced by set inclusions. It can be seen that they form
normal categories with this choice of subobjects. Further if we do the cross-connection construction starting
with the categories L and R, then S̃Γ will be isomorphic to S. This will give a faithful representation of the
semigroup S as a subsemigroup of T L × (T R)op , being a sub-direct product.

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

5

3. Powerset category and the category of partitions
Let X be a non-empty set and in order to avoid trivialities, assume that X has at least two elements.
Given the set X, we can construct a very simple category P(X) from X with the object set as the set of
all proper subsets of X. Given any two subsets A, B; a morphism from A to B is a function f from A to
B. We will call P(X) the powerset category and it has a natural choice of subobjects: the one provided by
set inclusions. Here, the composition of two morphisms is function composition and inclusion morphisms are
inclusion functions, i.e, we have an inclusion j = j(A, B) : A → B if A ⊆ B. Given an inclusion j(A, B), it
is easy to see that there exists a function q : B → A such that j(A, B)q = 1A . Thus every inclusion splits in
P(X) and q is a retraction.
Now given any function f from A to B, it has a factorization of the form f = quj where q : A → A′ is a
retraction, u : A′ → B ′ is an isomorphism (i.e., a bijection) and j = j(B ′ , B) is an inclusion where B ′ = Im
f and A′ is a cross-section of the partition πf of A determined by f . Given a partition on a set A, a subset
A′ of A is called a cross-section provided that A′ contains exactly one representative from each equivalence
class. Note that πf = {(b)f −1 : b ∈ B ′ }. This is the normal factorization of f and qu is the epimorphic
component f ◦ .
Given any D ⊆ X, we associate with it a function σ : vP(X) → P(X) having the following properties. For
each subset A of X, there exists a map σ(A) : A → D, and whenever A ⊆ B, j(A, B)σ(B) = σ(A). Further for
some subset C of X, the map σ(C) : C → D is a bijection. This collection of morphisms {σ(A) : A ∈ vP(X)}
constitute a normal cone σ with vertex D in the category P(X). In addition if σ(D) = 1D , then σ will be
called an idempotent normal cone.
Let u : X → D be a transformation such that (x)u = x for every x ∈ D. Then for any A ⊆ X, define
σ(A) = u|A : A → D.
Then σ is an idempotent normal cone since σ(D) = 1D . So P(X) is a small category with subobjects such
that each morphism in P(X) has a normal factorization and each D ∈ vP(X) has an associated idempotent
normal cone; and hence P(X) is a normal category as defined in Section 2.
Let γ be a normal cone with vertex C and f : C → D an onto map in P(X). Then we can see that
γ ∗ f : A 7→ γ(A)f gives a normal cone in P(X) with vertex D.
Now suppose γ, δ are two normal cones in P(X) with vertices C and D respectively, we can compose
them as follows.
(7)

γ · δ = γ ∗ (δ(C))◦

where (δ(C))◦ is the epimorphic component of the morphism δ(C). Then γ · δ is a normal cone with vertex
D. The set of all normal cones in P(X) under the binary operation defined in (7) forms a regular semigroup
T P(X) called the semigroup of normal cones in P(X).
It can be shown that every normal cone σ in P(X) with vertex A defines a transformation a : X → A as
follows.
(8)

(x)a = (x)σ({x}) for all x ∈ X

where σ({x}) is the component of σ at the singleton {x} ∈ vP(X); and conversely every transformation
a : X → A determines a normal cone in P(X) [20].
If we denote this normal cone generated by the transformation a as ρa ; then we can show that φ : Sing(X) →
T P(X) : a 7→ ρa is a semigroup homomorphism. Such a homomorphism always exists between a regular
semigroup S and T L where L is the normal category associated with S [8, Theorem 3.16]. Although in
general, φ need not be injective or onto, in the case of Sing(X), we can show that φ is indeed a bijection.
Summarising, we have the following.
Theorem 3.1. [20] P(X) is a normal category and T P(X) is isomorphic to Sing(X).
Remark 3.2. Observe that T P(X) is a representation of the semigroup Sing(X); wherein an element in
Sing(X) is represented as a normal cone in P(X), which is nothing but a generalization of normal mapping
of Grillet [5].
Now using the category P(X), we construct the normal dual N ∗ P(X) of P(X). The objects of N ∗ P(X)
are set-valued functors called H-functors. For an idempotent transformation e ∈ Sing(X), define a H-functor

6

P. A. AZEEF MUHAMMED AND A. R. RAJAN

H(e; −) : P(X) → Set as follows. For each A ∈ vP(X) and for each g : A → B in P(X),
(9a)

H(e; A) ={ef : f : Im e → A} and

(9b)

H(e; g) : H(e; A) → H(e; B) given by ef 7→ ef g.

Lemma 3.3. [21] Let e ∈ Sing(X) and A ⊆ X. Then
H(e; A) = {a ∈ Sing(X) : πa ⊇ πe and Im a ⊆ A}
and if g : A → B then H(e; g) : H(e; A) → H(e; B) is given by a 7→ ag.
Thus the H-functor H(e; −) is completely determined by the partition of e. The morphisms in N ∗ P(X)
which are natural transformations between the functors are characterized as follows.
Lemma 3.4. [21] Let σ : H(e; −) → H(f ; −) be a morphism in N ∗ P(X). Then there exists a unique
w ∈ f (Sing(X))e such that the component of the natural transformation σ(C) : H(e; C) → H(f ; C) is given
by a 7→ wa where a ∈ H(e; C) so that πa ⊇ πe and Im a ⊆ C.
The above discussion regarding the normal dual of P(X) inspires us to define a category of partitions of
X as follows. A partition π of X is a family of subsets Ai of X such that ∪Ai = X and Ai ∩ Aj = φ for i 6= j.
A partition is said to be non-identity if at least one Ai has more than one element. Given a non-identity
partition π of X, we denote by π̄ the set of all functions from π to X.
Let π1 , π2 be partitions of X and let η be a function from π2 to π1 . We define η ∗ : π̄1 → π̄2 by (α)η ∗ = ηα
for every α ∈ π̄1 .
Now the category of partitions Π(X) of the set X has vertex set
vΠ(X) = { π̄ : π is a non-identity partition of X}
and a morphism in Π(X) from π̄1 → π̄2 is given by η ∗ as defined above where η : π2 → π1 . Observe that η
from π2 to π1 gives a morphism from π̄1 to π̄2 ; and it is precisely for this reason, the category of partitions
is defined as above.
If π1 = {Ai : i ∈ I} and π2 = {Bj : j ∈ J}, define a partial order on Π(X) as
π̄1 ≤ π̄2 if and only if π2 ≤ π1 ; where
π2 ≤ π1 if and only if for each j, Bj ⊆ Ai for some i.
If π2 ≤ π1 , then the map ν : Bj 7→ Ai is the inclusion map from π2 → π1 and ν ∗ : π̄1 → π̄2 is a morphism in
Π(X). We consider ν ∗ as the inclusion morphism from π̄1 to π̄2 .
If ν ∗ = j(π̄1 , π̄2 ) : π̄1 → π̄2 is the inclusion morphism, then there exists a retraction ζ ∗ : π̄2 → π̄1 , i.e.,
∗ ∗
ν ζ = 1π̄1 . Here, ζ : π1 → π2 is defined by (Ai )ζ = Bj where Bj ∈ π2 is chosen such that Bj ⊆ Ai . Thus
the inclusion ν ∗ splits.
Now if we define P as the subcategory of Π(X) with vP = vΠ(X) and morphisms as inclusion morphisms
ν ∗ , then we can verify that (Π(X), P) forms a category with subobjects. The next theorem gives a normal
factorization of a morphism in Π(X).
Theorem 3.5. Let η ∗ be a morphism from π̄1 to π̄2 in Π(X) with η : π2 → π1 . Then there exist partitions
πσ and πγ ; and ν : π2 → πσ , u : πσ → πγ and ζ : πγ → π1 such that η ∗ = ζ ∗ u∗ ν ∗ such that ζ ∗ is a retraction,
u∗ is an isomorphism and ν ∗ is an inclusion in Π(X).
Proof. For each partition π = {Ck : k ∈ K} and x ∈ X, we denote by [x] = [x]π the set Ck ∈ π such that
x ∈ Ck . That is [x]π is the equivalence class of x in π, considering π as an equivalence relation. Let σ = ση
be the equivalence relation on X defined as follows.
σ = {(x, y) : [x]π2 η = [y]π2 η}
Then as equivalence relations π2 ⊆ σ. Let ν : π2 → σ be the inclusion given by [x]π2 7→ [x]σ . Since ν : π2 → σ
is the inclusion map, we see that ν ∗ : σ̄ → π̄2 is the inclusion morphism.
Let γ = γη be the partition of X defined as follows. Let π1 = {Ai : i ∈ I}. Then Im η = {Ai : i ∈ I ′ }
for some I ′ ⊆ I. Then fix an element 1 ∈ I ′ and define γ = {B ∪ A1 } ∪ {Ai : i ∈ I ′ \ {1}} where
B = ∪{Aj : Aj ∈
/ Im η}. Then clearly γ is a partition of X and π1 ⊆ γ.
Let ζ : γ → π1 be defined as follows.
B ∪ A1 7→ A1
Aj 7→ Aj for j ∈ I ′ \ {1}

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

7

Then we see that ζ ∗ is a retraction from π̄1 to γ̄. Now define u : σ → γ as follows.
(
if [x]η 6= A1
[x]π2 η
([x]σ )u =
B ∪ A1 if [x]η = A1
Clearly u is well-defined and is a bijection. Since u is a bijection, u∗ : γ̄ → σ̄ is also a bijection and so is an
isomorphism in Π(X).
To show that η ∗ = ζ ∗ u∗ ν ∗ , for any [x]π2 ∈ π2 ,
([x]π2 )νuζ = ([x]σ )uζ =

(

([x]π2 η)ζ
(B ∪ A1 )ζ

=

(

[x]π2 η
A1

if [x]η 6= A1
if [x]η = A1

if [x]η 6= A1
if [x]η = A1

= [x]π2 η.
Hence, for any α ∈ π̄1 ,

(α)η ∗ = (α)(νuζ)∗ = νuζα = (α)ζ ∗ u∗ ν ∗ .
Thus η ∗ = ζ ∗ u∗ ν ∗ and so every morphism in Π(X) has a normal factorization.



Also let π = {Ai : i ∈ I} be a partition of X such that π = πe for an idempotent e : X → X. For each
partition πα = {Bj : j ∈ J}, define eα : π → πα by Ai 7→ Bj such that (Ai )e ∈ Bj . Then a cone ē defined by
ē(π̄α ) = (eα )∗ for all π̄α ∈ Π(X)
is an idempotent normal cone in Π(X) with vertex π̄; and hence Π(X) is a normal category [21]. We conclude
this section by characterizing the semigroup T Π(X) of all normal cones in Π(X).
Theorem 3.6. The semigroup T Π(X) of all normal cones in Π(X) is anti-isomorphic to Sing(X).
Proof. Observe that given any transformation a ∈ Sing(X), we have a normal cone σ a in Π(X) as follows.
Define
σ a (π̄α ) = (aα)∗ for all π̄α ∈ vΠ(X).
Then aα|Ima : Im a → Im α will give a map ηaα : [x]πa 7→ [xaα]πα from πa → πα . (aα)∗ will be a morphism
from π̄α to π̄a for all π̄α ∈ vΠ(X).
So σ a is a normal cone in Π(X) with vertex π̄a . Also σ a .σ b = σ ba . Hence σ a 7→ a is an anti-isomorphism
and so the semigroup T Π(X) of all normal cones in Π(X) is anti-isomorphic to Sing(X).

4. Cross-connections
Having characterized the normal categories in Sing(X) as P(X) and Π(X), now we proceed to discuss
the cross-connections between them. But for that, first we need to describe the normal duals of P(X) and
Π(X). We show below that P(X) and Π(X) are mutual normal duals of each other.
4.1. Normal duals. To characterize the normal dual of P(X), we define functors P : N ∗ P(X) → Π(X)
and Q : Π(X) → N ∗ P(X) as follows. For H(e; −) ∈ vN ∗ P(X) and σ : H(e; −) → H(f ; −),
(10)

P (H(e; −)) = π̄e

and P (σ) = w∗

where πe is the partition of X induced by the transformation e, and w∗ is given as follows. By Lemma 3.4, σ
induces a unique map w : Im f → Im e. Then w∗ : π̄e → π̄f is determined by the map ηw : πf → πe induced
by w. Further Q is defined by
(11)

Q(π̄) = H(e; −) and Q(η ∗ ) = σ

where e is an idempotent mapping such that πe = π. Observe that that if πe = πf , then eRf and so
H(e; −) = H(f ; −) [8]. For η : πf → πe , σ : H(e; −) → H(f ; −) is defined by a 7→ wa where w : Im f → Im e
is determined uniquely by η.
P Q is a functor from N ∗ P(X) to itself such that P Q = 1N ∗ P(X) . Similarly QP is a functor from Π(X)
to itself such that QP = 1Π(X) . Since P is an order isomorphism preserving the inclusions, N ∗ P(X) is
isomorphic to Π(X) as normal categories.

8

P. A. AZEEF MUHAMMED AND A. R. RAJAN

Theorem 4.1. [21] The normal dual N ∗ P(X) is isomorphic to the category of partitions Π(X).
By duality, we can characterize the normal dual N ∗ Π(X) of the partition category. Each normal cone in
Π(X) can be realized using a transformation a ∈ Sing(X) and the H-functor H(e; −) ∈ vN ∗ Π(X) can be
seen as completely characterized by Im e. Corresponding to σ : H(e; −) → H(f ; −) in N ∗ Π(X), we have a
unique morphism η ∗ : π̄f → π̄e in Π(X) and η ∗ will determine a map η = ηw : πe → πf ; which in turn gives
a unique map w : Im e → Im f . Hence we can define a functor R : N ∗ Π(X) → P(X) as follows.
(12)

R(H(e; −)) = Im e

and

R(σ) = w

We can show that R is an inclusion preserving covariant functor which is an order isomorphism, v-injective,
v-surjective and fully faithful. Hence N ∗ Π(X) is isomorphic to the powerset category P(X). And hence we
have the following theorem.
Theorem 4.2. The normal dual N ∗ Π(X) is isomorphic to the powerset category P(X).
In the next lemma, we identify the M -set associated with a cone σ in P(X), with a cross-section of a
partition.
Lemma 4.3. Let σ be a normal cone in P(X). Then
M σ = {A ⊆ X : A is a cross-section of πa }
where σ = ρa for some a ∈ Sing(X) and πa is the partition of a.
Proof. Let σ = ρa be a normal cone in P(X). For a regular semigroup S, M ρa = {Se : e ∈ E(Ra )} where
Ra is the R-class of S containing a [8].
So M σ = {Sb : b ∈ E(Ra )}. Hence
M σ = {Sb : πb = πa and b2 = b} = {A : A is a cross-section of πa }.

Thus, given σ ∈ E(T P(X)), we have a natural identification of the H-functor H(σ; −) with a partition
π; and henceforth we write M (π) for M H(σ; −) = M σ.
Now we are ready with all the necessary ingredients to discuss the cross-connections between P(X) and
Π(X). Since N ∗ P(X) is isomorphic to Π(X) (by Theorem 4.1), the local isomorphism Γ : Π(X) → N ∗ P(X)
of a cross-connection from Π(X) to P(X) can be taken as a local isomorphism Γ : Π(X) → Π(X). Using
Lemma 4.3, we have the following.
Lemma 4.4. (Π(X), P(X); Γ) is a cross-connection if Γ : Π(X) → Π(X) is a local isomorphism such that
for every A ∈ vP(X), there is some π̄ ∈ vΠ(X) such that A is a cross-section of Γ(π̄).
Now given a cross-connection Γ : Π(X) → Π(X) ∼
= N ∗ P(X), we have a bifunctor Γ : P(X)×Π(X) → Set
as follows. For all (A, π̄) ∈ vP(X) × vΠ(X) and (f, v ∗ ) : (A, π̄) → (B, π̄ ′ )
(13a)

Γ(A, π̄) = {a ∈ Sing(X) : Im a ⊆ A and π̄a ⊆ Γ(π̄)}

(13b)

Γ(f, v ∗ ) : a 7→ (ua)f = u(af )

where u∗ = Γ(v ∗ ).
By Remark 2.2, given a cross-connection (Π(X), P(X); Γ), there exists a unique dual cross-connection
∆ : P(X) → P(X). Just as in the case of Γ, we have a bifunctor ∆ : P(X) × Π(X) → Set as follows. For
all (A, π̄) ∈ vP(X) × vΠ(X) and (f, v ∗ ) : (A, π̄) → (B, π̄ ′ )
(14a)

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

(14b)

∆(f, v ∗ ) : a 7→ (va)g = v(ag)

where g = ∆(f ).

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

9

4.2. Cross-connections induced by permutations on X. Recall that a permutation on a set X is an
injective map from X onto itself. In this section, we show that given a permutation θ on X, we can define
a cross-connection from the powerset category P(X) to the partition category Π(X) induced by θ. In the
sequel, since θ is often used to represent a functor, we write the argument on the right side of θ for uniformity;
but the order of composition is from left to right as earlier. First we see that a permutation θ induces an
isomorphism θP on the powerset category P(X).
Proposition 4.5. Let θ be a permutation on the set X. Define a functor θP : P(X) → P(X) as follows. For
a subset A of X, define θP : A 7→ θ(A) and for f : A → B in P(X), define θP (f ) = θ(f ) = θ−1 f θ : θ(A) →
θ(B). Then θP is a normal category isomorphism on P(X).
Proof. Clearly for A ∈ P(X), θP (A) = θ(A) ∈ P(X). Since θ is injective, θP is injective. θP is onto, since
θ is onto. Hence θP : vP(X) → vP(X) is a bijection on vP(X). Now given f : A → B in P(X), θ−1 f θ is
a map θ(f ) from θ(A) to θ(B).
Also if f : A → B and g : B → C, then θ(f ◦ g) = θ−1 (f ◦ g)θ = θ−1 f (θθ−1 )gθ = (θ−1 f θ)(θ−1 gθ) =
θ(f ) ◦ θ(g). Hence θP is a covariant functor on P(X).
Also given g : θ(A) → θ(B), we see that θgθ−1 is a map from A → B; and θ(θgθ−1 ) = θ−1 θgθ−1 θ = g;
and hence θP is full. Also if θ−1 f θ = θ−1 gθ, then f = g and so θP is faithful.
Now A ⊆ B if and only if θ(A) ⊆ θ(B). Also θ(j(A, B)) = j(θ(A), θ(B)). Thus θP is a normal category
isomorphism on P(X).

When there is no ambiguity regarding notations, we shall denote θP by θ itself, as above. Now we see
that a permutation θ induces an isomorphism θ on the partition category Π(X) of X. For that we need the
following lemma which describes a permutation θ on the set of partitions of X.
Lemma 4.6. Let θ be a permutation on the set X and σ = {Ai : i ∈ I} be a partition of X. Then θ−1 (σ)
defined as follows is also a partition of X.
(15)

θ−1 (σ) = {θ−1 (Ai ) : i ∈ I}

Now using θ, we can get an isomorphism of the category of partitions Π(X).
Proposition 4.7. Let θ be a permutation on the set X. Define a functor θ : Π(X) → Π(X) as follows. For
σ̄ ∈ vΠ(X), θ(σ̄) = θ∗ (σ̄) = θ−1 (σ) and for η ∗ : σ̄1 → σ̄2 in Π(X), θ(η ∗ ) = (θηθ−1 )∗ . Then this is a normal
category isomorphism on Π(X).
Proof. Since θ is a mapping from θ−1 (σ) to σ, θ∗ is a morphism in Π(X) from σ to θ−1 (σ) such that θ∗ : α 7→
θα for all α ∈ σ̄. Since θ is bijective, θ (as a functor) is a bijection on vΠ(X) such that σ 7→ θ−1 (σ). Now θ
being a bijection can be inverted and hence given η ∗ : σ̄1 → σ̄2 in Π(X), we see that (θ−1 )∗ η ∗ θ∗ = (θηθ−1 )∗
gives a map from θ∗ (σ̄1 ) to θ∗ (σ̄2 ) with the corresponding mapping θ(η) = θηθ−1 from the partition θ−1 (σ2 )
to θ−1 (σ1 ).
If η ∗ : σ̄1 → σ̄2 and µ∗ : σ̄2 → σ̄3 , then θ(η ∗ ◦ µ∗ ) = (θ−1 )∗ (η ∗ ◦ µ∗ )θ∗ = (θ−1 )∗ η ∗ (θ∗ (θ−1 )∗ )µ∗ θ∗ =
((θ−1 )∗ η ∗ θ∗ )((θ−1 )∗ µ∗ θ∗ ) = θ(η ∗ ) ◦ θ(µ∗ ). Hence θ is a covariant functor on Π(X)
Given µ∗ : θ(σ̄1 ) → θ(σ̄2 ), then θ∗ µ∗ (θ−1 )∗ is a map from σ̄1 → σ̄2 ; and hence θ is full. If (θ−1 )∗ η ∗ θ∗ =
−1 ∗ ∗ ∗
(θ ) µ θ , then η ∗ = µ∗ and so θ is faithful.
Now σ̄1 ⊆ σ̄2 if and only if σ1 ⊇ σ2 if and only if θ−1 (σ1 ) ⊇ θ−1 (σ2 ) if and only if θ∗ (σ̄1 ) ⊆ θ∗ (σ̄2 ). Also
θ(j(σ̄1 , σ̄2 )) = j(θ∗ (σ̄1 ), θ∗ (σ̄2 )). Thus θ is a normal category isomorphism on Π(X).

Lemma 4.8. Let θ be a permutation of X. Then (Π(X), P(X); Γθ ) is a cross-connection where Γθ : Π(X) →
Π(X) is defined by
(16)

Γθ (π̄) = θ(π̄) and Γθ (η ∗ ) = θ(η ∗ )

Proof. By Proposition 4.7, Γθ is a normal category isomorphism of Π(X), Γθ is inclusion preserving, fully
faithful and for each π̄ ∈ vΠ(X), F|hπ̄i is an isomorphism of the ideal hπ̄i onto hΓθ (π̄)i. Also since the image
of Γθ is full, for every A ∈ vP(X), there is some π̄ ∈ vΠ(X) such that A ∈ M θ(π̄). Hence from Lemma 4.4,
Γθ is a cross-connection.

As above, it is straightforward to show the following.

10

P. A. AZEEF MUHAMMED AND A. R. RAJAN

Lemma 4.9. Let θ be a permutation of X and ∆θ : P(X) → P(X) be a functor such that
(17)

∆θ (A) = θ(A) and ∆θ (f ) = θ(f )

Then (P(X), Π(X); ∆θ ) is a cross-connection.
Proposition 4.10. Let (Π(X), P(X); Γθ ) and (P(X), Π(X); ∆θ ) be two cross-connections with associated bifunctors Γθ (−, −) and ∆θ (−, −) respectively, then there is a natural isomorphism χΓθ : Γθ (−, −) →
∆θ (−, −) defined as
χΓθ (A, π̄) : a 7→ θ−1 aθ.
Hence ∆θ is the dual of Γθ and χΓθ is the duality associated with the cross-connection.
Proof. First, let (f, η ∗ ) ∈ P(X) × Π(X) where f : A → B and η ∗ : π̄1 → π̄2 .
Γθ (A, π̄1 )

χΓθ (A,π̄1 )

/ ∆θ (A, π̄1 )

Γθ (f,η ∗ )

∆θ (f,η ∗ )


Γθ (B, π̄2 )

χΓθ (B,π̄2 )


/ ∆θ (B, π̄2 )

To see that the above diagram commutes, let a ∈ Γθ (A, π̄1 ). Then,
(a)χΓθ (A, π̄1 )∆θ (f, η ∗ ) = (θ−1 aθ)∆θ (f, η ∗ )
= η(θ−1 aθ)θ(f ) (using (14b))
= ηθ−1 aθθ−1 f θ (using Proposition 4.5)
= ηθ−1 af θ.
Also (a)Γθ (f, η ∗ )χΓθ (B, π̄2 ) = (θ(η)af )χΓθ (B, π̄2 ) (using (13b))
= θ−1 (θ(η)af )θ
= θ−1 θηθ−1 af θ (using Proposition 4.7)
= ηθ−1 af θ.
Thus we have
(a)χΓθ (A, π̄1 )∆θ (f, η ∗ ) = (a)Γθ (f, η ∗ )χΓθ (B, π̄2 ) for every a ∈ Γθ (A, π̄1 ).
Now for a ∈ Γθ (A, π̄), the map θ−1 aθ ∈ ∆θ (A, π̄). To see that, observe that Im a ⊆ A, Im θ−1 a ⊆ A imply
Im θ−1 aθ ⊆ θ(A).
Similarly since π̄a ⊆ θ(π̄) and θ(π̄) = θ∗ (π̄), we have θ(π) ⊆ πa . Since πa ⊆ πaθ , we have θ(π) ⊆ πaθ , i.e.,
−1
θ θ(π) ⊆ θ−1 (πaθ ). Now since θ−1 θ(π) = π and θ−1 (πaθ ) = πθ−1 aθ , we have π ⊆ πθ−1 aθ . Hence πθ−1 aθ ⊆ π.
Thus the map θ−1 aθ ∈ ∆θ (A, π̄) whenever a ∈ Γθ (A, π̄).
Also observe that since the conjugation map a 7→ θ−1 aθ is a bijection, the map χΓθ (A, π̄) is a bijection of
the set Γθ (A, π̄) onto the set ∆θ (A, π̄). Thus χΓθ is a natural isomorphism.

The natural isomorphism χΓθ is the duality associated with Γθ and by [8], ∆θ is the dual cross-connection
of Γθ .
Given a cross-connection (Π(X), P(X); Γθ ) with a dual cross-connection (P(X), Π(X); ∆θ ), from the
general theory, there exists two regular subsemigroups U Γθ and U ∆θ of T P(X) and T Π(X) respectively.
We will identify the cross-connection semigroup as a sub-direct product of these intermediary subsemigroups.
U Γθ and U ∆θ are described in the following lemma.
Lemma 4.11.
[

{a ∈ Sing(X) : Im a ⊆ A and π̄a ⊆ θ(π̄) : (A, π̄) ∈ vP(X) × vΠ(X)}
[
U ∆θ =
{b ∈ Sing(X) : Im b ⊆ θ(A) and π̄b ⊆ π̄ : (A, π̄) ∈ vP(X) × vΠ(X)}

U Γθ =

Observe here that since (A, π̄) ∈ vP(X) × vΠ(X), U Γθ ∼
= Sing(X)op. The following
= Sing(X) and U ∆θ ∼
lemma which describes the linked cones can be easily verified.

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

11

Lemma 4.12. Let (Π(X), P(X); Γθ ) be a cross-connection such that the duality is given by χΓθ (A, π̄) : a 7→
θ−1 aθ; then a is linked to b if and only if b = θ−1 aθ.
Having characterized the linked cones for the cross-connection, now we describe the cross-connection
semigroup.
Theorem 4.13. Given a cross-connection (Π(X), P(X); Γθ ), the cross-connection semigroup S̃Γθ is isomorphic to Sing(X).
Proof. Using Lemma 4.12, we see that
S̃Γθ = { (a, θ−1 aθ) such that a ∈ Sing(X)}
Since U ∆θ is a subsemigroup of Sing(X)op , with operation θ−1 a′ θ∗θ−1 aθ = θ−1 aθθ−1 a′ θ = θ−1 a(θθ−1 )a′ θ =
θ−1 aa′ θ in Sing(X)op, so the binary operation in S̃Γθ is given by
(a, θ−1 aθ) ◦ (a′ , θ−1 a′ θ) = (aa′ , θ−1 aa′ θ)
Now define a mapping ψ : Sing(X) → S̃Γθ as a 7→ (a, θ−1 aθ). Clearly ψ is well-defined and onto. Also
(a · a′ )ψ = (aa′ )ψ = (aa′ , θ−1 aa′ θ) = (aa′ , θ−1 aθθ−1 a′ θ) = (a, θ−1 aθ) ◦ (a′ , θ−1 a′ θ) = (a)ψ ◦ (a′ )ψ. Thus ψ
is a homomorphism. Now if (a)ψ = (a′ )ψ, then (a, θ−1 aθ) = (a′ , θ−1 a′ θ) and hence a = a′ . Thus ψ is an
isomorphism and hence S̃Γθ is isomorphic to Sing(X).

Remark 4.14. Thus given a permutation θ on X, we can get a representation of Sing(X) as the crossconnection semigroup S̃Γθ corresponding to the cross-connection (Π(X), P(X); Γθ ).
Let Sing(X)∗ = (Sing(X), ∗) with the binary composition ∗ defined as follows. For a permutation θ,
a∗b= a·θ·b

for a, b ∈ Sing(X).

Then we can see that the representation Γθ described above refers to the cross-connection arising from the
semigroup Sing(X)∗ .
If we define φ : Sing(X)∗ → S̃Γθ as a 7→ (θa, aθ), then
(a ∗ a′ )φ = (aθa′ )φ = (θaθa′ , aθa′ θ) = (θa, aθ) ◦ (θa′ , a′ θ) = (a)φ ◦ (a′ )φ.
Further it can be seen that φ is an isomorphism.
Now we proceed to show that in fact these are all the cross-connections from Π(X) to P(X).
Theorem 4.15. Any cross-connection Γ from Π(X) to P(X) is of the form Γθ for some permutation θ.
Proof. Recall that a cross-connection Γ : Π(X) → P(X) is a local isomorphism Γ : Π(X) → Π(X) such that
there is an associated dual cross-connection ∆ : P(X) → P(X) (see Definition 7 and Remark 2.2). First
observe that since ∆ preserves inclusion and is an order isomorphism on ideals, if A ⊆ B then ∆(A) =
j(A, B)∆(B).
Then define
(x)θ = y such that ∆({x}) = {y}.
Since ∆ is a local isomorphism, ∆|hxi will be a bijection and hence θ is well defined.
Further θ is injective. Suppose that it is not injective. Then there exist a, a′ ∈ X such that (a)θ = (a′ )θ = b.
This implies ∆({a}) = ∆({a′ }) = {b}. Then ∆({a, a′ }) = {b}. But this is clearly not possible as ∆({a, a′ })
is not a bijection. Hence θ is injective.
Also θ is onto. Suppose that it is not onto. Then there exists b ∈ X such that ∆({x}) 6= {b} for any
x ∈ X. That is ∆(X) ⊆ X\{b}. Now since ∆ is a cross-connection, for every π̄ ∈ Π(X) there exists a subset
A ∈ P(X) such that ∆(A) is a cross-section of π. If we choose π = {X\{b}, {b}}, then π is a partition of X
and any cross-section C of π should contain b. But since ∆(X) ⊆ X\{b}, no such C exists and this leads to
a contradiction. Hence θ is onto.
Since A ⊆ B implies ∆(A) = j(A, B)∆(B), we can argue as in [20] (see (8) above) to show that any
cross-connection ∆ from P(X) to Π(X) is one of the form ∆θ as defined by (17). Here for any A ∈ vP(X),
∆(A) = θ(A) and given f : A → B, θ(f ) = θ−1 f θ is the morphism from θ(A) to θ(B). Now by the
duality of the cross-connections [8], it can be shown (see Remark 2.2 and Proposition 4.10) that the dual
cross-connection of ∆θ is Γθ . This implies that Γ = Γθ and hence the theorem follows.

Since the cross-connection semigroup S̃Γθ is isomorphic to Sing(X), we have the following corollary.

12

P. A. AZEEF MUHAMMED AND A. R. RAJAN

Corollary 4.16. Every cross-connection semigroup arising from the cross-connections between Π(X) and
P(X) is isomorphic to Sing(X).
Thus, in this section, we have shown that although different permutations give rise to different crossconnections, the resulting cross-connection semigroups are all isomorphic.
We have also seen that Sing(X), although not a monoid, behaves much like one. The fact that it is
constructible from one of P(X) or Π(X) is worth noticing. It is the result of the strong lattice structure
present among the principal ideals of Sing(X). In fact, it is exactly this structure which restricts the crossconnections between the underlying categories; which in turn results in all cross-connection smeigroups to
be isomorphic.
5. Right reductive subsemigroups of Sing(X)
One class of semigroups we can construct using cross-connections are the right reductive subsemigroups
of Sing(X) with principal left ideals isomorphic to P(X). Recall that a semigroup S is said to be right
reductive if the right-regular representation of S, ρ : a 7→ ρa is injective [9].
For constructing them we need to identify the total ideals of Π(X). An ideal I in the normal dual N ∗ C of
a normal category C is said to be a total ideal in N ∗ C if for all c ∈ vC, there is some H(ǫ; −) ∈ vI such that
c ∈ M H(ǫ; −). Using Lemma 4.3, we have the following.
Lemma 5.1. An ideal I is a total ideal of Π(X) if and only if for every proper maximal subset A of X,
there exists π̄ ∈ vI such that A is a cross-section of π.
Proof. Suppose I is a total ideal of Π(X) and let A be a maximal proper subset of X. Then by the
identification in (10) of N ∗ P(X) with Π(X), there is some π̄ ∈ vI such that A ∈ M H(e; −) where π is the
partition induced by e. By Lemma 4.3, this implies that for every proper maximal subset A of X, there
exists π̄ ∈ vI such that A is a cross-section of π.
Conversely assume that for every proper maximal subset A of X, there exists π̄ ∈ vI such that A is
a cross-section of π. Since I is an ideal, for every subset A of X there exists π̄ ∈ vI such that A is a
cross-section of π and using Lemma 4.3, we see that I is a total ideal of Π(X).

Lemma 5.2. If I is a total ideal of Π(X), then (I, P(X); Γ) is a cross-connection where
(18)

Γ : I → Π(X) is the inclusion functor j(I, Π(X))

Proof. By Lemma 4.4, (I, P(X); Γ) is a cross-connection if Γ : I → Π(X) is a local isomorphism such that
for every A ∈ vP(X), there is some π̄ ∈ vI such that A is a cross-section of Γ(π̄). Since Γ is an inclusion
functor, Γ is inclusion preserving and faithful. Since I is a full subcategory of Π(X), Γ is full. Also for each
ideal hπ̄i for π̄ ∈ vI, Γ|hπ̄i is the identity morphism from hπ̄i to hΓ(π̄)i = hπ̄i. So Γ is a local isomorphism.
Since I is a total ideal, by Lemma 5.1, for every subset A of X, there exists π̄ ∈ vI such that A is a
cross-section of π. Hence Γ is a cross-connection.

Lemma 5.3. Let ∆ be the identity functor from P(X) to P(X). Then for a total ideal I of Π(X), the
triplet (P(X), I; ∆) is a cross-connection such that for A ∈ vP(X) and π̄ ∈ vΠ(X), A ∈ M Γ(π̄) if and only
if π̄ ∈ M ∆(A). Hence ∆ is the dual cross-connection of Γ.
Proof. First, since I is a total ideal of Π(X), the category N ∗ I is isomorphic to P(X). Hence ∆ = 1P(X)
is inclusion preserving, fully faithful and for each A ∈ vP(X), the restriction F|hAi is an isomorphism (in
fact identity functor) of the ideal hAi onto h∆(A)i = hAi. Also clearly the image of v∆ is total in P(X) and
hence ∆ is a cross-connection.
Then for A ∈ vP(X) and π̄ ∈ vΠ(X), let A ∈ M Γ(π̄). Since Γ = j(I, Π(X)), we have Γ(π̄) = π̄. Then
by the dual of Lemma 4.3, A is a cross-section of π. Now since ∆ = 1P(X) , we observe that ∆(A) = A and
so π̄ ∈ M ∆(A). Similarly the converse also holds. Hence by [8], ∆ is the dual cross-connection of Γ.

Observe that although each cross-connection has a unique dual cross-connection, it is possible for different
cross-connections to have the same dual, as seen in the above lemma. Now given a cross-connection Γ and
its dual ∆, the semigroups U Γ and U ∆ associated with them is described in the next lemma.

CROSS-CONNECTIONS OF THE SINGULAR TRANSFORMATION SEMIGROUP

13

Lemma 5.4. Given a cross-connection Γ = j(I, Π(X)) and the dual cross-connection ∆ = 1P(X) ,
[
UΓ =
{a ∈ Sing(X) : Im a ⊆ A and π̄a ⊆ π̄ : (A, π̄) ∈ vP(X) × vI}
U∆ =

[
{b ∈ Sing(X) : Im b ⊆ A and π̄b ⊆ π̄ : (A, π̄) ∈ vP(X) × vI}.

The next lemma characterizes the duality associated with the cross-connection defined in (18) and the
corresponding linked cones.
Proposition 5.5. Given a cross-connection Γ = j(I, Π(X)) and the dual cross-connection ∆ = 1P(X) ;
χΓ : Γ(−, −) → ∆(−, −) is defined as χΓ (A, π̄) : a 7→ a. Hence a is linked to b if and only if a = b.
Proof. First observe that given the cross-connection Γ = j(I, Π(X)),
Γ(A, π̄) = ∆(A, π̄) = {a : Im a ⊆ A and π̄a ⊆ π̄}.
So if we define χΓ (A, π̄) : a 7→ a, then χΓ (A, π̄) = 1Γ(A,π̄) and hence is clearly a natural isomorphism.
Now given a cross-connection Γ = j(I, Π(X)), we shall say that a ∈ U Γ is linked to b ∈ U ∆ if there is
a (A, π̄) ∈ vP(X) × vI such that a ∈ Γ(A, π̄) and b = χΓ (A, π̄)(a). Hence it is clear that a is linked to b if
and only if a = b.

Having characterized the linked cones for the cross-connection, now we are in a position to describe the
cross-connection semigroup.
Theorem 5.6. Given a cross-connection Γ = j(I, Π(X)), the cross-connection semigroup S̃Γ is isomorphic
to a right reductive regular subsemigroup of Sing(X).
Proof. The cross-connection semigroup S̃Γ defined as
S̃Γ = {(a, b) ∈ U Γ × U ∆ : (a, b) is linked }
is a regular semigroup with the binary operation defined by (a, b) ◦ (a′ , b′ ) = (aa′ , b′ ∗ b). Using Proposition
5.5, we see that S̃Γ = {(a, a) : a ∈ U Γ}. Now since the multiplication in the semigroup U ∆ is defined as
a′ ∗ a = a.a′ for all a, a′ ∈ U ∆; the binary operation in S̃Γ is (a, a) ◦ (a′ , a′ ) = (aa′ , aa′ ).
Now define a mapping φ : S̃Γ → Sing(X) as (a, a) 7→ a. Clearly φ is well-defined and injective. Also
((a, a) ◦ (a′ , a′ ))φ = (aa′ , aa′ )φ = aa′ = (a, a)φ ◦ (a′ , a′ )φ.
Thus φ is a homomorphism. Using the regularity of S̃Γ, we see that S̃Γ is isomorphic to a regular subsemigroup of Sing(X).
Now the projection p : S̃Γ → U Γ given by (a, a) 7→ a is clearly an isomorphism. Then p = ρψ where ρ
is the right regular representation of S̃Γ and ψ : (S̃Γ)ρ → U Γ is an isomorphism [8]. Hence ρ will be an
isomorphism and so S̃Γ is right reductive. Hence the theorem.

Corollary 5.7. In particular if we take I = Π(X) and the identity functor on Π(X) as the cross-connection
Γ, then the cross-connection semigroup S̃Γ of (Π(X), P(X); Γ) is isomorphic to Sing(X).
In fact, all the right reductive subsemigroups of Sing(X) with the principal left ideal category isomorphic
to the powerset category P(X) is one of the form S̃Γ [8]. We conclude by illustrating an example.
Example 1. If |X| = n; then there are (n2 ) minimal partitions since any minimal partition will have only
one set of two elements and all other sets singleton. Also there are n maximal subsets. For each minimal
partition π, there are exactly two cross-sections and hence two idempotent mappings with the given partition.
For each maximal subset A, there are n − 1 idempotents with image A. Choose at least m = (n2 ) − (n − 2)
minimal partitions and let I = ∪m
i=1 {π̄i ∪ {π̄j : π̄j ⊆ π̄i }} and do the construction as in Section 5, we get
the cross-connection semigroup S̃Γ = T as a right reductive subsemigroup of Sing(X). Here S̃Γ corresponds
to the subsemigroup T of Sing(X) given by T = {a ∈ Sing(X) : π̄a ∈ vI}.
For example, choose n = 5 and X = {1, 2, 3, 4, 5}. Then m = (52 ) − (5 − 2) = 7. Now define I by choosing
all minimal partitions except π1 = {(12)(3)(4)(5)}. Then T = {a ∈ Sing(X) : πa 6= π1 }, i.e., it contains all
elements of Sing(X) except 120 elements of the form (aabcd) where a, b, c, d ∈ X.

14

P. A. AZEEF MUHAMMED AND A. R. RAJAN

Acknowledgements
The authors express their deep gratitude to M. V. Volkov, Ural Federal University, Russia for his helpful
advice, suggestions and remarks.
We are very grateful to the referee for the careful reading of the paper and for his/her comments and detailed
suggestions which helped us to improve the manuscript considerably.
The first author acknowledges the financial support of IISER, Thiruvananthapuram in the preparation of
this paper. On the final stage, his work was also supported by the Competitiveness Enhancement Program
of Ural Federal University, Russia.
The second author acknowledges the financial support of the KSCSTE, Thiruvananthapuram (via the award
of Emeritus scientist) in the preparation of this paper.
References

[1] W. D. Munn. Fundamental inverse semigroups. Q. J. Math., 21(2):157–170, 1970.
[2] K. S. S. Nambooripad. Structure of Regular Semigroups - I. Number 224 in Mem. Amer. Math. Soc. American Mathematical
Society, Providence, Rhode Island, 1979.
[3] D. Easdown. Biordered sets come from semigroups. J. Algebra, 96(2):581 – 591, 1985.
[4] T. E. Hall. On regular semigroups. J. Algebra, 24(1):1 – 24, 1973.
[5] P. A. Grillet. Structure of regular semigroups: a representation. Semigroup Forum, 8:177–183, 1974.
[6] P. A. Grillet. Structure of regular semigroups: Cross-connections. Semigroup Forum, 8:254–259, 1974.
[7] P. A. Grillet. Structure of regular semigroups: the reduced case. Semigroup Forum, 8:260–265, 1974.
[8] K. S. S. Nambooripad. Theory of Cross-connections. Publication No. 28. Centre for Mathematical Sciences, Trivandrum,
1994.
[9] A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups, Volume I. Number 7 in Mathematical Surveys.
American Mathematical Society, Providence, Rhode Island, 1961.
[10] I. Dolinka and J. East. Variants of finite full transformation semigroups. Internat. J. Algebra Comput., 25(08):1187–1222,
2015.
[11] J. M. Howie. Idempotent generators in finite full transformation semigroups. Proc. Roy. Soc. Edinburgh Sect. A, 81(34):317–323, 1978.
[12] 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.
[13] O. Ganyushkin and V. Mazorchuk. Classical Finite Transformation Semigroups: An Introduction. Springer London, 2008.
[14] P. A. Azeef Muhammed. Cross-connections of linear transformation semigroup. (Preprint), arXiv:1701.06098, 2017.
[15] V. N. Krishnachandran. Nambooripad’s theory of cross-connections, 2005. https://sites.google.com/site/vidyaacademymca/Home/publications.
[16] P. A. Grillet. Semigroups: An Introduction to the Structure Theory. CRC Pure and Applied Mathematics. Taylor & Francis,
1995.
[17] J. M. Howie. Fundamentals of Semigroup Theory. Clarendon Press, Oxford, 1995.
[18] I. Bucur, A. Deleanu, and P.J. Hilton. Introduction to the theory of categories and functors. Pure and applied mathematics.
Wiley, 1968.
[19] S. MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag,
New York, 1971.
[20] A. R. Rajan and P. A. Azeef Muhammed. Normal categories from the transformation semigroup. Bull. Allahabad Math.
Soc., 30(1):61–74, 2015.
[21] 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.
School of Mathematics, IISER, Thiruvananthapuram, Kerala-695016, India.1
E-mail address: azeef p@gmail.com
Department of Mathematics, University of Kerala, Thiruvananthapuram, Kerala-695581, India.
E-mail address: arrunivker@yahoo.com

1Present address:
Institute of Mathematics and Computer Science,
Ural Federal University,
Lenina 51,
620000 Ekaterinburg, Russia.
E-mail address: a.a.parail@urfu.ru

