The monoid of monotone injective partial selfmaps of the poset $(\mathbb{N}^{3},\leqslant)$ with cofinite domains and images

TL;DR

This paper investigates the structure of a semigroup of injective, monotone partial selfmaps of the poset \\(\\mathbb{N}^n_{\leq}\) with cofinite domains and images, revealing its group of units, idempotents, and Green's relations, especially for the case n=3.

Contribution

It characterizes the algebraic structure of the semigroup of monotone injective partial selfmaps on \\(\\mathbb{N}^n_{\leq}\), including its units, idempotents, and Green's relations, with specific results for n=3.

Findings

The group of units is isomorphic to the permutation group \\(\\mathscr{S}_n\).

The subsemigroup of idempotents is described explicitly.

For n=3, Green's relations are characterized, and \\(\\mathscr{D} = \\mathscr{J}\) in the semigroup.

Abstract

Let $n$ be a positive integer $\geqslant 2$ and $\mathbb{N}^n_{\leqslant}$ be the $n$-th power of positive integers with the product order of the usual order on $\mathbb{N}$. In the paper we study the semigroup of injective partial monotone selfmaps of $\mathbb{N}^n_{\leqslant}$ with cofinite domains and images. We show that the group of units $H(\mathbb{I})$ of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$ is isomorphic to the group $\mathscr{S}_n$ of permutations of an $n$-element set, and describe the subsemigroup of idempotents of $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$. Also in the case $n=3$ we describe the property of elements of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$ as partial bijections of the poset $\mathbb{N}^3_{\leqslant}$ and Green's relations on the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$. In particular we show that $\mathscr{D}=\mathscr{J}$ in $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$.