## DIAMETERS OF ENDOMORPHISM MONOIDS OF CHAINS

JAMES EAST, VICTORIA GOULD, CRAIG MILLER, THOMAS QUINN-GREGSON

Abstract. The left and right diameters of a monoid are topological invariants defined in terms of suprema of lengths of derivation sequences with respect to finite generating sets for the universal left or right congruences. We compute these parameters for the endomorphism monoid End( C ) of a chain C . Specifically, if C is infinite then the left diameter of End( C ) is 2, while the right diameter is either 2 or 3, with the latter equal to 2 precisely when C is a quotient of C \{ z } for some endpoint z . If C is finite then so is End( C , ) in which case the left and right diameters are 1 (if C is non-trivial) or 0.

Keywords : Diameter, endomorphism monoid, chain, right congruence, generating set, derivation sequence.

Mathematics Subject Classification 2020 : 20M20, 06A05, 20M10.

## 1. Introduction

For a monoid S whose universal right congruence is generated by a finite set U, the right diameter of S with respect to U is the supremum of the minimum lengths of derivations for pairs ( a, b ) ∈ S × S as a consequence of those in U. The right diameter of S is then the minimum of the set of all right diameters with respect to finite generating sets. Thus, a monoid has finite right diameter if and only if its universal right congruence is finitely generated and there is a bound on the length of sequences required to relate any two elements as a consequence of the generators. More precise definitions regarding right diameter will be given in Section 2. The notion of left diameter is dual.

Monoids with finite (left) diameter were introduced by White, under the name 'left pseudo-finite', in the context of Banach algebras [21]. This work was motivated by a conjecture of Dales and Zelazko, ˙ stating that a unital Banach algebra in which every maximal left ideal is finitely generated is necessarily finite dimensional.

Monoids with finite left diameter were first studied systematically in [3] (again under the name 'left pseudo-finite'), within the broader context of monoids having a finitely generated universal left congruence. The latter condition was shown to be equivalent to a number of previously-studied properties, including the homological finiteness property of being type leftFP 1 and connectivity of certain Cayley graphs [3, Theorem 3.10][15].

The article [10] investigated the existence and nature of minimal ideals in monoids with finite diameter. It was observed that the notion of having right/left diameter 1 can be reformulated in terms of the so-called diagonal acts. For a monoid S, the diagonal right S -act is the set S × S under the right action given by ( a, b ) c = ( ac, bc ) . A monoid has right diameter 1 if and only if its diagonal right act is finitely generated. The latter property had already been studied by Gallagher and Ruˇ skuc [7, 8, 9]. Some of their most

This work was supported by the grants: FT190100632 of the ARC and EP/V002953/1 of the EPSRC.

interesting results concern certain natural infinite monoids of transformations and relations. In particular, for any infinite set X, the diagonal left and right acts are monogenic (i.e. generated by a single pair) for the monoids of all binary relations on X, of all partial transformations on X, and of all (full) transformations on X [8].

The above work regarding transformation monoids was part of the motivation for the article [5], which determines the left and right diameters of a large class of natural monoids of transformations and partitions. For instance, it is shown that the monoid of all injective mappings on X has right diameter 4, but its universal left congruence is not even finitely generated, and the monoid of all surjective mappings on X has left diameter 4, while its universal right congruence is not finitely generated. It is intriguing that all the diameters computed in [5] are no greater than 4.

Some of the most natural and well-studied monoids arise as endomorphism monoids of mathematical structures, be they relational or algebraic. Conversely, one way to classify complicated structures is via properties of their endomorphism monoids. Chains, also known as linearly/totally ordered sets, are important and well-known relational structures; see [4] for instance. Of course, a chain C may also be regarded as an algebraic structure, specifically a semigroup with the operation that takes the minimum (or, alternatively, the maximum) of two elements, and the order-preserving transformations of C are precisely the semigroup endomorphisms of C. We denote the endomorphism monoid of a chain C by End( C ) . 1 Such monoids have received significant attention, particularly in the case of finite chains. For instance, for a finite chain C, a presentation for End( C ) is provided in [1], combinatorial properties of End( C ) are investigated in [16], the endomorphisms of End( C ) are characterised in [6], and the representation theory of End( C ) is considered in [20]. Endomorphism monoids of infinite chains can possess a rather complex structure, even in the case of the chain Q of rational numbers (under the natural ordering) [17]. A particularly fruitful line of investigation into the behaviour of such monoids concerns the notion of regularity. A map α ∈ End( C ) is regular if there exists β ∈ End( C ) such that α = αβα, and End( C ) is regular if all its elements are. For a survey of regularity in End( C , ) see the article [18], which characterises the regular mappings of End( C . ) Notably, the monoid End( C ) is regular if C is isomorphic to a subchain of Z [12, 14], and hence if C is finite. On the other hand, the monoids End( Q ) and End( R ) are not regular [19]. We note that certain regular mappings will play a key role in the present paper.

In the context of diameter, Gallagher has shown that for any infinite chain C, the diagonal left and right acts of End( C ) are not finitely generated [9, Theorems 4.5.4 and 4.5.5], and hence End( C ) has neither left nor right diameter 1. Our main results provide complete classifications of the left and right diameters of endomorphism monoids of (infinite) chains:

Theorem A. For any infinite chain C, the left diameter of End( C ) is 2.

Theorem B. For any infinite chain C, the right diameter of End( C ) is either 2 or 3. Furthermore, End( C ) has right diameter 2 if and only if C has an endpoint z such that C is a quotient of C \{ } z .

1 In the literature, End( C ) is sometimes denoted by O C or OT C .

The paper is structured as follows. In Section 2 we formally define the notion of diameter for monoids, and state some results we need from the literature. In Section 3 we establish the necessary preliminary material on chains and their endomorphisms. Section 4 is concerned with the crucial condition of Theorem B (which determines the right diameter of the endomorphism monoid). Finally, in Section 5 we prove Theorems A and B. We note that we will be working in standard ZFC set theory; see [11] for instance.

## 2. Diameters of Monoids

Throughout this section, S denotes a monoid. We denote the set of positive integers by N , and let N 0 = N ∪{ } 0 .

An equivalence relation ρ on S is a right congruence if ( a, b ) ∈ ρ implies ( as, bs ) ∈ ρ for all s ∈ S . For U ⊆ S × S, the right congruence generated by U is the smallest right congruence on S containing U ; we denote this right congruence by 〈 U . 〉

Lemma 2.1. [13, Lemma I. 4. 37] Let S be a monoid, and let U be a subset of S × S . For any a, b ∈ S we have ( a, b ) ∈ 〈 U 〉 if and only if there exists a sequence

$$a = u _ { 1 } s _ { 1 }, \ v _ { 1 } s _ { 1 } = u _ { 2 } s _ { 2 }, \ \dots, \ v _ { n } s _ { n } = b$$

for some n ∈ N 0 , where ( u , v i i ) ∈ U or ( v , u i i ) ∈ U, and s i ∈ S, for each i ∈ { 1 , . . . , n } .

A sequence of the form given in Lemma 2.1 is referred to as a U -sequence from a to b of length n . In the case that n = 0 , we interpret the U -sequence as a = b.

The universal relation ω S = S × S is certainly a right congruence on S. When viewing this relation as a right congruence, we shall denote it by ω r S . Consider a generating set U of ω r S . For any a, b ∈ S, let d r U ( a, b ) denote the least n ∈ N 0 such that there is a U -sequence from a to b of length n. It is easy to see that d r U : S × S → N 0 is a metric on S.

Definition 2.2. Let S be a monoid such that ω r S is finitely generated. For each finite generating set U of ω r S , we call the diameter of the metric space ( S, d r U ) the right U -diameter of S and denote it by D S U r ( ; ); that is,

$$D _ { r } ( S ; U ) = \sup \{ d _ { U } ^ { r } ( a, b ) \, \colon a, b \in S \}.$$

We define the right diameter of S to be

$$D _ { r } ( S ) = \min \{ D _ { r } ( S ; U ) \, \colon \omega _ { S } ^ { r } = \langle U \rangle \text{ where } U \text{ is finite} \}.$$

Note that if U and U ′ are two finite generating sets for ω , r S then D S U r ( ; ) is finite if and only if D S U r ( ; ′ ) is finite [3, Lemma 2.5].

For convenience, we shall often abuse terminology by saying that ω r S is generated by a subset V of S to mean that ω r S is generated by V × V , and also write D S V r ( ; ) in place of D S V r ( ; × V ) . We note that D S r ( ) is the minimum of all D S V r ( ; ) over finite V ⊆ S with ω r S = 〈 V × V 〉 .

As mentioned in Section 1, there is an important connection between the notion of diameter and that of diagonal acts. Recall that the diagonal right S -act is the set S × S with right action given by ( a, b ) c = ( ac, bc ) . It is generated by a set U ⊆ S × S if S × S = US := { us : u ∈ U, s ∈ S , } and is finitely generated if it is generated by a finite set.

Proposition 2.3. [10, Proposition 3.6] A non-trivial monoid S has right diameter 1 if and only if the diagonal right S -act is finitely generated.

Remark 2.4. A monoid has right (or left) diameter 0 if and only if it is trivial. Every finite, non-trivial monoid has right (and left) diameter 1.

## 3. Preliminaries on Chains and their Endomorphisms

3.1. Chains. A chain is a set equipped with a total order , i.e. a partial order under which any two elements are comparable. 2

Let C = ( C, ≤ ) be a chain. Where no confusion arises, we identify C with C. A subchain of C is a subset D ⊆ C totally ordered under the restriction of ≤ to D. A subchain of C is called proper if its underlying set is not equal to C. An interval of C is a subchain D of C such that if a ≤ x ≤ b with a, b ∈ D then x ∈ D . In Definition 3.1 all the subsets defined are intervals.

Definition 3.1. Let C be a chain, and let a, b ∈ C with a ≤ b . We write

$$\begin{array} { r c l c r c l } ( a, b ) & = & \{ x \in C \colon a < x < b \}, \quad & [ a, b ) & = & \{ x \in C \colon a \leq x < b \}, \\ ( a, b ] & = & \{ x \in C \colon a < x \leq b \}, \quad & [ a, b ] & = & \{ x \in C \colon a \leq x \leq b \}, \\ a ^ { \uparrow } & = & \{ x \in C \colon a \leq x \}, \quad & a ^ { \downarrow } & = & \{ x \in C \colon x \leq a \}. \end{array}$$

By C ∗ we denote the chain obtained from C by reversing the order; that is, C ∗ = ( C, ≥ ) . We let N = ( N , ≤ ), Z = ( Z , ≤ ), Q = ( Q , ≤ ) and R = ( R , ≤ ) , where in each case ≤ is the natural order. For n ∈ N , we denote the interval [1 , n ] of N by n .

Given a chain a 1 &lt; a 2 &lt; · · · of elements of C, we will occasionally abuse notation by writing the set { a , a 1 2 , . . . } as { a 1 &lt; a 2 &lt; · · · } .

For subsets A and B of C, we write A &lt; B if a &lt; b for each a ∈ A and b ∈ B ; if A = { a } we simply write this as a &lt; B. Similarly, we write A &lt; b, A ≤ B, etc. Note that we assume A &lt; ∅ and A &gt; ∅ are (vacuously) true, and interpret A &lt; ∅ &lt; B as A &lt; B. We say that B covers A if A &lt; B and there is no x ∈ C with A &lt; x &lt; B .

An element b ∈ C is a lower bound of a subset A ⊆ C if b ≤ A . There is at most one lower bound of A belonging to A ; if such an element exists, it is called the minimum of A and is denoted by min( A . ) Upper bounds and maximums of subsets of C are defined dually, and the maximum of A ⊆ C, if it exists, is denoted by max( A . ) An element that is either a minimum or a maximum of C is called an endpoint .

Given a chain D disjoint from C, we let C + D denote the chain ( C ∪ D, ≤ ) with order extending those of C and D and with C &lt; D . Hence D covers C in C + D. We note that we will often abuse notation by writing C + D for non-disjoint C and D, by which we mean C + D ′ where D ′ is a copy of D disjoint from C.

We call a subchain A of C an initial segment if C = A + D for some chain D. We dually define terminal segments . A cut of C is a pair ( A, B ) such that C = A + B . A cut ( A, B ) is said to be proper if both A and B are proper. A proper cut ( A, B ) of C is a gap if A has no

2 In the literature, there are a number of other names used for chains, including totally ordered sets, tosets, linearly ordered sets and losets.

maximum and B has no minimum. We note that if ( A, B ) is a gap of C, then A contains a copy of N , and B contains a copy of N ∗ , and hence C contains a copy of N + N ∗ . If C contains no gaps then it is called (Dedekind) complete .

Clearly there is a one-to-one correspondence between the cuts of C and the initial (or terminal) segments of C. The set D ( C ) of all cuts of C comes equipped with a total order ≤ DM given by

$$( A, B ) \leq _ { D M } ( A ^ { \prime }, B ^ { \prime } ) \, \Leftrightarrow \, A \subseteq A ^ { \prime } \, ( \Leftrightarrow B ^ { \prime } \subseteq B ).$$

The chain ( D ( C , ) ≤ DM ) is complete and is known as the Dedekind-MacNeille completion of C (with minimum ( ∅ , C ) and maximum ( C, ∅ )) [4, Chapter 7].

3.2. Homomorphisms and one-sided units. Let C and D be chains. A homomorphism from C to D is a map θ : C → D that is order preserving , i.e. xθ ≤ yθ whenever x ≤ y. An embedding is an injective homomorphism, and an isomorphism is a bijective homomorphism. We call D a quotient of C if there is a surjective homomorphism from C onto D. We note that every quotient of C gives rise to a partition of C into intervals, and vice versa.

Given a homomorphism θ : C → D and a subchain E ⊆ D, we denote by Eθ -1 the subchain { x ∈ C : xθ ∈ E } of C. For y ∈ D, we abbreviate { y } θ -1 to yθ -1 .

An endomorphism of C is a homomorphism from C to C. The set End( C ) of all endomorphisms of C is a monoid under composition, whose identity 1 C is the identity map on C. Injective elements of End( C ) are called self-embeddings of C.

A map α ∈ End( C ) is regular if there exists some β ∈ End( C ) such that α = αβα. The following result, due to Mora and Kemprasit, describes all regular endomorphisms of chains.

Theorem 3.2. [18, Theorem 2.4] Let C be a chain and α ∈ End( C . ) Then α is regular if and only if the following conditions hold.

- (i) If im α has a lower bound in C, then min(im α ) exists.
- (ii) If im α has an upper bound in C, then max(im α ) exists.
- (iii) If x ∈ C \ im α is neither an upper bound nor a lower bound of im α, then at least one of max { t ∈ im α : t &lt; x } and min { t ∈ im α : t &gt; x } exists.

Given x ∈ C, the constant map on x is the map c x : C → C given by yc x = x for all y ∈ C. It is clear that each c x is a regular, indeed an idempotent, endomorphism of C.

A map α ∈ End( C ) is a right unit if there exists β ∈ End( C ) such that αβ = 1 C ; the element β is called a right inverse of α, and α is said to be right invertible . Left units and left inverses are defined dually. Clearly α is a right (resp. left) unit of End( C ) if and only if it is a left (resp. right) inverse of some β ∈ End( C . ) It is also clear that right/left units are regular. The following lemma describes the left units of End( C . )

Lemma 3.3. Left units of End( C ) are precisely the surjective endomorphisms of C.

Proof. Clearly left units of End( C ) are surjective. For the converse, let β be a surjective endomorphism of C. For each x ∈ C choose y x ∈ xβ -1 , and define α : C → C by xα = y x .

It is clear that α ∈ End( C , ) and for any x ∈ C we have xαβ = y β x = x, so that αβ = 1 C . Thus β is a left unit of End( C . ) /square

Right units of End( C ) have a more complicated description. They are certainly selfembeddings, but the converse need not hold. Using the above description of regular endomorphisms of C, we quickly determine which self-embeddings are right invertible.

Corollary 3.4. Let C be a chain and α ∈ End( C . ) Then the following statements are equivalent.

- (1) α is a right unit of End( C . )
- (2) α is both injective and regular.
- (3) α is injective and the following conditions hold.
- (a) If C has no minimum, then im α has no lower bound in C.
- (b) If C has no maximum, then im α has no upper bound in C.
- (c) If x ∈ C \ im α is neither an upper bound nor a lower bound of im α, then at least one of max { t ∈ im α : t &lt; x } and min { t ∈ im α : t &gt; x } exists.

Proof. (1) ⇔ (2). We have already observed that right units of End( C ) are injective and regular. For the converse, suppose α ∈ End( C ) is injective and regular. Then α = αβα for some β ∈ S. For any x ∈ C, we have xα = ( xαβ α, ) and hence x = xαβ by injectivity of α. Thus αβ = 1 C , as required.

(2) ⇔ (3). Let α be injective. We need to show that α is regular if and only if the conditions (a)-(c) hold. By Theorem 3.2, regularity of α is equivalent to the conditions (i)-(iii) of that theorem holding. Since α ∈ S is injective, it is clear that min(im α ) exists if and only if C has a minimum, and hence (i) is equivalent to (a). Similarly, (ii) is equivalent to (b). Finally, (iii) is identical to (c). /square

Remark 3.5. If α is a self-embedding of a chain C that fails condition (3)(c) of Corollary 3.4 with witness x ∈ C \ im α, then ( x α ↓ -1 , x ↑ α -1 ) is a gap of C.

The following technical lemma will be crucial in our arguments to determine the exact value of the right diameter of End( C . )

Lemma 3.6. Let C be a chain, let x be a fixed element of C, let α be a right unit of End( C , ) and let Q = { β ∈ End( C ) : αβ = 1 C } be the set of right inverses of α. Then, for any β ∈ Q we have

$$x \beta \alpha & = \begin{cases} \max ( \lim \alpha \cap x ^ { \downarrow } ) & \text{if $x\beta\alpha\leq x$} \\ \min ( \lim \alpha \cap x ^ { \uparrow } ) & \text{if $x\beta\alpha\geq x$}. \end{cases} \\. \tau \quad \omega \quad \omega \quad. \quad. \quad. \quad. \quad.$$

Consequently, the set { xβ : β ∈ Q } has at most two elements.

Proof. Let Y 1 = im α ∩ x ↓ and Y 2 = im α ∩ x ↑ . Then im α = Y 1 ∪ Y 2 with Y 1 ≤ Y 2 . Consider β ∈ Q. For any y ∈ Y 1 , we have y ≤ x and y = uα for some u ∈ C, so that

$$y = u \alpha = u \alpha \beta \alpha = y \beta \alpha \leq x \beta \alpha.$$

Thus Y 1 ≤ xβα. Hence, if xβα ≤ x (so that xβα ∈ Y 1 ) then xβα = max( Y 1 ) . Similarly, if xβα ≥ x then xβα = min( Y 2 ) .

Now, since the sets Y 1 and Y 2 do not depend on any β ∈ Q, and α is injective, it follows that |{ xβ : β ∈ Q }| ≤ 2 . /square

## 4. Endpoint-shiftability

In this section we study the condition appearing in Theorem B. We begin by providing equivalent formulations of this condition.

Proposition 4.1. For a chain C with an endpoint z, the following are equivalent:

- (1) C is a quotient of C \{ } z ;
- (2) there exists a left unit (surjective map) β ∈ End( C ) such that zβ -1 = { } z ;

/negationslash

- (3) there exists a right unit α ∈ End( C ) such that zα = z .

/negationslash

Proof. (1) ⇒ (2). By assumption, there exists a surjective homomorphism θ : C \{ } → z C. Extend θ to a map β : C → C by setting zβ = z. Then β is a surjective endomorphism of C, and hence a left unit of End( C ) by Lemma 3.3, and zβ -1 = { } z .

/negationslash

/negationslash

(2) ⇒ (3). As in the proof of Lemma 3.3, we define a right unit α ∈ End( C ) by xα = y x ∈ xβ -1 ( x ∈ C ), but choose y z = z.

/negationslash

(3) ⇒ (1). Let β be any right inverse of α. Then β is a surjective endomorphism of C. Since ( zα β ) = z and zα = z, it follows that β restricts to a surjective homomorphism C \{ } → z C, and hence C is a quotient of C \{ } z . /square

Definition 4.2. We say that a chain C is endpoint-shiftable if it has an endpoint z ∈ C and satisfies any (and hence all) of the three equivalent conditions of Proposition 4.1. If, in fact, C is endpoint-shiftable with respect to a minimum (resp. maximum), then we call it min-shiftable (resp. max-shiftable ).

The next few results concern min-shiftability; of course, there are obvious duals for max-shiftability. First, we provide several equivalent characterisations for a chain to be min-shiftable.

Proposition 4.3. For a chain C with a minimum, the following are equivalent:

- (1) C is min-shiftable;
- (2) C ∗ is max-shiftable;
- (3) C is a quotient of one of its proper terminal segments;
- (4) for every chain D, the chain C + D is min-shiftable;
- (5) for each n ∈ N , the chain n + C is a quotient of C ;
- (6) for some n ∈ N , the chain n + C is a quotient of C ;
- (7) for each n ∈ N , the chain n + C is min-shiftable;
- (8) for some n ∈ N , the chain n + C is min-shiftable.

Proof. Clearly (1) ⇔ (2) , (5) ⇒ (6) and (7) ⇒ (8) . Let z = min( C . )

(1) ⇔ (3) . The forward implication follows immediately from the definition of being minshiftable together with Proposition 4.1(1). For the converse, suppose that C is a quotient of a proper terminal segment T of C. Let ϕ : T → C be a surjective homomorphism, and extend ϕ to a surjective homomorphism θ : C → C by letting ( C T θ \ ) = { } z . Then zθ -1 = { } z as T = C. Thus C is min-shiftable.

/negationslash

/negationslash

- (1) ⇔ (4) . Suppose that C is min-shiftable. Then there exists a surjective homomorphism ϕ : C \{ } → z C. For any chain D, clearly z = min( C + D , ) and ϕ can be extended to a surjective homomorphism θ : ( C + D ) \{ } → z C + D by letting xθ = x for all x ∈ D, so that C + D is min-shiftable. For the converse, put D = ∅ .

/negationslash

- (1) ⇒ (5) . Since C is min-shiftable, there exists a surjective map β ∈ End( C ) such that zβ -1 = { } z . It is straightforward to show that γ := β n : C → C is a surjective homomorphism with | zγ -1 | ≥ n + 1 . Choose a surjective homomorphism ϕ : zγ -1 → n + { } z , and define a map

↦

$$\theta \, \colon C \rightarrow \mathbf n + C, \ x \mapsto \begin{cases} x \varphi & \text{if $x\in z\gamma^{-1}$} \\ x \gamma & \text{otherwise.} \end{cases}$$

Clearly θ is a surjective homomorphism, as required.

- (5) ⇒ (7) and (6) ⇒ (8) follow from the already-established implication (1) ⇒ (3).
- (8) ⇒ (3) . There exists a surjective homomorphism β : n \{ } 1 + C → n + C. It follows from the surjectivity of β that iβ &lt; i for each i ∈ { 2 , . . . , n } , and hence nβ -1 ⊆ C, which implies that zβ ∈ n . It now follows that Cβ -1 is a proper terminal segment of C, and that C is a quotient of Cβ -1 . /square

The next result provides another means of constructing min-shiftable chains. First, recall that the Cartesian product C × D of two chains C and D is a chain under the lexicographical order , given by ( x, y ) ≤ ( x , y ′ ′ ) if and only x &lt; x ′ or ( x = x ′ and y ≤ y ′ ). Note that ( z, w ) = min( C × D ) if and only if z = min( C ) and w = min( D . )

Proposition 4.4. Let C and D be chains with minima. If C is isomorphic to one of its proper terminal segments, or if D is min-shiftable, then C × D is min-shiftable.

↦

Proof. Let z = min( C . ) Since C × D ∼ = D + ( C \{ } × z D , ) if D is min-shiftable then, by Proposition 4.3, so is C × D. Suppose now that C is isomorphic to a proper terminal segment T of C, and let ϕ : C → T be an isomorphism. Then C × D is isomorphic to its proper terminal segment T × D via ( x, y ) → ( xϕ, y ) . Thus, by Proposition 4.3, the chain C × D is min-shiftable. /square

We now present a number of natural examples of min-shiftable chains. Together with Propositions 4.3 and 4.4, these examples generate a large class of endpoint-shiftable chains. First, recall that a chain C is scattered if Q does not embed into C ; otherwise, C is nonscattered .

## Proposition 4.5.

- (1) Every infinite well-ordered chain is min-shiftable.
- (2) If C is a countable, non-scattered chain with a minimum, then C is min-shiftable.
- (3) If D is a subchain of 1 + Z + 1 with both a minimum and a maximum, then D + R is min-shiftable.

In particular, the following chains are min-shiftable:

$$N, \ \ 1 + Q, \ \ 1 + N ^ { * } + Q, \ \ 1 + Z + Q, \ \ 1 + R, \ \ 1 + N ^ { * } + R, \ \ 1 + Z + 1 + R.$$

Proof. (1) An infinite well-ordered chain is isomorphic to N + D for some well-ordered chain D ; this is folklore, but follows from [11, Theorem 2.8]. Moreover, N + D is isomorphic to N \{ } 1 + D via the map given by n → n +1 ( n ∈ N ) and x → x ( x ∈ D ).

↦

↦

- (2) By [2, Proposition 17], we may write C as C = C 0 + C ′ + C 1 where C 0 and C 1 are scattered and Q is a quotient of C ′ . Note that C 0 is non-empty, with min( C ) = min( C 0 ) , while C 1 is possibly empty. By [2, Proposition 16(1)], every countable chain is a quotient of Q ; in particular, C 0 + C ′ is a quotient of Q . It follows that C 0 + C ′ is a quotient of its proper terminal segment C ′ , and is hence min-shiftable by Proposition 4.3. Thus, by Proposition 4.3 again, C = ( C 0 + C ′ ) + C 1 is min-shiftable.
- (3) By definition, D = 1 + D ′ for some terminal segment D ′ . It is easy to see that D is a quotient of R . It follows that D is also a quotient of D ′ + R + 1 , since we can map D ′ , if non-empty, to min( D , ) and 1 to max( D . ) It can also easily be shown that R ∼ = R + 1 + R . Consequently, D + R is a quotient of D ′ + R ∼ = ( D ′ + R + 1 ) + R . /square

One can easily find natural examples of chains that are not endpoint-shiftable. Certainly chains without endpoints are not endpoint-shiftable. Further examples include chains with endpoints that do not embed into any of their proper initial or terminal segments. Such chains certainly include all finite chains, and also the chains 1 + Z Z , + 1 and 1 + Z + 1 .

Our next example is a chain with a minimum (but no maximum) that is not min-shiftable but has self-embeddings that move the minimum.

Example 4.6. Let C = 1 + Z + R , and let z = min( C . ) Certainly C has self-embeddings that move z, since C may be embedded into R . Suppose for a contradiction that C is min-shiftable, and let α ∈ End( C ) be a right unit with zα &gt; z. If there were some x ∈ Z with xα ∈ Z , then [ z, x α ] = [ zα, xα ] would be a finite interval of Z , but [ z, x ] is infinite, so this would contradict that α is injective. Thus Z α ∩ Z = ∅ , and hence Z α ⊆ R . Let

$$A = \{ x \in \mathbf R \, \colon x \leq y \text{ for some } y \in \mathbf Z \alpha \} \quad \text{and} \quad B = \{ x \in \mathbf R \, \colon x > \mathbf Z \alpha \}.$$

Clearly R = A + B, with Z α ⊆ A and R α ⊆ B, and A has no maximum as Z has no maximum. Since R is complete, the proper cut ( A, B ) is not a gap, and hence B has a minimum, say x. We cannot have x ∈ R α, since R has no minimum, so x / ∈ im α. But then { t ∈ im α : t &lt; x } = ( 1 + Z ) α has no maximum, and { t ∈ im α : t &gt; x } = R α has no minimum, contradicting Corollary 3.4.

## Remark 4.7.

- (1) By Proposition 4.5, the chain 1 + Z + Q is min-shiftable. The key reason that the trick used in Example 4.6 does not work for 1 + Z + Q is that Q is not complete.
- (2) Clearly 1 + Z + R is a non-scattered chain with a minimum. Thus, Example 4.6 demonstrates the necessity of the chain C of Proposition 4.5(2) being countable.
- (3) By a similar argument as that of Example 4.6, the chain 1 + Z + R + Z + 1 is not endpoint-shiftable but has self-embeddings that move both endpoints.

## 5. Proofs of the Main Results

In this section we prove the main results of the paper. For what follows, recall that the constants maps c x of the chain C belong to End( C , ) and note that for each θ ∈ End( C ) we have θc x = c x and c x θ = c xθ . We now quickly prove Theorem A.

Proof of Theorem A. Let S = End( C . ) By [9, Theorem 4.5.4], the diagonal left S -act is not finitely generated. Thus, by the dual of Proposition 2.3, the left diameter of S is not 1. Now pick any x ∈ C, and let U = { 1 C , c x } . For any θ, ϕ ∈ S, we have a U -sequence

$$\theta = \theta 1 _ { C }, \ \theta c _ { x } = \varphi c _ { x }, \ \varphi 1 _ { C } = \varphi$$

of length 2, so that D S U l ( ; ) ≤ 2 . Thus D S l ( ) = 2

$$& \theta = \theta 1 _ { C }, \ \theta c _ { x } = \varphi c _ { x }, \ \varphi 1 _ { C } = \varphi \\ / \, ) & \leq 2. \ \text{ Thus } D _ { l } ( S ) = 2. & & \square$$

The proof of Theorem B is considerably more complicated. We begin by showing that the right diameter of End( C ) is either 2 or 3.

Proposition 5.1. If C is an infinite chain, then D r (End( C )) is either 2 or 3.

Proof. Let S = End( C . ) By [9, Theorem 4.5.5] and Proposition 2.3, the monoid S does not have right diameter 1. In fact, this can also be deduced quickly from Lemma 3.6, as follows. We give the proof since it is short and introduces methods that will be used later.

Suppose for a contradiction that D S U r ( ; ) = 1 for some finite set U ⊆ S. Fix any x ∈ C. For each α, β ∈ U where α is a right unit, let J α,β = { ( xβ γ ) : γ ∈ S, αγ = 1 C } , and let J be the union of all the J α,β . The set J is finite since U is finite and, by Lemma 3.6, each J α,β is finite. Now pick any y ∈ C J. \ Then, by assumption, there exist α, β ∈ U and γ ∈ S such that 1 C = αγ and c y = βγ. But then y = ( xβ γ ) ∈ J, a contradiction. Thus S has does not have right diameter 1.

We now prove that D S r ( ) ≤ 3 . Fix any x, y ∈ C with x &lt; y, and let U = { 1 C , c x , c y } . We claim that ω r S = 〈 U 〉 with D S U r ( ; ) ≤ 3 . Consider θ, ϕ ∈ S. We may assume without loss of generality that xθ ≤ xϕ. Define a map

↦

$$\gamma \colon C \to C, \ w \mapsto \begin{cases} x \theta & \text{if $w\leq x$} \\ x \varphi & \text{if $w>x$}. \end{cases}$$

It is easy to see that γ ∈ S. Moreover, we have a U -sequence

$$\theta = 1 _ { C } \theta, \ c _ { x } \theta = c _ { x } \gamma, \ c _ { y } \gamma = c _ { x } \varphi, \ 1 _ { C } \varphi = \varphi$$

of length 3, as required.

$$\theta = 1 _ { C } \theta, \ c _ { x } \theta = c _ { x } \gamma, \ c _ { y } \gamma = c _ { x } \varphi, \ 1 _ { C } \varphi = \varphi \\ \i r e d.$$

Next, we prove that the endomorphism monoid of an endpoint-shiftable chain has right diameter 2.

Proposition 5.2. If C is an endpoint-shiftable chain, then D r (End( C )) = 2 .

Proof. By symmetry we may assume that C is min-shiftable. Let S = End( C . ) By Proposition 5.1 we have D S r ( ) ≥ 2 . Now let z be the minimum of C, and let α ∈ S be a right unit such that zα &gt; z. Letting U = { α, c z } , we claim that ω r S = 〈 U 〉 and D S U r ( ; ) = 2 . So,

consider θ ∈ S. Since α is a right unit of S, there exists β ∈ S such that αβ = 1 C . Define a map

↦

$$\gamma \colon C \to C, x \mapsto \begin{cases} x \beta \theta & \text{if $x\geq z\alpha$}, \\ z & \text{otherwise}. \end{cases}$$

It is straightforward to show that γ ∈ S. For each x ∈ C we have xαγ = xαβθ = xθ, so

$$\theta = \alpha \gamma, \ c _ { z } \gamma = c _ { z }$$

is a U -sequence of length 1 from θ to c z . Since θ is arbitrary, it follows that D S U r ( ; ) ≤ 2 . Thus D S r ( ) = 2 . /square

Remark 5.3. It is perhaps interesting that in each of the proofs of Theorem A and Propositions 5.1 and 5.2, to obtain the upper bound on the diameter, only one 'skeleton' is required to connect any pair θ, ϕ ∈ S = End( C , ) where the skeleton of a U -sequence ( U ⊆ S ) refers to the sequence of elements of U appearing in the U -sequence. For instance, the skeleton in the proof of Proposition 5.1 is (1 C , c x , c x , c y , c x , 1 C ).

We now turn to prove the converse of Proposition 5.2. Our first step is to show that in order for the endomorphism monoid of a chain to have right diameter 2, it is necessary that the chain have an endpoint.

Proposition 5.4. If C is a chain with no endpoints, then D r (End( C )) = 3 .

Proof. Let S = End( C , ) and let R denote the set of right units of S. Aiming for a contradiction, suppose that D S U r ( ; ) = 2 for some finite set U ⊆ S.

For each δ, ε ∈ U (not necessarily distinct) define

$$B ( \delta, \varepsilon ) = \{ x \in C \, \colon x \delta \leq x \varepsilon \}.$$

Since C = B δ, ε ( ) ∪ B ε, δ ( ) , at least one of B δ, ε ( ) or B ε, δ ( ) is unbounded above. Let

$$V = \{ ( \delta, \varepsilon ) \in U \times U \, \colon B ( \delta, \varepsilon ) \text{ is unbounded above} \}.$$

For each ( δ, ε ) ∈ V fix some x δ, ε ( ) ∈ B δ, ε , ( ) and let m = max { x δ, ε ( ) : ( δ, ε ) ∈ V } . Then C = m ↓ + D, where D = { c ∈ C : c &gt; m . } By the unboundedness assumption, for each ( δ, ε ) ∈ V we may fix some y δ, ε ( ) ∈ B δ, ε ( ) ∩ D . Let

$$X = \{ x ( \delta, \varepsilon ) \beta \, \colon ( \delta, \varepsilon ) \in V, \, \beta \in U \} \quad \text{and} \quad Y = \{ y ( \delta, \varepsilon ) \beta \, \colon ( \delta, \varepsilon ) \in V, \, \beta \in U \},$$

and note that X and Y are finite. Since C has no endpoints, by Corollary 3.4 the image of any map in R is unbounded both above and below in C. Thus, for each α ∈ U ∩ R we may fix some p α , q α ∈ C with p α &lt; q α such that p α α &lt; X and q α α &gt; Y. We then let

$$p = \min \{ p _ { \alpha } \, \colon \alpha \in U \cap R \} \quad \text{and} \quad q = \max \{ q _ { \alpha } \, \colon \alpha \in U \cap R \},$$

so that pα &lt; X and qα &gt; Y for each α ∈ U ∩ R. Now fix some u, v ∈ C with u &lt; p &lt; q &lt; v, and define θ ∈ S by m θ ↓ = { u } and Dθ = { v } . Since D S r ( ) = 2 , there exists a U -sequence

$$1 _ { C } = \alpha \gamma _ { 1 }, \ \beta \gamma _ { 1 } = \delta \gamma _ { 2 }, \ \varepsilon \gamma _ { 2 } = \theta.$$

Note that α is a right unit. We consider two separate cases.

Case 1 . Suppose first that ( δ, ε ) ∈ V . Let x = x δ, ε ( ) and y = y δ, ε ( ) . Then, since xδ ≤ xε (as x ∈ B δ, ε ( )) and pα &lt; xβ ∈ X, we have

$$u = x \theta = x \varepsilon \gamma _ { 2 } \geq x \delta \gamma _ { 2 } = x \beta \gamma _ { 1 } \geq p \alpha \gamma _ { 1 } = p 1 _ { C } = p,$$

and this contradicts u &lt; p.

Case 2 . Finally, suppose that ( ε, δ ) ∈ V. Let x = x ε, δ ( ) and y = y ε, δ ( ) . Then, since yε ≤ yδ (as y ∈ B ε, δ ( )) and qα &gt; yβ ∈ Y, we have

$$v = y \theta = y \varepsilon \gamma _ { 2 } \leq y \delta \gamma _ { 2 } = y \beta \gamma _ { 1 } \leq q \alpha \gamma _ { 1 } = q 1 _ { C } = q,$$

and this contradicts v &gt; q.

$$\Box$$

To complete the proof of Theorem B, we show in Proposition 5.8 that D r (End( C )) = 3 if C has an endpoint but is not endpoint-shiftable. First, we establish some technical lemmas. In what follows, a map α ∈ End( C ) is said to fix a subset A ⊆ C pointwise if xα = x for all x ∈ A.

Lemma 5.5. Let C be an infinite chain that has an endpoint but is not endpoint-shiftable. Then C = M + D + N for some finite chains M and N (where at least one of M and N is non-empty) and some chain D with no endpoints. Moreover, every right/left unit of End( C ) fixes M ∪ N pointwise and restricts to a right/left unit of End( D . )

Proof. Let S = End( C ). If C has no minimum, then we define M = ∅ . So now suppose that C has a minimum, say z 1 . Then C = { z 1 } + C 1 , where C 1 = C \{ z 1 } . If C 1 has a minimum, say z 2 , then C = { z 1 &lt; z 2 } + C 2 , where C 2 = C 1 \{ z 2 } . This process must terminate at some point, for otherwise we would have

$$C = \{ z _ { 1 } < z _ { 2 } < z _ { 3 } < \cdots \} + C ^ { \prime } \cong \mathbb { N } + C ^ { \prime },$$

which is min-shiftable by Propositions 4.3 and 4.5(1). So, there exists m ∈ N such that C = { z 1 &lt; · · · &lt; z m } + C m where C m has no minimum. We let M = { z 1 &lt; · · · &lt; z m } . The definition of N is analogous, and then C = M + D + N where D = C m \ N has no endpoints.

Now consider α, β ∈ S such that αβ = 1 C , and let α , β ′ ′ be the restrictions of α, β to D, respectively. We show that α and β both fix M ∪ N pointwise, and Dα,Dβ ⊆ D. It then follows that α β ′ ′ = 1 D , as desired.

/negationslash

First, we show that β fixes M ∪ N pointwise and Dβ ⊆ D. To do so, suppose to the contrary that there exists u ∈ C such that uβ ∈ M ∪ N with u = uβ. We may assume without loss of generality that uβ ∈ M. With M = { z 1 &lt; · · · &lt; z m } as above, suppose that uβ = z k . Since β is surjective and order preserving, it follows that u &gt; z k , and hence z ↑ k is a quotient of its proper terminal segment u ↑ . Thus, by Proposition 4.3, the chain z ↑ k is min-shiftable. Now, either C = z ↑ k (and is hence min-shiftable) or else

$$C = \{ z _ { 1 } < \dots < z _ { k - 1 } \} + z _ { k } ^ { \uparrow } \cong ( { \mathbf k } - { \mathbf 1 } ) + z _ { k } ^ { \uparrow },$$

which is min-shiftable by Proposition 4.3. We have reached a contradiction.

Now, if x ∈ M ∪ N then x = ( xα β ) = xα, as β fixes M ∪ N pointwise and Dβ ⊆ D. Thus α fixes M ∪ N pointwise. Since α is injective, it follows that Dα ⊆ D, as required. /square

Lemma 5.6. Let C, D and E be pairwise-disjoint chains with D infinite, and let K and L be finite subsets of C and E, respectively. Then there exists a homomorphism θ : C + D + E → D such that:

- (1) θ is injective on K ∪ L ;
- (2) if C = ∅ and D has no minimum, then im θ is unbounded below;
- (3) if E = ∅ and D has no maximum, then im θ is unbounded above.

/negationslash

Proof. If C = E = ∅ , let θ = 1 D . Suppose now that C ∪ E = ∅ . Pick x ∈ D such that, letting A = D ∩ x ↓ and B = ( D ∩ x ↑ ) \{ x , } we have | A &gt; K | | | and | B &gt; L . | | | Clearly D = A + B. If both C and E are non-empty, let Cθ ⊆ A, Dθ = { x } and Eθ ⊆ B , with θ preserving order and being injective on K ∪ L. If C = ∅ and D has no minimum, let θ fix A pointwise, let Bθ = { x , } and let Eθ ⊆ B with θ preserving order and being injective on L. The case that E = ∅ and D has no maximum is symmetrical. /square

Lemma 5.7. Let C = M + D + N be a chain where M and N are finite and D has no endpoints. Let

$$\left ( A _ { 1 }, B _ { 1 } \right ) < _ { D M } \left ( A _ { 2 }, B _ { 2 } \right ) < _ { D M } \cdots < _ { D M } \left ( A _ { n }, B _ { n } \right )$$

/negationslash be a finite chain of gaps of C, and let F be a finite subset of D. Then there exist terminal segments T k (= ∅ ) of A k (1 ≤ k ≤ n ) , initial segments I k (= ∅ ) of B k (1 ≤ k ≤ n ) , and intervals D p of D (1 ≤ p ≤ n +1) such that

/negationslash

D = D 1 + T 1 + I 1 + D 2 + T 2 + I 2 + · · · + T n + I n + D n +1 , F ⊆ D 1 + D 2 + · · · + D n +1 , and for each p ∈ { 1 , . . . , n +1 } the set F ∩ D p contains no endpoints of D p .

Proof. First note that

$$D = ( A _ { 1 } \cap D ) + ( B _ { 1 } \cap A _ { 2 } ) + ( B _ { 2 } \cap A _ { 3 } ) + \dots + ( B _ { n - 1 } \cap A _ { n } ) + ( B _ { n } \cap D ),$$

with each summand being unbounded above and below. For each k ∈ { 2 , . . . , n } choose x , y k k ∈ B k -1 ∩ A k such that x k &lt; B k -1 ∩ A k ∩ F &lt; y k . Also let y 1 ∈ A 1 ∩ D and x n +1 ∈ B n ∩ D be such that A 1 ∩ F &lt; y 1 and x n +1 &lt; B n ∩ F. We then define

$$D _ { 1 } = y _ { 1 } ^ { \downarrow } \cap D, \ \ D _ { k } = [ x _ { k }, y _ { k } ] \ ( 2 \leq k \leq n ) \ \text{ and } \ D _ { n + 1 } = x _ { n + 1 } ^ { \uparrow } \cap D.$$

These then determine appropriate subchains T , I k k (1 ≤ k ≤ n ) such that

1

A

∩

D

=

D

1

+

T , B

1

k

-

1

∩

A

k

=

I

k

-

1

+

D

k

+

T

k

(2

≤

k

≤

n

)

and

B

n

∩

D

=

I

n

+

D

n

+1

.

Verification of the claimed properties is routine.

/square

Proposition 5.8. If C is an infinite chain that has an endpoint but is not endpointshiftable, then D r (End( C )) = 3 .

/negationslash

Proof. By Lemma 5.5 we may write C = M + D + N , where M and N are finite and D is unbounded below and above. We assume without loss of generality that M = ∅ with minimum element z. Let S = End( C , ) and let R be the set of right units of S. Suppose for a contradiction that D S U r ( ; ) = 2 for some finite U ⊆ S.

Now, it follows from Lemma 3.6 that the set

$$J = \{ ( z \alpha ) \gamma \, \colon \alpha \in U, \, \gamma \text{ is a right inverse of some } \beta \in U \cap R \}$$

/negationslash has size at most 2 | U | 2 . For each non-injective α ∈ U fix some a , b α α ∈ C with a α = b α and a α α = b α α, and let

$$K = \{ a _ { \alpha }, b _ { \alpha } \, \colon \alpha \in U, \, \alpha \text{ is not injective} \}.$$

Let F = M ∪ N ∪ J ∪ K, and note that F is finite.

/negationslash

Now define a subset T of U as follows. If N = ∅ , let T be the set of all injective δ ∈ U R. \ If N = ∅ , let T be the set of all injective δ ∈ U R \ such that im δ is unbounded above.

The remainder of the proof splits into two cases.

/negationslash

Case 1 : T = ∅ . Choose x ∈ D such that x ≥ F ∩ D. (If F ∩ D = ∅ , we can take x = max( F ∩ D ); otherwise, we can take x to be any element of D. ) Let C ′ = D x \ ↓ , so that C = x ↓ + C ′ + N. Then F ∩ C ′ = ∅ . By Lemma 5.6, there exists θ ∈ S with im θ ⊆ C ′ such that θ is injective on F, and if N = ∅ then im θ is unbounded above in C . ′ Since D S U r ( ; ) = 2 , there exists a U -sequence

$$\theta = \alpha \gamma, \ \beta \gamma = \alpha ^ { \prime } \gamma ^ { \prime }, \ \beta ^ { \prime } \gamma ^ { \prime } = 1 _ { C }.$$

The map α ∈ U is injective, since otherwise a θ α = a αγ α = b α αγ = b α θ, contradicting that θ is injective on F ⊇ K. Moreover, if N = ∅ then im α is unbounded above, since if im α ≤ q then im θ = im αγ ≤ qγ, contradicting that im θ is unbounded above. Since T = ∅ , we conclude that α ∈ R. Then, since C is not endpoint-shiftable, it follows from Lemma 5.5 that α fixes M ∪ N pointwise. Thus xγ = xθ for all x ∈ M ∪ N. Now, we may pick y ∈ C such that zβ ≤ yα. Indeed, if N = ∅ then, as noted above, the set im α is unbounded above; otherwise, the chain C has a maximum, say w, and then zβ ≤ w = wα (as w ∈ N ). Therefore, since z ∈ M, we have zα = z ≤ zβ ≤ yα, and hence

$$z \theta = z \alpha \gamma \leq z \beta \gamma \leq y \alpha \gamma = y \theta.$$

Since im θ ⊆ C ′ , and C ′ is an interval, it follows that zβγ ∈ C . ′ But zβγ = zα γ ′ ′ ∈ J ⊆ F, contradicting the fact that C ′ ∩ F = ∅ .

/negationslash

Case 2 : T = ∅ . Since each δ ∈ T is injective but not a right unit, it must fail at least one of the conditions (a)-(c) of Corollary 3.4(3). But C has a minimum, so (a) vacuously holds. If C has no maximum then N = ∅ , and hence, by the definition of T, if δ ∈ T then im δ is unbounded above, so δ satisfies (b). Thus, each δ ∈ T fails condition (c), and hence, by Remark 3.5, there exists x δ ∈ C \ im δ such that x δ &gt; zδ and

$$\mathcal { G } _ { \delta } \coloneqq ( \{ t \in C \, \colon t \delta < x _ { \delta } \}, \{ t \in C \, \colon x _ { \delta } < t \delta \} )$$

is a gap of C (so x δ ∈ D ). Let

$$\left ( A _ { 1 }, B _ { 1 } \right ) < _ { D M } \left ( A _ { 2 }, B _ { 2 } \right ) < _ { D M } \cdots < _ { D M } \left ( A _ { n }, B _ { n } \right )$$

be the chain of distinct gaps among G δ ( δ ∈ T ) in the Dedekind-MacNeille completion.

Let P be the set of all pairs ( α, β ) ∈ U × U with α ∈ R and zβ / ∈ im α. For each ( α, β ) ∈ P, choose a right inverse λ α of α, and let u α,β = zβλ α . Since, by Lemma 5.5, the maps α and λ α fix M ∪ N pointwise and map D to D, and we have zβ / ∈ im α by the definition of P, it follows that u α,β = ( zβ λ ) α ∈ Dλ α ⊆ D. Moreover, by Lemma 3.6 we

have

$$u _ { \alpha, \beta } \alpha = \begin{cases} \max ( \lim \alpha \cap ( z \beta ) ^ { \downarrow } ) & \text{if $u_{\alpha,\beta} \alpha < z\beta$} \\ \min ( \lim \alpha \cap ( z \beta ) ^ { \uparrow } ) & \text{if $u_{\alpha,\beta} \alpha > z\beta$}. \end{cases} \\ \psi = \psi \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{cases}.$$

Now, applying Lemma 5.7 to the gaps ( A , B k k ) (1 ≤ k ≤ n ) and the finite set

$$G = ( F \cap D ) \cup \{ u _ { \alpha, \beta } \colon ( \alpha, \beta ) \in P \} \, ( \subseteq D ),$$

there exist terminal segments T k of A k (1 ≤ k ≤ n ), initial segments I k of B k (1 ≤ k ≤ n , ) and intervals D p of D (1 ≤ p ≤ n +1) such that

$$D = D _ { 1 } + T _ { 1 } + I _ { 1 } + D _ { 2 } + \dots + D _ { n } + T _ { n } + I _ { n } + D _ { n + 1 }, \quad G \subseteq D _ { 1 } + D _ { 2 } + \dots + D _ { n + 1 },$$

and for each p ∈ { 1 , . . . , n + 1 } the set G ∩ D p contains no endpoints of D p . Note that each T k has no maximum, and each I k has no minimum.

For ( α, β ) ∈ P, with u α,β ∈ D p , say, we fix elements x α,β , y α,β ∈ D p with u α,β ∈ ( x α,β , y α,β ); such elements exist as u α,β is not an endpoint of D p . Since α is injective, we have u α,β α ∈ ( x α,β α, y α,β α . ) It follows that zβ ∈ ( x α,β α, y α,β α . ) Indeed, if u α,β α &lt; zβ, then certainly x α,β α &lt; zβ, and we have zβ &lt; y α,β α as u α,β α = max(im α ∩ ( zβ ) ↓ ) . The case in which u α,β α &gt; zβ is similar.

/negationslash

Now, choose x ∈ D n +1 + N such that x ≥ F ∪ { y α,β : ( α, β ) ∈ P } , and write D n +1 + N as D ′ + E where D ′ = ( D n +1 + N ) ∩ x ↓ . Observe that E ∩ F = ∅ . Moreover, if N = ∅ then x = max( C , ) in which case E = ∅ ; otherwise, E is unbounded above. We now have

$$C = M + D _ { 1 } + T _ { 1 } + I _ { 1 } + D _ { 2 } + \dots + D _ { n } + T _ { n } + I _ { n } + D ^ { \prime } + E.$$

Using Lemma 5.6, we choose θ ∈ S such that:

- (1) ( M + D 1 + T 1 ) θ ⊆ T 1 with θ injective on M +( F ∩ D 1 ) and with T θ 1 unbounded above in T 1 ;
- (2) for each k ∈ { 2 , . . . , n } , we have ( D k + T k ) θ ⊆ T k with θ injective on F ∩ D k and with T θ k unbounded above in T k ;
- (3) ( I n + D θ ′ ) ⊆ I n with θ injective on F ∩ D ′ and with I n θ unbounded below in I n ;

(4) θ fixes ⋃ n -1 j =1 I j ∪ E pointwise. Note that im θ ⊆ ⋃ n k =1 ( T k + I k ) ∪ E. Our construction of θ guarantees that im θ ∩ F = ∅ , that θ is injective on F, and that im θ is unbounded above in the case that N = ∅ . Since D S U r ( ; ) = 2 , there exists a U -sequence

$$\theta = \alpha \gamma, \ \beta \gamma = \alpha ^ { \prime } \gamma ^ { \prime }, \ \beta ^ { \prime } \gamma ^ { \prime } = 1 _ { C }.$$

By the same argument as that in Case 1 , the map α ∈ U is injective, and if N = ∅ then im α is unbounded above.

Suppose first that α ∈ R, and note that zβγ = zα γ ′ ′ ∈ J ⊆ F. If zβ ∈ im α, then zβγ ∈ im αγ = im θ, contradicting that im θ ∩ F = ∅ . Thus zβ / ∈ im α, so that ( α, β ) ∈ P. Recalling that x α,β , y α,β ∈ D p for some p ∈ { 1 , . . . , n + 1 } , and that zβ ∈ ( x α,β α, y α,β α , ) we also have

$$\cdots \dots \dots \dots \cdots \\ z \beta \gamma \in [ x _ { \alpha, \beta } \alpha \gamma, y _ { \alpha, \beta } \alpha \gamma ] = [ x _ { \alpha, \beta } \theta, y _ { \alpha, \beta } \theta ] \subseteq D _ { p } \theta \subseteq \begin{cases} T _ { p } & \text{if $p \leq n$} \\ I _ { n } & \text{if $p = n+1$.} \end{cases}$$

But then zβγ ∈ F ∩ D ⊆ G and zβγ ∈ T 1 + · · · + T n + I n , contradicting the fact that G ⊆ D 1 + · · · + D n +1 .

Finally, suppose that α / R, ∈ so that α ∈ T. Then G α = ( A , B k k ) for some k ∈ { 1 , . . . , n } , and T α &lt; x k α &lt; I α k . It follows that

$$T _ { k } \theta = T _ { k } \alpha \gamma \leq x _ { \alpha } \gamma \leq I _ { k } \alpha \gamma = I _ { k } \theta.$$

Since T θ k ⊆ T k and I θ k ⊆ I k , and I k covers T k , it follows that x γ α is either an upper bound of T θ k in T k , or else a lower bound of I k θ in I k . But this contradicts the properties of θ given in (1)-(4). This completes the proof. /square

Now, combining Propositions 5.1, 5.2, 5.4 and 5.8, we obtain Theorem B.

## References

- [1] A. Aizenˇ stat. Defining relations of the endomorphism semigroup of a finite linearly ordered set. Sib. Mat. Zh. , 3:161-169, 1962.
- [2] R. Camerlo, R. Carroy, A. Marcone. Epimorphisms between linear orders. Order , 32:387-400, 2015. Erratum, Order , 33:187, 2016.
- [3] Y. Dandan, V. Gould, T. Quinn-Gregson, R.-E. Zenab. Semigroups with finitely generated universal left congruence. Monat. Math. , 190:689-724, 2019.
- [4] B. Davey, H. Priestley. Introduction to Lattices and Order , Cambrige University Press, 2002.
- [5] J. East, V. Gould, C. Miller, T. Quinn-Gregson, N. Ruˇ skuc. On the diameter of semigroups of transformations and partitions. J. London Math. Soc. , 2024. https://doi.org/10.1112/jlms.12944 .
- [6] V.Fernandes, M.Jesus, V.Maltcev, J. Mitchell. Endomorphisms of the semigroup of order-preserving mappings. Semigroup Forum , 81:277-285, 2010.
- [7] P. Gallagher. On the finite and non-finite generation of diagonal acts. Comm. Algebra , 34:3123-3137, 2006.
- [8] P. Gallagher, N. Ruˇ skuc. Generation of diagonal acts of some semigroups of transformations and relations. Bull. Australian Math. Soc. , 72:139-146, 2005.
- [9] P. Gallagher. On the finite generation and presentability of diagonal acts, finitary power semigroups and Sch¨tzenberger products. PhD Thesis, University of St Andrews, 2005. u
- [10] V. Gould, C. Miller, T. Quinn-Gregson, N. Ruˇ skuc. On minimal ideals in pseudo-finite semigroups. Canadian J. Math. , 75:2007-2037, 2023.
- [11] T. Jech. Set theory. Springer Monographs in Mathematics, Springer-Verlag, Berlin, The Third Millennium Edition, revised and expanded, 2003.
- [12] Y. Kemprasit, T. Changphas. Regular order-preserving transformation semigroups. Bull. Austral. Math. Soc. , 62:511-524, 2000.
- [13] M.Kilp, U. Knauer, A. Mikhalev. Monoids, Acts and Categories . Walter de Gruyter, 2000.
- [14] V. Kim, I. Kozhukhov. Regularity conditions for semigroups of isotone transformations of countable chains. J. Math. Sci. , 152:203-208, 2008.
- [15] Y. Kobayashi. The homological finiteness property FP 1 and finite generation of monoids. Int. J. Algebra Comput. , 17:593-605, 2007.
- [16] A.Laradji, A.Umar. Combinatorial results for semigroups of order-preserving partial transformations. J. Algebra , 278:342-359, 2004.
- [17] J. McPhee, J. Mitchell, M. Quick. Automorphism groups of linearly ordered structures and endomorphisms of the ordered set ( Q , ≤ ) of rational numbers. Quarterly J. Math. , 70:171-194, 2019.
- [18] W.Mora, Y. Kemprasit. Regular elements of some order-preserving transformation semigroups. Int. J. Algebra , 4:631-641, 2010.

- [19] P. Rungrattrakoon, Y. Kemprasit. Regularity of full order-preserving transformation semigroups on intervals of subfields of R . East-West J. Math. , Spec. Vol. for NCAM, 107-110, 2004.
- [20] I. Stein. The algebra of the monoid of order-preserving functions on an n -set and other reduced E -Fountain semigroups. Preprint, https://arxiv.org/abs/2404.08075 .
- [21] J.T. White. Finitely-generated left ideals in Banach algebras on groups and semigroups. Studia Math., 239:67-99, 2017.

Centre for Reseach in Mathematics and Data Science, Western Sydney University, Australia

Email address : J.East@WesternSydney.edu.au

Department of Mathematics, University of York, UK, YO10 5DD Email address : victoria.gould@york.ac.uk, craig.miller@york.ac.uk

Email address : tquinngregson@gmail.com
James East Victoria Gould Craig Miller Thomas Quinn-Gregson
Diameters of endomorphism monoids of chains
The left and right diameters of a monoid are topological invariants defined
in terms of suprema of lengths of derivation sequences with respect to finite
generating sets for the universal left or right congruences. We compute these
parameters for the endomorphism monoid $End(C)$ of a chain $C$. Specifically,
if $C$ is infinite then the left diameter of $End(C)$ is 2, while the right
diameter is either 2 or 3, with the latter equal to 2 precisely when $C$ is a
quotient of $C{\setminus}\{z\}$ for some endpoint $z$. If $C$ is finite then so
is $End(C),$ in which case the left and right diameters are 1 (if $C$ is
non-trivial) or 0.