Congruences on the monoid of monotone injective partial selfmaps of \(L_n\times_{\text{lex}}\mathbb Z\) with co-finite domains and images. (Q2808433)

The authors study congruences on the semigroup \(\mathcal{JO}_\infty(\mathbb Z^n_{\text{lex}})\) of monotone injective partial selfmaps of the set of \(L_n\times_{\text{lex}}\mathbb Z\) having co-finite domains and images, where \(L_n\times_{\text{lex}}\mathbb Z\) is the lexicographic product of the \(n\)-elements chain and the set of integers with ordinary linear order. The structure of the sublattice of congruences on \(\mathcal{JO}_\infty(\mathbb Z^n_{\text{lex}})\), contained in the least group congruence, is described.