Abstract
FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by FitzGerald at the Conference and Workshop on General Algebra and Its Applications in 2013 and more recently at the workshop NCS 2018. After giving the counterexample, we show that the properties (UR), (RI*) and (UR*) depend only on the monoid of endomorphisms of the algebra, and that the counterexample we gave is in some sense the easiest possible. Finally, we list some categories in which FitzGerald’s question has an affirmative answer.
Introduction
In universal algebra, an important invariant of an algebra is its monoid of endomorphisms. There are various research problems concerning these endomorphism monoids. For example, given a variety of algebras, which monoids appear as endomorphism monoids of algebras in this variety? And what properties of an algebra can we deduce from properties of its endomorphism monoid, and vice versa?
We refer to [1] for an overview of known results in this direction. We highlight some results. Each monoid is the endomorphism monoid of some directed graph. This was shown by Hedrlín and Pultr, first for finitely generated monoids [5], and then for monoids with cardinality strictly smaller than the first inaccessible cardinal in [9], and eventually for all monoids in [15] together with Vopěnka. In fact, they show that every small category has a full embedding in the category of directed graphs. Similarly, every variety of algebras has a full embedding in the category of directed graphs, see [6]. It was shown by Hedrlín and Kučera that more generally any concrete category can be fully embedded in a variety of algebras, when working in von Neumann–Bernays–Gödel set theory (including the axiom of global choice), under the additional axiom that there are no measurable cardinals, see [4]. This motivates the following definition: a category is called (algebraically) universal if it contains a full subcategory equivalent to the category of directed graphs. Examples of algebraically universal categories are the category of rings and the category of semigroups, see [10, Chapter V].
At the other end of the spectrum, there are categories of algebras such that the algebra can be uniquely recovered from its endomorphism monoid. This is the case for e.g. boolean algebras [14], torsionfree abelian groups [11, 12] and symmetric groups [13].
In [7] and later in [8], FitzGerald shows that if the monoid of endomorphisms has commuting idempotents, then there are four conditions that are satisfied by the algebra, called (RI), (UR), (RI*) and (UR*). We will recall these properties in Sect. 2. The question by FitzGerald was then whether these properties also imply that the monoid of endomorphisms has commuting endomorphisms. In Sect. 3 we will show that this is not the case, by giving a counterexample.
For each monoid S, there is a canonical algebra with S as its monoid of endomorphisms, namely S itself as a right Sset under multiplication. Our counterexample will be of this form. In Sect. 4, we show why this is not a coincidence. More precisely, we prove that whenever the properties (RI), (UR), (RI*) and (UR*) hold for an algebra A with endomorphism monoid S, then the four properties hold as well for S as a right Sset under multiplication. So any counterexample to FitzGerald’s problem, reduces in this way to a counterexample involving S as a right Sset. Conversely, we show that if S as a right Sset satisfies properties (UR), (RI*) and (UR*), then the same holds for all other algebras with S as its monoid of endomorphisms. Finally, we illustrate with an example that if S as a right Sset satisfies properties (RI), then it is not necessarily the case that A satisfies (RI) as well.
In Sect. 5, we discuss some examples of categories in which FitzGerald’s question does have an affirmative answer.
Background and statement of the problem
Recall that, in universal algebra, a signature or language is a set \(\Sigma \) of operations, together with a map \(\phi : \Sigma \rightarrow \mathbb {N}\) that associates to each operation an arity. The elements of \(\phi ^{1}(n)\) are called the n ary operations (they are called resp. unary, binary, ternary if \(n=1,2,3\)). An algebra over a signature \(\Sigma \) is a set A, together with a function
for each operation \(\mu \in \Sigma \). If A and B are two algebras over the signature \(\Sigma \), then a homomorphism \(f : A \rightarrow B\) is a function such that
for each nary operation \(\mu \in \Sigma \). In particular, if M is a monoid, then we can consider the signature with a unary operation \(\mu ^{(m)}\) for each element \(m \in M\). In this way, each right Mset X is an algebra for this theory, with \(\mu ^{(m)}_X : X \rightarrow X\) defined by \(\mu ^{(m)}_X(x) = x \cdot m\). For two right Msets X and Y, the homomorphisms \(X \rightarrow Y\) as algebras are precisely the morphisms as right Msets.
A variety of algebras is the collection of all algebras over a fixed signature that satisfy some equational laws. For example, if M is a monoid, the variety of right Msets has signature as above, and equational laws
indexed by pairs \((m,n) \in M\times M\), as well as \(\mu ^{(1)}(x) = x\). Note that a homomorphism between algebras in a variety automatically preserves the equational laws, so only the signature matters. In the remainder of the paper, we will use the more convential notations \(x\cdot m\) or xm, rather than \(\mu ^{(m)}(x)\).
In [7] and more recently in [8], D. FitzGerald suggests the following problem.
Problem 1
Let A be an algebra and S its monoid of endomorphisms. If S has commuting idempotents then A has the properties:

(RI)
The intersection of two retracts of A is also a retract, which is to say that if \(A_1 \hookrightarrow A\) and \(A_2 \hookrightarrow A\) admit retractions, then so does the inclusion of their pullback \(A_3\):

(UR)
To each retract of A corresponds a unique idempotent with that image (equivalently, each retract \(R \hookrightarrow A\) has a unique left inverse \(A \twoheadrightarrow R\)).
and their duals:

(RI*)
The join of two coretracts of A is also a coretract, which is to say that if \(A \twoheadrightarrow A_1\) and \(A \twoheadrightarrow A_2\) admit sections, then so does their pushout \(A_3\):

(UR*)
Each coretract \(A \twoheadrightarrow R\) has a unique section (right inverse) \(R \hookrightarrow A\).
If (RI), (UR) and their duals hold, is it true that S has commuting idempotents?
In the next section, we will resolve the question by providing a counterexample. In Sects. 4 and 5, we discuss some positive results. We end this section by providing some background regarding the properties (RI) and (RI*).
For an algebra A in a category of algebras \(\mathscr {C}\), consider triples (D, m, n) for some object D in \(\mathscr {C}\) and \(m,n : D \rightarrow A\) injective homomorphisms (or equivalently, monomorphisms) in \(\mathscr {C}\). We say that two triples (D, m, n) and \((D',m',n')\) are equivalent if there is an isomorphism \(u : D' \rightarrow D\) such that \(mu = m'\) and \(nu = n'\). The equivalence class of a triple (D, m, n) is denoted by [m, n]. The equivalence classes [m, n] form an inverse semigroup \(\mathscr {I}_A\), see [3, Section 2]. The composition \([m,n]\cdot [k,l]\) is given by [mp, lq], where
is a pullback diagram. If A satisfies (RI), then the elements [m, n] where both m and n have a left inverse form a submonoid of \(\mathscr {I}_A\), called the monoid of partial automorphisms between retracts. If A satisfies (RI*), then there is dually a monoid of partial automorphisms between coretracts. This shows how the properties (RI) and (RI*) arise naturally in the study of partial automorphisms. For more on this, we refer to [3].
Counterexample to the problem
Take the monoid S defined by generators and relations as follows:
Note that S has 6 elements 1, e, f, g, ef, fe. In particular, e and f do not commute, and ef and fe are not idempotent.
Consider the category of Ssets, viewed as a variety of algebras via the construction described earlier. Let A be the canonical Sset, with underlying set S and for each \(s \in S\) the 1ary operation \(\mu ^{(s)}\) given by right multiplication by s. The monoid of algebra endomorphisms of A can then be identified with the monoid S. We shall show that the four properties (RI), (UR), (RI*) and (UR*) hold.
Consider a retract \(r : A \twoheadrightarrow R\). Then by definition, we can find an homomorphism \(j : R \hookrightarrow A\) such that \(r \circ j = 1_R\). Now \(j \circ r\) is an idempotent of S. In particular, the image of \(j \circ r\) is either S, \(eS = \{e,ef,g\}\), \(fS=\{f,fe,g\}\) or \(gS =\{g\}\). These 4 are pairwise distinct. So for each retract, there is a unique idempotent that has this retract as its image. This shows (UR). Further, we can compute that the intersections of two retracts is again a retract, the only nontrivial case being \(eS \cap fS = gS\). This shows (RI).
Now we determine the congruences \(\rho \) on A such that the quotient map \(A \rightarrow A/\rho \) is a retraction (i.e. the coretracts in the terminology of [8]). There are four possibilities:

\(a~\rho _1~ b\) if and only if \(a=b\).

\(a~\rho _e~ b\) if and only if \(a,b \in \{ 1,e \}\) or \(a,b \in \{f,ef\}\) or \(a,b \in \{ fe,g \}\)

\(a~\rho _f~ b\) if and only if \(a,b \in \{ 1,f \}\) or \(a,b \in \{e,fe\}\) or \(a,b \in \{ef,g\}\)

\(a~\rho _g~ b\) for all \(a,b \in A\).
So they each correspond to a unique idempotent. This shows (UR*). Further, we have to show that the join of two coretracts is again a coretract. The only nontrivial case is to show that \(\rho _e \vee \rho _f = \rho _g\). But note that
so \(\rho _e \vee \rho _f\) identifies all 6 elements of A. This shows (RI*). We conclude:
Proposition 1
Consider the monoid
For each \(m \in S\), we have a 1ary operation on \(A = S\) defined by multiplication on the right. Then the monoid of endomorphisms of A (considered as algebra) is S. Further, A satisfies properties (RI), (UR), (RI*), (UR*), but S does not have commuting idempotents. This provides a counterexample to Problem 1.
More general algebras
Now a natural question is whether, for an algebra A, the properties (RI), (UR), (RI*) and (UR*) can be formulated purely in terms of the endomorphism monoid S of A. We will show that this is the case for the properties (UR), (RI*), (UR*). To do this, we will need the concept of idempotent completions.
Definition 1
Let \(\mathscr {C}\) be a small category and let \(\mathscr {D} \subseteq \mathscr {C}\) be a full subcategory. Then we say that \(\mathscr {C}\) is an idempotent completion of \(\mathscr {D}\) if:

1.
for every object C of \(\mathscr {C}\) and morphism \(e : C \rightarrow C\) such that \(e\circ e = e\), there is an object \(C'\) of \(\mathscr {C}\) and morphisms
such that \(r \circ i = 1_{C'}\) (so \(C'\) is a retract of C) and \(i \circ r = e\);

2.
for every object C of \(\mathscr {C}\) there is an object D of \(\mathscr {D}\) such that C is a retract of D.
Any small category has an idempotent completion, and idempotent completions are unique up to equivalence. Further, equivalent categories have equivalent idempotent completions.
Fix a variety of algebras, and let \(\mathscr {C}\) be the category of algebras and algebra homomorphisms in this variety. Take A in \(\mathscr {C}\) and \(\mathscr {C}_A \subseteq \mathscr {C}\) be the full subcategory consisting of the objects that can be written as a retract of A. Further, let \(\mathscr {D}_A \subseteq \mathscr {C}_A\) be the full subcategory consisting of only A itself. If we interpret monoids as categories with one object, then
for S the monoid of endomorphisms of A.
Proposition 2
The category of retracts \(\mathscr {C}_A\) is an idempotent completion for \(\mathscr {D}_A \simeq S\).
Proof
The second part of Definition 1 holds trivially. For the first part, let R be an object of \(\mathscr {C}_A\). Then there are morphisms
such that \(r \circ i = 1_R\). Let \(e : R \rightarrow R\) be an endomorphism of R, with \(e \circ e\). Then e factors as
with e(R) the image of e, \(\pi (x) = e(x)\) for all \(x \in R\), and j the inclusion map. It follows from \(e \circ e = e\) that \(\pi \circ j = 1_{e(R)}\). Further, by looking at the compositions \(\pi \circ r\) and \(i \circ j\), we see that e(R) is again in \(\mathscr {C}_A\) (i.e. a retract of A). \(\square \)
Proposition 2 in particular shows that the idempotent completion (up to equivalence) depends only on the endomorphism monoid S of A.
If we interpret S as a category with one object, then there is a functor \(\mathscr {A} : S \rightarrow \mathscr {C}\) sending the unique object to A and each \(s \in S\) to the corresponding endomorphism of A. The category \(\mathscr {C}\) has all colimits, so from the universal property for categories of presheaves we know that there is an unique colimitpreserving functor F making the following diagram commute.
This functor F has a right adjoint
given by \(G(B) \simeq \mathrm {Hom}_{\mathscr {C}}(A,B)\) equipped with right Saction such that
for all \(f \in \mathrm {Hom}_{\mathscr {C}}(A,B)\), \(s \in S\), \(a \in A\).
Recall that we write \(\mathscr {C}_A\) for the full subcategory of \(\mathscr {C}\) consisting of the objects that can be written as a retract of A. Let \({\check{S}}\) be the full subcategory of \({{\,\mathrm{\mathbf {PSh}}\,}}(S)\) consisting of the objects that can be written as a retract of S (as right Sset under multiplication). By Proposition 2, both \(\mathscr {C}_A\) and \({\check{S}}\) are idempotent completions of S, so \({\check{S}} \simeq \mathscr {C}_A\). The objects of \({\check{S}}\) are the right Ssets of the form eS, for e an idempotent of S. Because the functor F extends \(\mathscr {A}\), it sends eS to the retract e(A) of A. This means that F and G are quasiinverse to each other, when restricted to \({\check{S}}\) and \(\mathscr {C}_A\).
We will now try to use the functors F and G to translate the properties (UR), (UR*), (RI), (RI*) from \(\mathbf {PSh}(S)\) to \(\mathscr {C}\) or vice versa.
Proposition 3
Let \(\mathscr {C}\) be a category of algebras. Take A in \(\mathscr {C}\) and let S be the monoid of endomorphisms of A.

If one of the properties (RI), (UR), (RI*), (UR*) holds for A, then the same property holds for S (as a right Sset).

If one of the properties (UR), (RI*), (UR*) holds for S (as a right Sset), then the same property holds for A.
Proof
We first show that (UR) holds for A if and only if it holds for S (as right Sset). The property (UR) holds for A if and only if every section \(j : R \rightarrow A\) has a unique right inverse \(h: A \rightarrow R\). Because \(G : \mathscr {C}_A \rightarrow {\check{S}}\) is an equivalence of categories, sending A to S (as a right Sset), this is equivalent to the property that in \({\check{S}}\) every section \(j : R' \rightarrow S\) has a unique right inverse, for arbitrary \(R'\). This is in turn equivalent to S (as right Sset) satisfying (UR). Analogously, we can show that A satisfies (UR*) if and only if S (as a right Sset) satisfies (UR*).
If S (as a right Sset) satisfies property (RI*), then this means that for two idempotents \(e,f \in S\) there is an idempotent \(g \in S\) with \(ge = gf = g\) such that
is a pushout diagram. Applying F gives
and this is again a pushout diagram since F preserves pushouts. So A satisfies (RI*). The proof for the dual statement, i.e. if A satisfies (RI) then S satisfies (RI), is analogous.
Finally, we show that if A satisfies (RI*), then S (as a right Sset) satisfies (RI*). So suppose that A satisfies (RI*), i.e. for two idempotents \(e,f \in S\) there is a pushout diagram of the form (3) in \(\mathscr {C}\) for some idempotent \(g \in S\). This is also a pushout in the full subcategory \(\mathscr {C}_A\). So after applying G, we get a pushout diagram of the form (2) in \({\check{S}}\). We claim that this is automatically also a pushout diagram in \({{\,\mathrm{\mathbf {PSh}}\,}}(S)\). We write down the pushout diagram in \({{\,\mathrm{\mathbf {PSh}}\,}}(S)\) as
for some element \(x \in S\) (the pushout is cyclic because pushouts of epimorphisms are again epimorphisms). It remains to show that there is an isomorphism \(xS \rightarrow gS\) sending x to g. By applying the universal property of the pushout to the diagram (2), we find a map \(\phi : xS \rightarrow gS\) such that \(\phi (x) = g\). In order to construct a map \(\psi : gS \rightarrow xS\) with \(\psi (g) = x\) it is enough to show that \(xg = x\). Because (2) is a pushout in \({\check{S}}\), it determines a pullback diagram in the opposite category \({\check{S}}^{\mathrm {op}}\):
The Yoneda embedding preserves limits, so the above is a pullback diagram in \({{\,\mathrm{\mathbf {PSh}}\,}}(S^{\mathrm {op}})\), not only in \({\check{S}}^{\mathrm {op}}\). Further, the morphisms in the diagram are precisely the inclusions, so we find that \(Se \cap Sf = Sg\). From the commutativity of (4) it follows that \(xe = x = xf\), so \(x \in Se \cap Sf = Sg\). So \(xg = x\), which means there is a morphism \(\psi : gS \rightarrow xS\) sending g to x. This is an inverse to the map \(\phi \) defined above. We conclude that the diagram (2) is a pushout in \({{\,\mathrm{\mathbf {PSh}}\,}}(S)\) for arbitrary idempotents \(e,f \in S\). In other words, S (as a right Sset) satisfies (RI*). \(\square \)
From the above proposition, we know that if an algebra A is a counterexample to Problem 1, and S is its monoid of endomorphisms, then S (as a right Sset) is another counterexample. From this point of view, the counterexample that we gave in Proposition 1 is the easiest possible counterexample.
In universal algebra, the most interesting varieties of algebras seem to be the ones that combine unary and binary operations (groups, lattices, rings...). So a further question is: can we find a counterexample to Problem 1 in a variety of algebras with more interesting unary and binary operations? One strategy would be to start with the monoid S from Proposition 1 and then find an algebra A in the variety with S as monoid of endomorphisms. This is always possible if the category of algebras is universal. Since S satisfies (RI), (UR), (RI*) and (UR*) as right Sset, the properties (UR), (RI*) and (UR*) are satisfied by A, see Proposition 3. So the difficulty is in showing that A satisfies (RI).
Lemma 1
Let \(\mathscr {C}\) be a category of algebras. Take A in \(\mathscr {C}\) and let S be the monoid of endomorphisms of A. Suppose that for every two idempotents \(e,f \in S\) there is a natural number n such that \((ef)^n = (fe)^n\). Then A satisfies (RI).
Proof
If \(e,f \in S\) are two idempotents, take a natural number n such that \((ef)^n=(fe)^n\). We will write \(h = (ef)^n = (fe)^n\). We have \(eh = he = h = fh = hf\). It follows that h is an idempotent. We claim that \(h(A) = e(A) \cap f(A)\).
For \(a \in A\), \(e(h(a)) = h(a) = f(h(a))\), so \(h(a) \in e(A) \cap f(A)\). This shows \(h(A) \subseteq e(A)\cap f(A)\). Conversely, suppose \(x \in e(A) \cap f(A)\). Then \(e(x) = x = f(x)\), and it follows that \(h(x) = x\). So \(x \in h(A)\) and this shows the other inclusion \(e(A)\cap f(A) \subseteq h(A)\). \(\square \)
This leads to a counterexample to Problem 1 in each universal category of algebras.
Proposition 4
Let \(\mathscr {C}\) be a category of algebras that is universal. Then there exists an A in \(\mathscr {C}\) that satisfies (RI), (RI*), (UR) and (UR*), and such that its monoid of endomorphism does not have commuting idempotents.
Proof
Take an algebra A in \(\mathscr {C}\) with endomorphism monoid S, with S the monoid from Proposition 1. Such an algebra exists because \(\mathscr {C}\) is universal. We know that S as a right Sset satisfies (RI), (RI*), (UR) and (UR*). It follows from Proposition 3 that A satisfies (RI*), (UR) and (UR*). Further, this monoid S satisfies the assumption of Lemma 1, so it follows that A satisfies (RI) as well. But S does not have commuting idempotents. \(\square \)
In Proposition 3, we showed that the properties (RI*), (UR) and (UR*) depend only on the endomorphism monoid of an algebra. We now show that this is not the case for the property (RI).
Example 1
We give an example of an algebra A with endomorphism monoid S such that S satisfies (RI) as right Sset, but A does not satisfy (RI).
Take \(S = \langle {e,f,g : e^2=e,~f^2=f,~g^2=g,~ eg=ge=g=gf=fg}\rangle \). The only idempotents in S are 1, e, f and g. Other than 1 and g, every element can be written in a unique way as a product of e’s and f’s, with e and f alternating each other. It follows that \(eS \cap fS = \{g\} = gS\) and as a result, S satisfies (RI) as right Sset.
Let \(A = S \cup \{h,g'\}\). Equip A with the structure of a right Sset, where the action on S is the canonical action by multiplication, and further \(he = h = hf\), \(g'e = g' = g'f\) and \(hg = g' = g'g\). Further, we equip A with additional operations:

two 0ary operations (i.e. constants) corresponding to the element \(g, g' \in A\);

a unary operation X defined as
$$\begin{aligned} X(a) = {\left\{ \begin{array}{ll} h \quad &{} \text {if } a \notin \{g,g'\} \\ g' \quad &{} \text {if } a \in \{g,g'\}. \end{array}\right. } \end{aligned}$$
We claim that A has endomorphism monoid S. We have an inclusion \(S \subseteq {{\,\mathrm{End}\,}}(A)\), defined as follows. The element \(e \in S\) acts by multiplication on the left on S and trivially on h and \(g'\), and similarly, \(f \in S\) acts by multiplication on the left on S and trivially on h and \(g'\). The element \(g \in S\) sends everything in S to g, and sends both h and \(g'\) to \(g'\). To show that these define endomorphisms of A, first note that they preserve the right Saction on A, and that they fix the two constants g and \(g'\). It remains to show that also the unary operation X is preserved. For this, note that \(a \in \{g,g'\}\) if and only if \(e(a) \in \{g,g'\}\), so \(e(X(a)) = X(a) = X(e(a))\). Similarly, \(f(X(a)) = X(a) = X(f(a))\). Moreover, \(X(g(a)) = g' = g(X(a))\). This shows \(S \subseteq {{\,\mathrm{End}\,}}(A)\).
We now show the other inclusion \({{\,\mathrm{End}\,}}(A) \subseteq S\). First note that A as an algebra is generated by the element \(1 \in A\) (the two elements 1 and h are generators for the underlying right Sset, and further \(X(1) = h\)). So an endomorphism \(\phi \) of A is completely determined by the element \(\phi (1)\). Because \(g = \phi (g) = \phi (1)g\), we know that \(\phi (1) \notin \{h,g'\}\). So \(\phi (1) \in S \subseteq A\), but then \(\phi \in S\).
Finally, we show that A does not satisfy (RI). Because S has idempotents 1, e, f and g, the four retracts of A are A itself, e(A), f(A) and \(g(A) = \{g,g'\}\). We compute that \(e(A) \cap f(A) = \{ g, h, g' \}\), which does not agree with one of the four possibilities. So \(e(A) \cap f(A)\) is not a retract, in particular A does not satisfy (RI).
We expect that other interesting properties of an algebra A, other than (RI*), (UR) and (UR*), can be described by only looking at the monoid of endomorphisms of A. If a mathematical problem only uses these kind of properties, there are two possible methods of attacking the problem:

1.
We forget about the algebra A and focus on the monoid of endomorphisms S.

2.
We choose any algebra \(A'\) with monoid of endomorphisms S and we assume (without loss of generality) that \(A = A'\) is this particular algebra.
The second one mirrors the strategy of ‘building bridges’ in the sense of Caramello [2].
Categories for which FitzGerald’s problem has an affirmative answer
We know that there is a counterexample to FitzGerald’s problem in any universal category of algebras, like the category of rings, the category of semigroups, or the category of right \(\langle {x,y}\rangle \)sets, where \(\langle {x,y}\rangle \) is the free monoid on two generators.
We now list some categories for which the answer to FitzGerald’s problem has an affirmative answer.
Example 2
(The category of sets) For any set A and element \(a \in A\), the singleton \(\{a\} \subseteq A\) is a retract. If A has two distinct elements \(a,b \in A\), then \(\{a\}\cap \{b\} = \varnothing \) is an intersection of retracts that is not a retract itself. So if A satisfies (RI) then A is empty or has a singleton. In each case, the endomorphism monoid is trivial, in particular it has commuting idempotents.
Example 3
(The category of pointed sets) Let A be a pointed set. As soon as we have distinct elements \(a,b,*\subseteq A\), where \(*\) is the distinguished point, we can define idempotents e and f with
Since e and f have the same image, \({{\,\mathrm{End}\,}}(A)\) fails to have (UR). So if (UR) is satisfied, then A has one or two elements. One can check that in these two cases, the endomorphism monoid has commutative idempotents.
Example 4
(Any abelian category) Let \(\mathscr {C}\) be an abelian category, and take A in \(\mathscr {C}\) with endomorphism monoid S. Let \(e,f \in S\) be two idempotents. There is a decomposition \(A = e(A) \oplus (1e)(A)\). Consider the idempotent \(\phi \in S\) that fixes e(A) and sends the elements of \(a \in (1e)(A)\) to ef(a). Then \({{\,\mathrm{im}\,}}(\phi ) = e(A)\), and because of property (UR) this forces \(\phi = e\), in particular \(\phi \) is zero when restricted to \((1e)(A)\). So \(ef(1e)(x) = 0\) for all \(x \in A\), which shows \(efefe = 0\). Dually, consider the idempotent \(\psi \in S\) that sends \((1e)(A)\) to 0 and that sends \(a \in e(A)\) to \(a + (1e)f(a)\). Then \(\ker (\psi ) = (1e)(A) = \ker (e)\), and because of property (UR*) this forces \(\psi = e\). In follows that \((1e)f(e(a))=0\) for all \(a \in A\), which shows \(fe  efe = 0\). Since we have both \(ef = efe\) and \(fe = efe\), we see that \(ef = fe\).
Example 5
(The category of Gsets, for G a commutative group) Let G be a commutative group. Let A be a set with a left Gaction. Let S be the monoid of endomorphisms of A. Take an idempotent \(e \in S\). For each orbit \(A_i\) of A, \(e(A_i)\) is again an orbit. Assume that e is nontrivial, and take a component \(A_i\) such that \(e(A_i)\ne A_i\). For an element \(g \in G\), define the idempotent morphism \(\phi \in S\) as
Then \({{\,\mathrm{im}\,}}(\phi ) = {{\,\mathrm{im}\,}}(e)\), so because of property (UR) we have that \(\phi = e\). It follows that \(g(e(a)) = e(a)\) for all \(a \in A_i\). Since \(g \in G\) was arbitrary, this shows that \(e(A_i)\) is an orbit consisting of a fixed point \(*\). If there are distinct fixed points \(*\) and \(*'\), then the intersection of the two retracts \(\{*\}\) and \(\{*'\}\) would not be a retract, so if A satisfies (RI) then \(*\) is the unique fixed point. We have now shown that every idempotent \(e \in S\) satisfies \(e(a) \in \{*,a\}\) for all \(a \in A\). Now take two idempotents \(e,f \in S\). Then
This shows \(ef = fe\).
References
Adams, M.E., BulmanFleming, S., Gould, M.: Endomorphism properties of algebraic structures. In: Proceedings of the Tennessee Topology Conference (Nashville, TN, 1996). World Scientific Publishing, River Edge, NJ, pp. 1–17 (1997)
Caramello, O.: The unification of mathematics via topos theory. Preprint arXiv: 1006.3930 (2010)
FitzGerald, D.G.: Representations of inverse monoids by partial automorphisms. Semigroup Forum 61, 357–362 (2000). https://doi.org/10.1007/PL00006034
Hedrlin, Z.: Extensions of structrures and full embeddings of categories. Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, pp. 319–322 (1971)
Hedrlín, Z., Pultr, A.: Relations (graphs) with given finitely generated semigroups. Monatsh. Math. 68, 213–217 (1964). https://doi.org/10.1007/BF01298508
Hedrlín, Z., Pultr, A.: On full embeddings of categories of algebras. Ill. J. Math. 10, 392–406 (1966). https://doi.org/10.1215/ijm/1256054991
Jackson, M.G.: General algebra and its applications 2013: problem session. Algebra Universalis 74, 9–16 (2015). https://doi.org/10.1007/s0001201503432
Leech, J., Pita Costa, J.: Open problems from NCS 2018. Art Discrete Appl. Math. (2019). https://doi.org/10.26493/25909770.1332.594
Pultr, A., Hedrlín, Z.: Relations (graphs) with given infinite semigroups. Monatsh. Math. 68, 421–425 (1964). https://doi.org/10.1007/BF01304185
Pultr, A., Trnková, V.: Combinatorial, algebraic and topological representations of groups, semigroups and categories. NorthHolland Mathematical Library, vol. 22, NorthHolland Publishing Co., AmsterdamNew York (1980)
Puusemp, P.: On the determination of a torsion abelian group by its semigroup of endomorphisms. Eesti NSV Tead. Akad. Toimetised Füüs.Mat. 29(3), 241–245 (1980) (in Russian)
Puusemp, P.: On the determination of a torsion abelian group by its semigroup of endomorphisms in the class of all periodic abelian groups. Eesti NSV Tead. Akad. Toimetised Füüs.Mat. 29(3), 246–253 (1980) (in Russian)
Puusemp, P.: Semigroups of endomorphisms of symmetric groups. Tartu Riikl. Ül. Toimetised 700, 42–49 (1985)
Schein, B.M.: Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups. Fund. Math. 68, 31–50 (1970). https://doi.org/10.4064/fm6813150
Vopěnka, P., Pultr, A., Hedrlín, Z.: A rigid relation exists on any set. Comment. Math. Univ. Carolinae 6, 149–155 (1965)
Acknowledgements
We would like to thank Des FitzGerald for explaining to us the background behind the problem, and for formulating the problem in the first place.
Funding
Open Access funding provided by Università degli Studi dell’Insubria.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Victoria Gould.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jens Hemelaer is a postdoctoral fellow of the Research Foundation—Flanders (file number 1276521N). Morgan Rogers was supported in this work by INdAM and the Marie SkłodowskaCurie Actions as a part of the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie SkłodowskaCurie Actions
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hemelaer, J., Rogers, M. Solution to a problem of FitzGerald. Semigroup Forum 103, 153–164 (2021). https://doi.org/10.1007/s00233021101705
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233021101705
Keywords
 Universal algebra
 Retract
 Coretract
 Endomorphism monoid
 Commuting idempotents
 Idempotent completion