1 Introduction

The symmetric inverse semigroup \(\mathcal{I}\mathcal{S}_n\), also known as the rook monoid, consists of the partial injective transformations of \(\{1,2,\ldots ,n\}\) [4, 12]. Any element of \(\mathcal{I}\mathcal{S}_n\) can be represented as an \(n\times n\) matrix whose entries are 0 or 1, with at most one 1 in every row and every column.

In a previous paper [3], we introduced a submonoid \(M_n\) of \(\mathcal{I}\mathcal{S}_n\) and studied its properties. The monoid \(M_n\) consists of the zero matrix together with those matrices of \(\mathcal{I}\mathcal{S}_n\) whose 1s lie on a single diagonal and form an uninterrupted block (i.e., no 0 lies between any two 1s). Let d be the said diagonal (\(d=-n+1,\ldots , n-1\), with \(d=0\) being the main diagonal), let k be the row of the northwestern 1, and let m be the row of the southeastern 1. The study of [3] was facilitated by representing the elements of \(M_n\) as triplets \(\langle d,k,m\rangle \in {\mathbb {Z}}^3\) (d, k, and m are appropriately restricted), and developing a closed-form expression representing the product of two elements.

This note is an extension that allows \(\langle d,k,m\rangle \in {\mathbb {R}}^3\); the restrictions on the parameters d, k, m, as well as the product formula, remain unaltered. We thus study a new monoid \({\overline{M}}_n\), of which the \(M_n\) of [3] is a submonoid. For reasons of symmetry, we switch the order of the first two arguments and use the notation \(\prec k,d, m\succ \) for an \(x\in {\overline{M}}_n\), so that

$$\begin{aligned} x=\prec k,d, m \succ =\langle d,k,m \rangle ,\quad k,d,m\in {\mathbb {Z}}. \end{aligned}$$
(1)

To facilitate comparisons with “the integer case,” however, we maintain much of the notation of [3]. For example, we retain the symbol \(x^T\) for the semigroup inverse; the underlying reason is that inverting \(x\in M_n\) amounts to transposing the matrix represented by x. As in [3], \({\textbf{0}}\) and \({\textbf{1}}\) denote monoid zero and identity, and ideal means two-sided ideal. We use the traditional notations for Green’s relations, associated equivalence classes, and principal ideals, as well as the usual notations \({\textbf{r}}(x)\) and \({\textbf{d}}(x)\) [6, 8] for \(xx^T\) and \(x^Tx\), respectively. A jth root of \(x\in {\overline{M}}_n\) is a \(y\in {\overline{M}}_n\) such that \(x= y^j\) (\(j \in {\mathbb {N}}\)).

2 The inverse monoid \({\overline{M}}_n\)

Let \(n\in {\mathbb {Z}}\) with \(n\ge 2\). Our definition of \({\overline{M}}_n\) is

$$\begin{aligned} \begin{aligned} {\overline{M}}_n=\{{\textbf{0}}\} \cup \{\prec k,&d, m \succ :\ k,d,m\in {\mathbb {R}};\\ {}&1-\min (0,d)\le k \le m\le n-\max (0,d)\}. \end{aligned} \end{aligned}$$
(2)

Note that the restrictions in (2) further imply

$$\begin{aligned} -(n-1)\le d\le n-1\quad \textrm{and}\quad 1\le k\le m\le n. \end{aligned}$$
(3)

As in [3], the formula for the product of two nonzero elements is

$$\begin{aligned} \prec k, d, m \succ \prec k', d', m' \succ = {\left\{ \begin{array}{ll} \prec k'', d'', m'' \succ ,\quad k'' \le m'',\\ \ {\textbf{0}},\quad k''> m'', \end{array}\right. } \end{aligned}$$
(4)

in which the parameters \(k''\), \(d''\), and \(m''\) are

$$\begin{aligned} k''=\max (k,k'-d),\quad d''=d+d',\quad m''=\min (m,m'-d). \end{aligned}$$
(5)

We can use the definitions (2), (4), and (5) to show that \({\overline{M}}_n\) is a monoid with \({\textbf{1}}=\prec 1, 0, n \succ \). We can also verify a formula for powers:

Lemma 1

For \(x=\prec k, d, m \succ \in {\overline{M}}_n\setminus \{{\textbf{0}}\}\) and \(j\in {\mathbb {N}}\) we have

$$\begin{aligned} x^j={\left\{ \begin{array}{ll} \prec k^{(j)}, d^{(j)}, m^{(j)}\succ ,\quad \text {if}\quad k^{(j)}\le m^{(j)}, \\ {\textbf{0}},\quad \text {if}\quad k^{(j)}>m^{(j)}, \end{array}\right. } \end{aligned}$$
(6)

where

$$\begin{aligned} k^{(j)}=k-(j-1)\min (0,d),\quad d^{(j)}=jd,\quad m^{(j)}=m-(j-1)\max (0,d). \end{aligned}$$
(7)

In particular, \(x^2=x\) iff \(d=0\).

Let us define

$$\begin{aligned} x^T= {\left\{ \begin{array}{ll} {\textbf{0}},\quad x={\textbf{0}},\\ \prec k+d, -d, m+d \succ , \quad x=\prec k, d, m \succ \in {\overline{M}}_n \setminus \{{\textbf{0}}\}. \end{array}\right. } \end{aligned}$$
(8)

The inequalities in (2) ensure that \(x^T\in {\overline{M}}_n\). The multiplication formula (4) gives

$$\begin{aligned} {\textbf{r}}(x)=xx^T= {\left\{ \begin{array}{ll} {\textbf{0}},\quad x={\textbf{0}},\\ \prec k, 0, m \succ , \quad x=\prec k, d, m \succ \in M_n\setminus \{{\textbf{0}}\} \end{array}\right. } \end{aligned}$$
(9)

and

$$\begin{aligned} {\textbf{d}}(x)=x^Tx= {\left\{ \begin{array}{ll} {\textbf{0}},\quad x={\textbf{0}},\\ \prec k+d, 0, m+d \succ , \quad x=\prec k, d, m \succ \in M_n\setminus \{{\textbf{0}}\}, \end{array}\right. } \end{aligned}$$
(10)

as well as \(xx^Tx=x\) and \(x^Txx^T=x^T\). Thus \(x^T\) is an inverse of x and \({\overline{M}}_n\) is a regular semigroup. The idempotents are \({\textbf{0}}\) and the elements \(\prec k, 0, m \succ \); and by (4), these idempotents commute. Accordingly [6], \({\overline{M}}_n\) is an inverse semigroup. In sum, we have arrived at

Proposition 1

The \({\overline{M}}_n\) defined in (2)–(5) is a noncommutative inverse monoid with zero, whose identity is \({\textbf{1}}=\prec 1, 0, n \succ \). The \(x^T\) given in (8) is the unique inverse of \(x\in {\overline{M}}_n\). The semilattice of idempotents—to be denoted by \({\textbf{E}}\left( {\overline{M}}_n\right) \)—consists of \({\textbf{0}}\) together with all elements \(\prec k, 0, m \succ \) (in which \(d=0\)).

Inverse semigroups are associated with a natural partial order [5, 6, 8] which, for our nonzero elements, can be formulated in terms of triplet parameters:

Corollary 1

Let \(\le \) be the natural partial order in \({\overline{M}}_n\setminus \{{\textbf{0}}\}\). Then

$$\begin{aligned} \prec k, d, m \succ \,\le \, \prec k', d', m' \succ \iff d=d',\ k\ge k',\ \textrm{and}\ m\le m'. \end{aligned}$$
(11)

Proof

As \(x\le y\) iff \(x=xx^Ty\) [5, 6, 8], the assertion follows easily from (4) and (9). \(\square \)

Corollary 2

The inverse semigroup \({\overline{M}}_n\) is \(E^*\)-unitary (also called 0-E unitary).

Proof

If \({\textbf{0}}\ne x\le y\) and x is idempotent, then \(y\ne {\textbf{0}}\), so we can set \(x=\prec k, 0, m \succ \) and \(y=\prec k', d', m' \succ \). Then \(d'=0\) by (11), so that y is idempotent. Therefore \({\overline{M}}_n\) is \(E^*\)-unitary by definition [6, 8]. \(\square \)

Let \(C_n\) denote the set of all closed real intervals [km] for which \(1\le k\le m\le n\). Thus \(C_n\) consists of the closed line segments within [1, n].

Corollary 3

The semilattice of idempotents \({\textbf{E}}\left( {\overline{M}}_n\right) \) is isomorphic to \(C_n\), with multiplication corresponding to segment intersection.

Proof

Taking \(d=d'=0\) in (2)–(5) gives \(k''=\max (k,k')\), \(m''=\min (m,m')\), and

$$\begin{aligned} \prec k, 0, m \succ \prec k', 0, m' \succ = {\left\{ \begin{array}{ll} \prec k'', 0, m''\succ ,\quad k''\le m'',\\ {\textbf{0}},\quad k''>m'', \end{array}\right. } \end{aligned}$$

for \(1\le k \le m \le n\) and \(1\le k' \le m' \le n\). This proves the assertion. \(\square \)

Any inverse semigroup gives rise to an underlying groupoid, within which a restricted product \(x\cdot y\) is defined [6, 8]. In \({\overline{M}}_n\), the underlying groupoid is readily described using triplet parameters:

Corollary 4

Let \(x,y\in {\overline{M}}_n\). If \(x={\textbf{0}}\), then \(x\cdot y\) is defined iff \(y={\textbf{0}}\). And if \({\textbf{0}}\ne x=\prec k, d, m \succ \), then \(x\cdot y\) is defined iff \({\textbf{0}}\ne y=\prec k', d', m' \succ \), with

$$\begin{aligned} k'=k+d\mathrm {\ and\ }m'=m+d, \end{aligned}$$
(12)

in which case

$$\begin{aligned} x\cdot y=xy=\prec k, d+d', m \succ . \end{aligned}$$
(13)

Proof

In an inverse semigroup, \(x\cdot y\) is defined iff \({\textbf{d}}(x)={\textbf{r}}(y)\), in which case \(x\cdot y=xy\) [6, 8]. The assertions then follow from (4), (5), (9), and (10). \(\square \)

3 Connections with \({M}_n\); nilpotents; graphical interpretations; the height function

We obtain the submonoid \(M_n\) of [3] if, in (2), we replace the condition \(k,d,m\in {\mathbb {R}}\) by the more restrictive one \(k,d,m\in {\mathbb {Z}}\). In \(M_n\), the triplet of integers represents the \(n\times n\) matrix described in [3] and our Introduction. Analogously, we can interpret the triplets of \({\overline{M}}_n\) as line segments that are contained within a \((n-1)\times (n-1)\) square and are parallel to the diagonal shown in Fig. 1. Note that segment endpoints are permitted to lie on the square boundary, including its corners.

Remark 1

It goes without saying that a segment representing a nonzero product remains within the closed square. In particular, it is true that

$$\begin{aligned} \prec k, d, m \succ \prec k', d', m' \succ \ne {\textbf{0}}\implies |d+d'|\le n-1. \end{aligned}$$
(14)

(14), which can readily be verified directly from (2)–(5), will prove useful in Sect. 4. Stated otherwise, the inequality \(|d+d'|>n-1\) guarantees that the product is zero.

Much of Sect. 2 can now be interpreted graphically: \({\textbf{0}}\) corresponds to the square being empty, while \({\textbf{1}}\) corresponds to the diagonal shown in Fig. 1. Two inverse segments (x and \(x^T\)) are symmetric with respect to this diagonal. The segments that lie on the diagonal make up the nonzero idempotents, with multiplication in \({\textbf{E}}\left( {\overline{M}}_n\right) \) corresponding to segment intersection, as found in Corollary 3.

The segment \({\textbf{r}}(x)\) (\({\textbf{d}}(x)\)) is obtained by horizontally (vertically) translating x till the diagonal. It follows that the segments x and y are horizontal (vertical) translations of each other iff \({\textbf{r}}(x)={\textbf{r}}(y)\) (\({\textbf{d}}(x)={\textbf{d}}(y)\)), a fact to be used in Sect. 4.

Two segments of \({\overline{M}}_n\) are comparable—in the sense of the natural partial order discussed in Corollary 1—iff one lies upon and is contained within the other, in which case the shorter segment is \(\le \) the longer one. Corollary 4 means that the restricted product \(x\cdot y\) of the underlying groupoid is defined iff y is a horizontal translation of the inverse \(x^T\) (equivalently, iff x is a vertical translation of the inverse \(y^T\)); and that, when defined, \(x\cdot y\) is a horizontal translation of x.

Fig. 1
figure 1

Any triplet \(\prec k, d, m \succ \) of \({\overline{M}}_n\setminus \{{\textbf{0}}\}\) corresponds to a line segment akin to the depicted x, whose height is h(x). The element \({\textbf{0}}\) corresponds to the empty square, with \(h({\textbf{0}})=-1\)

Since (2) allows \(m=k\), our line segments can reduce to points within the aforementioned closed square. We use \({\overline{P}}_n\) to denote the set of points, viz.,

$$\begin{aligned} {\overline{P}}_n=\{\prec k, d, m \succ \,\in {\overline{M}}_n\setminus \{{\textbf{0}}\}:\ \ m=k\}. \end{aligned}$$
(15)

Let h(x) denote the height of the segment \(x\in {\overline{M}}_n\) (see Fig. 1), so that

$$\begin{aligned} h(x)= {\left\{ \begin{array}{ll} -1,\quad x={\textbf{0}},\\ m-k, \quad x=\prec k, d, m \succ \,\in {\overline{M}}_n\setminus \{{\textbf{0}}\}. \end{array}\right. } \end{aligned}$$
(16)

The height arises in a natural manner throughout; we start with some simple properties and applications. By (2) and (16),

$$\begin{aligned} 0\le h(x)\le n-|d|-1\le n-1,\quad x\ne {\textbf{0}}, \end{aligned}$$
(17)

while h assumes the particular values \(-1\), 0, and \(n-1\) according to

$$\begin{aligned} h(x)=-1\Leftrightarrow x={\textbf{0}}, \quad h(x)=0\Leftrightarrow x\in {\overline{P}}_n, \quad h(x)=n-1\Leftrightarrow x={\textbf{1}}. \end{aligned}$$
(18)

Horizontal/vertical translations maintain the height. In other words,

$$\begin{aligned} h(x)=h\left( {\textbf{r}}(x)\right) =h\left( {\textbf{d}}(x)\right) . \end{aligned}$$
(19)

Equations (19) follow from (9), (10), and (16).

We now turn to the height of products. It follows from (4), (5), and (16) that \(h(xy)\le \min \left( h(x),h(y)\right) \). By induction, we then get

$$\begin{aligned} h(x_1x_2\ldots x_j)\le h(x_i),\mathrm {\ for\ all\ } i\in \{1,2,\ldots ,j\},\quad x_i\in {\overline{M}}_n. \end{aligned}$$
(20)

Remark 2

Ref. [3] uses the symbol \(\textrm{rnk}(x)\) for the rank of the partial transformation represented by \(x\in M_n\). Thus in the integer case we have

$$\begin{aligned} \textrm{rnk}(x)=h(x)+1,\quad x\in M_n, \end{aligned}$$
(21)

which shows why we chose the seemingly arbitrary value \(h({\textbf{0}})=-1\) in (16).

If \({\textbf{1}}=xy\), then \(n-1=h({\textbf{1}})\le h(x)\) by (18) and (20), so that \(x={\textbf{1}}\) by (17) and (18). Similarly, \({\textbf{1}}=xy\) implies \(y={\textbf{1}}\). We have thus shown that

$$\begin{aligned} xy={\textbf{1}}\implies x=y={\textbf{1}}, \quad x,y\in {\overline{M}}_n. \end{aligned}$$
(22)

Therefore \({\overline{M}}_n\) is actually a semigroup with a \({\textbf{1}}\) adjoined. We will denote the inverse semigroup \({\overline{M}}_n\setminus \{{\textbf{1}}\}\) by \({\overline{S}}_n\).

The result that follows has no counterpart in the integer case. By means of an affine transformation \(\varphi \) (easily visualized by means of Fig. 1), we demonstrate that all \({\overline{M}}_n\) are isomorphic:

Proposition 2

Let nq be integers \(\ge 2\). The map \(\varphi : {\overline{M}}_n\rightarrow {\overline{M}}_q\) given by

$$\begin{aligned} {\textbf{0}}\mapsto {\textbf{0}}, \quad x_n=\prec k_n, d_n, m_n \succ \,\mapsto \, x_q=\prec k_q, d_q, m_q \succ , \end{aligned}$$
(23)

where

$$\begin{aligned} k_q-1=\frac{q-1}{n-1} (k_n-1),\quad d_q=\frac{q-1}{n-1} d_n,\quad m_q-1=\frac{q-1}{n-1} (m_n-1), \end{aligned}$$
(24)

is a monoid isomorphism. Therefore any \({\overline{M}}_n\) is isomorphic to \({\overline{M}}_2\), and any \({\overline{S}}_n\) is isomorphic to \({\overline{S}}_2\).

Proof

\(\varphi \) is bijective by (2). \(\varphi (x_ny_n)=\varphi (x_n)\varphi (y_n)\) and \(\varphi (\prec 1, 0, n \succ )=\prec ~1, 0, q \succ \) follow from (4). \(\square \)

Remark 3

By Proposition 2, a stand-alone study of \({\overline{M}}_n\) would be facilitated if one took \(n=2\), corresponding to segments lying in a \(1\times 1\) closed square. However, we retain the parameter n in order to draw upon and compare to results from [3].

Remark 4

Equation (16) and Proposition 2 imply that, for \(x_n \in {\overline{M}}_n\setminus \{{\textbf{0}}\}\),

$$\begin{aligned} h(x_q)=\frac{q-1}{n-1} h(x_n). \end{aligned}$$
(25)

Equation (25) shows why, for \({\overline{M}}_n\), we use the height h(x) instead of extending (to the non-integer case) the quantity \(\textrm{rnk}(x)=m-k+1\) mentioned in Remark 2: In \({\overline{M}}_n\), the latter quantity would scale in an unnatural manner.

The idempotents of \({\overline{M}}_n\) were identified in Proposition 1. The next proposition states that all other \(x\in {\overline{M}}_n\) are nilpotents, and gives the nilpotent indexes i(x). In contrast to the integer case of \(M_n\) (and as expected from the aforementioned isomorphism, which leaves i(x) unaltered), i(x) can take on values larger than n.

Proposition 3

An element \(x=\prec k, d, m \succ \,\in {\overline{M}}_n{\setminus } \{{\textbf{0}}\}\) is nilpotent if \(d\ne 0\). The index i(x) of the nilpotent is given by

$$\begin{aligned} i(x) =2+\left\lfloor \frac{m-k}{|d|} \right\rfloor =2+\left\lfloor \frac{h(x)}{|d|} \right\rfloor , \end{aligned}$$
(26)

where \(\lfloor \beta \rfloor \) denotes the floor of \(\beta \in {\mathbb {R}}\). In particular, \(i(x)=2\) when \(x\in {\overline{P}}_n\); and \(i(x)\rightarrow \infty \) as \(d\rightarrow 0\) (with \(h(x)=m-k\) held fixed and positive).

Proof

When \(d>0\), the \(m^{(j)}\) in (7) decreases linearly with j, while \(k^{(j)}=k\) remains constant. Thus \(k^{(j)}>m^{(j)}\) for large enough j, in which case \(x^j={\textbf{0}}\) by (6). The index i(x) is the smallest such j and is given by (26). The proof for \(d<0\) is similar. \(\square \)

Remark 5

In the special case of integer parameters (\(x\in M_n\)) we can show that (26) reduces to formula (28) of [3] (which involves the ceiling rather than the floor function). However, (28) of [3] does not hold for the more general case \(x\in {\overline{M}}_n\).

Corollary 5

\({\overline{M}}_n\) and \({\overline{S}}_n={\overline{M}}_n\setminus \{{\textbf{1}}\}\) are periodic inverse semigroups. \({\overline{M}}_n\) is not categorical at zero, and neither is \({\overline{S}}_n\).

Proof

A semigroup is periodic when all its elements are of finite order, i.e., when the monogenic subsemigroup generated by any semigroup element has finite cardinality [5]. As all \(x\in {\overline{M}}_n\) are idempotent and/or nilpotent, both \({\overline{M}}_n\) and \({\overline{S}}_n\) are periodic.

By definition [1, 6], a semigroup with zero is categorical at zero if \(xyz={\textbf{0}}\) implies \(xy={\textbf{0}}\) or \(yz={\textbf{0}}\). This is not true of \({\overline{M}}_n\) or \({\overline{S}}_n\), because there are nilpotents x of index \(i(x)=3\). \(\square \)

4 Further results

In this section, we determine Green’s relations and show that \({\overline{M}}_n\) is a strongly \(E^*\)-unitary, combinatorial, fundamental, and completely semisimple inverse monoid. Then, we explicitly determine all ideals of \({\overline{M}}_n\), discuss issues pertaining to jth roots, and point out differences between \({\overline{M}}_n\) and \(M_n\). Finally, we show that \({\overline{M}}_n\) is a supersemigroup of the Brandt semigroup, and prove that \({\overline{M}}_n\) has infinite Sierpiński rank.

We have seen (Corollary 2) that \({\overline{M}}_n\) is a \(E^*\)-unitary inverse semigroup. We now demonstrate that \({\overline{M}}_n\) belongs to the narrower class of strongly \(E^*\)-unitary inverse semigroups [1, 7, 9]. In what follows, G denotes the (multiplicative) circle group, by which we mean the complex numbers on the unit circle,

$$\begin{aligned} G=\{z\in {\mathbb {C}}: |z|=1\}=\{e^{i\theta }\in {\mathbb {C}}: -\pi <\theta \le \pi \}. \end{aligned}$$
(27)

The unique idempotent of G is \(1=e^{i0}\). \(G^0=G\cup \{0\}\) is a group with zero.

Theorem 4

\({\overline{M}}_n\) is a strongly \(E^*\)-unitary inverse semigroup.

Proof

By definition—and as explained in [1, 7, 9]—an inverse semigroup is strongly \(E^*\)-unitary if there exists an idempotent-pure 0-morphism \(\varphi \) from the semigroup into a group with zero. The proof that follows is constructive.

By (3), the map \(\varphi : {\overline{M}}_n\rightarrow G^0\) given by

$$\begin{aligned} {\textbf{0}}\mapsto 0, \quad x=\prec k, d, m \succ \,\mapsto \exp \left( {\frac{id}{n-1}}\right) , \end{aligned}$$

maps \({\overline{M}}_n\setminus \{{\textbf{0}}\}\) onto a portion of G, namely the arc \(\{e^{i\theta }\in {\mathbb {C}}: |\theta |\le 1\}\). \(\varphi \) is idempotent-pure because only idempotents (\(d=0\)) map to 1, and 0-restricted because only \({\textbf{0}}\) maps to the origin 0. Now suppose that \(x,y\in {\overline{M}}_n\) with \(xy\ne 0\), and set \(x=\prec k, d, m \succ \) and \(y=\prec k', d', m' \succ \). (14) gives \(|d+d'|\le n-1\), so that the image of the nonzero product xy belongs to the aforementioned arc. Furthermore,

$$\begin{aligned} \varphi (xy)=\exp \left[ {\frac{i(d+d')}{n-1}}\right] =\exp \left( {\frac{id}{n-1}}\right) \exp \left( {\frac{id'}{n-1}}\right) =\varphi (x)\varphi (y), \end{aligned}$$

meaning that \(\varphi \) is a 0-morphism. \(\square \)

The theorem below gives Green’s relations on \({\overline{M}}_n\), which turn out to be very similar to those in \(M_n\) (see Theorem 12 of [3], but take into account Remark 4). Our derivations of \({\mathcal {R}}\), \({\mathcal {L}}\), \({\mathcal {H}}\), \({\mathcal {D}}\) use \({\textbf{r}}\) and \({\textbf{d}}\)—and stress graphical interpretations. Our theorem further shows that \({\mathcal {J}}={\mathcal {D}}\); while this is also true in \(M_n\), it requires a different proof because \({\overline{M}}_n\) is not finite.

Theorem 5

In the inverse monoid \({\overline{M}}_n\), Green’s relations for any two nonzero elements \(x=\prec k, d, m \succ \) and \(y=\prec k', d', m' \succ \) are as follows.

$$\begin{aligned} x{\mathcal {R}}y \iff {\textbf{r}}(x)= & {} {\textbf{r}}(y)\iff k=k'\ \textrm{and}\ m=m', \end{aligned}$$
(28)
$$\begin{aligned} x{\mathcal {L}}y\iff {\textbf{d}}(x)= & {} {\textbf{d}}(y)\iff k+d=k'+d'\ \textrm{and}\ m+d=m'+d'. \end{aligned}$$
(29)

For \(x,y\in {\overline{M}}_n\),

$$\begin{aligned}{} & {} x{\mathcal {H}}y \iff \left( x{\mathcal {R}}y\ \textrm{and}\ x{\mathcal {L}}y \right) \iff \ x=y, \end{aligned}$$
(30)
$$\begin{aligned}{} & {} x{\mathcal {D}}y\iff \left( \exists z\in {\overline{M}}_n: {\textbf{d}}(z)={\textbf{d}}(x)\ \textrm{and} \ {\textbf{r}}(z)={\textbf{r}}(y) \right) \iff h(x)=h(y), \end{aligned}$$
(31)
$$\begin{aligned}{} & {} x{\mathcal {J}}y\iff h(x)=h(y). \end{aligned}$$
(32)

In all cases, \({\textbf{0}}\) forms a class of its own,

$$\begin{aligned} R_{\textbf{0}}=L_{\textbf{0}}=H_{\textbf{0}}=D_{\textbf{0}}=J_{\textbf{0}}=\{{\textbf{0}}\}. \end{aligned}$$
(33)

Proof

In (28)–(31), the first equivalences—which express Green’s relations in terms of \({\textbf{r}}\) and \({\textbf{d}}\)—are standard results which hold for all inverse semigroups [6, 8]. The second equivalences in (28) and (29), as well as the special cases \(R_{\textbf{0}}=L_{\textbf{0}}=\{{\textbf{0}}\}\), then follow from (9) and (10). The second equivalence in (30) is an immediate consequence of (28), (29), and \(R_{\textbf{0}}=L_{\textbf{0}}=\{{\textbf{0}}\}\).

We now turn to \({\mathcal {D}}\). By the discussions in Sect. 3, the segment z in (31) is, concurrently, a vertical translation of x and a horizontal translation of y; and it is graphically apparent—see especially (19)—that such a z exists iff \(h(x)=h(y)\). (The paper [3] contains an explicit expression for z, which remains valid for \({\overline{M}}_n\).)

(32) is tantamount to \({\mathcal {J}}={\mathcal {D}}\), which we show in two ways: Firstly, it holds by virtue of Corollary 5, because \({\mathcal {J}}={\mathcal {D}}\) in any semigroup that is periodic [5]. Secondly, we know (Corollary 3.19 of [6]) that \({\mathcal {J}}={\mathcal {D}}\) in any inverse semigroup satisfying

$$\begin{aligned} x{\mathcal {D}} y \ \textrm{and}\ x\le y\implies x=y. \end{aligned}$$
(34)

By (31), we must show

$$\begin{aligned} h(x)=h(y) \ \textrm{and}\ x\le y\implies x=y. \end{aligned}$$

which is apparent graphically, or can be proved using (11) and (16). \(\square \)

Corollary 6

\({\overline{M}}_n\) is a completely semisimple, combinatorial, and fundamental inverse monoid.

Proof

By definition [6], an inverse semigroup is completely semisimple when (34) is satisfied. As \({\mathcal {H}}\) is the equality relation, \({\overline{M}}_n\) is a combinatorial semigroup [6]. Finally, all combinatorial inverse semigroups are fundamental [6]. \(\square \)

Since \({\overline{M}}_n\) is fundamental, it is a full inverse submonoid of the Munn monoid on \({\textbf{E}}\left( {\overline{M}}_n\right) \) [5, 6, 8]. By Corollary 3, any two of the principal ideals of \({\textbf{E}}\left( {\overline{M}}_n\right) \) are isomorphic. In other words [5], \({\textbf{E}}\left( {\overline{M}}_n\right) \) is a uniform semilattice.

Before proceeding, we develop two lemmas involving the height function. They will help us obtain the principal ideals of \({\overline{M}}_n\), and discuss the subsemigroup \(\{{\textbf{0}}\}\cup {\overline{P}}_n\).

Lemma 2

Let \(x,y\in {\overline{M}}_n\). Then \(h(y)\le h(x)\) iff there exist \(z,w\in {\overline{M}}_n\) such that

$$\begin{aligned} y=zxw. \end{aligned}$$
(35)

Furthermore, if \(0\le h(y)\le h(x)\) with \(x=\prec k, d, m \succ \) and \(y=\prec k', d', m' \succ \), then (35) is satisfied by the nonzero elements \(z=\prec k_z, d_z, m_z \succ \) and \(w=\prec k_w, d_w, m_w \succ \) where

$$\begin{aligned} k_z= & {} k',\quad d_z=k-k',\quad m_z=m'; \end{aligned}$$
(36)
$$\begin{aligned} k_w= & {} k+d,\quad d_w=k'+d'-k-d,\quad m_w=k+d+m'-k'. \end{aligned}$$
(37)

Proof

If (35) holds, then \(h(y)\le h(x)\) by (20). Conversely, suppose that \(h(y)\le h(x)\). If \(x={\textbf{0}}\) or \(y={\textbf{0}}\), (35) is trivial. We thus take \(x,y\in {\overline{M}}_n\setminus \{{\textbf{0}}\}\); call \(x=\prec k, d, m \succ \), \(y=\prec k', d', m' \succ \); and define z, w by (36), (37). By (16), the assumption \(h(y)\le h(x)\) amounts to

$$\begin{aligned} m'-k'\le m-k. \end{aligned}$$
(38)

Write the conditions in (2) for d, k, m, and again for \(d'\), \(k'\), \(m'\). Upon invoking (36)–(38), we can easily deduce identical conditions for \(d_z\), \(k_z\), \(m_z\) and for \(d_w\), \(k_w\), \(m_w\). Thus z and w are well-defined elements of \({\overline{M}}_n\setminus \{{\textbf{0}}\}\). Finally, a quick calculation based on the multiplication formula (4) verifies (35). \(\square \)

Lemma 3

Let \(y\in \{{\textbf{0}}\}\cup {\overline{P}}_n\). Let \(x\in {\overline{M}}_n\setminus \{{\textbf{0}}\}\). Then there exist \(z,w\in \{{\textbf{0}}\}\cup {\overline{P}}_n\) such that \(y=zxw\).

Proof

If \(y={\textbf{0}}\), the statement is trivial. Otherwise \(y\in {\overline{P}}_n\), so \(0=h(y)\le h(x)\) by (18) and (20). Thus (35) holds, where \(z,w\in {\overline{M}}_n\) are given by (36) and (37) with \(m'=k'\). It follows that \(k_z=m_z\) and \(k_w=m_w\), so that \(z,w\in {\overline{P}}_n\). \(\square \)

The result (Theorem 5) that \(J_x\) consists of all segments of height h(x) means that elements whose heights are equal generate the same principal ideal. We now go beyond this observation and explicitly describe all ideals, whether principal or not. It will be seen that, as opposed to \(M_n\) (see Theorem 13 of [3]), \({\overline{M}}_n\) has (two-sided) ideals that are not principal. In the theorem that follows, these non-principal ideals are denoted by \(K_\mu \).

Theorem 6

The principal ideals of \({\overline{M}}_n\) are precisely the following sets \({I}_\mu \),

$$\begin{aligned} {I}_\mu =\{y\in {\overline{M}}_n: h(y)\le \mu \},\quad \mu \in \{-1\}\cup [0,n-1]. \end{aligned}$$
(39)

In particular,

$$\begin{aligned} {I}_{-1}=\{{\textbf{0}}\},\quad {I}_{0}=\{{\textbf{0}}\}\cup {\overline{P}}_n,\quad {I}_{n-1}={\overline{M}}_n. \end{aligned}$$
(40)

The \({I}_\mu \) defined in (39) are also given by

$$\begin{aligned} {I}_\mu ={\overline{M}}_n x{\overline{M}}_n, \end{aligned}$$
(41)

in which x is any element of \({\overline{M}}_n\) with \(h(x)= \mu \).

The non-principal ideals of \({\overline{M}}_n\) are precisely the following sets \({K}_\mu \),

$$\begin{aligned} {K}_\mu =\{y\in {\overline{M}}_n: h(y)< \mu \},\quad \mu \in (0,n-1]. \end{aligned}$$
(42)

It follows that the collections \(\{{I}_\mu \}\) and \(\{{K}_\mu \}\) are both strictly totally ordered; that is, \({I}_\mu \subset {I}_\xi \) and \({K}_\mu \subset {K}_\xi \) whenever \(\mu <\xi \).

Proof

Define the sets \(I_\mu \) by (39) and choose an \(x\in {\overline{M}}_n\) such that \(h(x)=\mu \). The iff statement of Lemma 2 can then be rephrased as: \(y\in I_\mu \iff y\in {\overline{M}}_n x {\overline{M}}_n\). We have thus shown (41). Therefore all principal ideals are given in (39).

The special cases in (40) follow from (18) and (39).

We now let I be an arbitrary ideal. From

$$\begin{aligned} {I}={\overline{M}}_n{I}{\overline{M}}_n=\cup _{x\in {I}}{\overline{M}}_n x{\overline{M}}_n, \end{aligned}$$
(43)

we see that I is a union of principal ideals. By (39), these are totally ordered sets. If I contains an element x such that \(h(y)\le h(x)\) for all \(y\in {I}\), then the union in (43) equals \({I}_\mu \), where \(\mu =h(x)=\textrm{max}_{y\in I}\{h(y)\}\), so that I is itself a principal ideal. If there is no such element \(x\in I\)—i.e., if the subset \(\{h(y): y\in {I}\}\) of \({\mathbb {R}}\) has no maximum—then the union in (43) is one of the totally ordered sets in (42), namely \({K}_\mu \), where \(\mu =\textrm{sup}_{y\in I}\{h(y)\}\).

It remains to show, conversely, that all the \({K}_\mu \) defined in (42) are ideals. Let \(y\in {\overline{M}}_n{K}_\mu \), so that \(y=zw\) with \(z\in {\overline{M}}_n\) and \(w\in {K}_\mu \). It follows from (20) that \(h(y)\le h(w)\). Since \(h(w)<\mu \), we have \(h(y)<\mu \), so that \(y\in {K}_\mu \). Hence \({\overline{M}}_n{K}_\mu \subseteq {K}_\mu \), so \({K}_\mu \) is a left ideal by definition. Similarly, \({K}_\mu \) is a right ideal. Thus \({K}_\mu \) is a two-sided ideal, completing our proof. \(\square \)

Theorem 6 of [3] discusses jth roots for the integer case: In \(M_n\), a nonzero element \(x=\prec k, d, m \succ \) has a jth root iff d is an integer multiple of j; and the jth root, when it exists, is unique. The theorem that follows shows that, in \({\overline{M}}_n\), a unique root y always exists. In other words (and in complete analogy to the case of \({\mathbb {R}}_{>0}\) and its subset \({\mathbb {N}}\)) any nonzero element \(x\in {\overline{M}}_n\) (\(x\in {\mathbb {R}}_{>0}\)) has a unique root \(y\in {\overline{M}}_n\) (\(y\in {\mathbb {R}}_{>0}\)); but in the special case \(x\in M_n\) (\(x\in {\mathbb {N}}\)), the said root y is not necessarily in \(M_n\) (in \({\mathbb {N}}\)).

Theorem 7

Let \(j\in {\mathbb {N}}\). The element \(x=\prec k, d, m \succ \,\,\in {\overline{M}}_n{\setminus }\{{\textbf{0}}\}\) has a unique jth root in \({\overline{M}}_n\). It is given by \(y=\prec k', d', m' \succ \,\,\in {\overline{M}}_n{\setminus }\{{\textbf{0}}\}\), where

$$\begin{aligned} k'=k+(j-1)\min (0,d'),\quad d'=\frac{d}{j},\quad m'=m+(j-1)\max (0,d'). \end{aligned}$$
(44)

Proof

Assume \(d\ge 0\), so that (2) implies

$$\begin{aligned} 1\le k\le m\le n-d. \end{aligned}$$
(45)

We seek \(y\in {\overline{M}}_n\) such that \(x=y^j\). As \(y\ne {\textbf{0}}\), we set \(y=\prec k', d', m' \succ \). By Lemma 1, \(d'=d/j\ge 0\). Invoking (2), we thus require

$$\begin{aligned} 1\le k'\le m'\le n-d'. \end{aligned}$$
(46)

By Lemma 1, \(x=y^j\) is equivalent to the three equations

$$\begin{aligned} k=k',\quad d=jd',\quad m=m'-(j-1)d'. \end{aligned}$$

These are uniquely solvable for \(k'\), \(d'\), \(m'\) and the solution is given in (44). Equations (44) and (45) then imply (46), completing the proof for \(d\ge 0\). We can extend to \(d<0\) by taking the inverse. \(\square \)

Remark 6

One could also consider the submonoid \(A_n\) of \({\overline{M}}_n\) in which \(k,d,m\in {\mathbb {Q}}\). For \(x\in A_n\setminus \{{\textbf{0}}\}\), the unique jth root y given in (44) also belongs to \(A_n\setminus \{{\textbf{0}}\}\). Thus in \(A_n\setminus \{{\textbf{0}}\}\), a unique root y always exists. Consequently, despite the aforementioned analogy of \({\overline{M}}_n\) to \({\mathbb {R}}_{>0}\) and \(M_n\) to \({\mathbb {N}}\), the submonoid \(A_n\) is not analogous to \({\mathbb {Q}}_{>0}\).

By (2) and (15), the set \({\overline{B}}_n=\{{\textbf{0}}\}\cup {\overline{P}}_n\) is given by

$$\begin{aligned} {\overline{B}}_n=\{{\textbf{0}}\}\cup {\overline{P}}_n=\{{\textbf{0}}\} \cup \{\prec k, d, k \succ : \ 1-\min (0,d)\le k \le n-\max (0,d)\}. \end{aligned}$$
(47)

Example 2 of [3] shows that, in the integer case, the subsemigroup \(B_n\) of \({\overline{B}}_n\) is isomorphic to a certain Brandt semigroup of finite cardinality. The theorem that follows is a generalization that can be proved in a number of ways. We give a proof that builds upon previous results in the present paper, as well as concepts and results on inverse semigroups that can be found in [6].

Theorem 8

\({\overline{B}}_n\) is a Brandt semigroup.

Proof

By (4), (8), and (47), \({\overline{B}}_n\) is an inverse subsemigroup of \({\overline{M}}_n\). Therefore \({\overline{B}}_n\) inherits its natural partial order \(\le \) from \({\overline{M}}_n\). By (47) and Corollary 1, \(x\le y\) iff \(x=y\) (\(x,y\in {\overline{P}}_n\)), meaning that in \({\overline{P}}_n={\overline{B}}_n\setminus \{{\textbf{0}}\}\), the \(\le \) reduces to an equality. Equivalently [6], all idempotents of \({\overline{B}}_n\setminus \{{\textbf{0}}\}\) are primitive.

Now let \(I\subseteq {\overline{B}}_n\) be an ideal of \({\overline{B}}_n\). Assume \(I\ne \{{\textbf{0}}\}\), so that some nonzero x belongs to I. Choose any y in \({\overline{B}}_n\). By Lemma 3, this y belongs to the principal ideal \({\overline{B}}_nx{\overline{B}}_n\), so that \({\overline{B}}_n\subseteq {\overline{B}}_nx{\overline{B}}_n\). As \({\overline{B}}_nx{\overline{B}}_n\subseteq I\), we further have \({\overline{B}}_n\subseteq I\), so \(I={\overline{B}}_n\). Therefore the only ideals of \({\overline{B}}_n\) are \(\{{\textbf{0}}\}\) and \({\overline{B}}_n\) itself, meaning that \({\overline{B}}_n\) is 0-simple.

Inverse, 0-simple semigroups with at least one primitive idempotent are Brandt semigroups [6], completing our proof. \(\square \)

Corollary 6 of [3] determines a minimal generating set for \(M_n\) that, for any n, consists of only three elements. Thus the rank of \(M_n\) (integer case) is 3. Since \({\overline{M}}_n\) is uncountable, the situation is very different. In what follows, we prove that \({{\overline{M}}}_n\) has infinite Sierpiński rank [2, 10, 11], meaning that there are countable subsets of \({{\overline{M}}}_n\) that cannot be generated by finitely many elements of \({{\overline{M}}}_n\).

Theorem 9

The Sierpiński rank of \({{\overline{M}}}_n\) is infinite.

Proof

It suffices to prove that the Sierpiński rank of \({\overline{S}}_n={\overline{M}}_n\setminus \{{\textbf{1}}\}\) is infinite, see (22). By (2), the countable set \(A_n = \{y_i: i \in {\mathbb {N}}\}\) with elements

$$\begin{aligned} y_i=\prec 1, 2^{-i}, n-2^{-i} \succ , \end{aligned}$$

is a well-defined subset of \({\overline{S}}_n\). By (16), the sequence of heights \(h(y_i)\) increases, with

$$\begin{aligned} \sup _{i\in {\mathbb {N}}}h(y_i)=\lim _{i\rightarrow \infty } \left( n-2^{-i}-1\right) =n-1. \end{aligned}$$
(48)

Assume that \(A_n\) is generated by a finite set with r elements \(G_n = \{g_1, \ldots , g_r\}\). For every \(i \in {\mathbb {N}}\) this implies that \(y_i = g_{i_1}g_{i_2}\ldots g_{i_s}\) for some \(i_1, i_2,\ldots , i_s \in \{1,\ldots , r\}\). By (20) this means that \(h(y_i) \le \min \{h(g_{i_1}),h(g_{i_2}),\ldots , h(g_{i_s})\} \le h_{\max }\), where \(h_{\max } = \max \{h(g_j): j \in \{1,\ldots , r\}\}\). Since \({\textbf{1}}\notin G_n\subset {\overline{S}}_n\), (17) and (18) give \(h_{\max }<n-1\), which contradicts (48). \(\square \)