On the monoid of cofinite partial isometries of N^n with the usual metric

DOI10.15673/TMGC.V12I3.1553zbMATH Open1452.20058arXiv1909.08823OpenAlexW2997867764MaRDI QIDQ5115641FDOQ5115641

Authors: Anatoliĭ Savchuk, O. Gutik 

Publication date: 17 August 2020

Published in: Proceedings of the International Geometry Center (Search for Journal in Brave)

Abstract: In this paper we study the structure of the monoid $mathbfImathbb{N}_{infty}^n$ of cofinite partial isometries of the $n$-th power of the set of positive integers $mathbbN$ with the usual metric for a positive integer $ngeqslant2$. We describe the elements of the monoid $mathbfImathbb{N}_{infty}^n$ as partial transformation of $mathbb{N}^n$, the group of units and the subset of idempotents of the semigroup $mathbfImathbb{N}_{infty}^n$, the natural partial order and Green's relations on $mathbfImathbb{N}_{infty}^n$. In particular we show that the quotient semigroup $mathbfImathbb{N}_{infty}^n/mathfrak{C}_{extsfmg}$, where $mathfrak{C}_{extsfmg}$ is the minimum group congruence on $mathbfImathbb{N}_{infty}^n$, is isomorphic to the symmetric group $mathscr{S}_n$ and $mathscrD=mathscrJ$ in $mathbfImathbb{N}_{infty}^n$. Also, we prove that for any integer $ngeqslant2$ the semigroup $mathbfImathbb{N}_{infty}^n$ is isomorphic to the semidirect product $mathscr{S}_{n}ltime{s}_{m}athfrakh(mathscr{P}_{infty}(mathbb{N}^n),cup)$ of the free semilattice with the unit $(mathscr{P}_{infty}(mathbb{N}^n),cup)$ by the symmetric group $mathscr{S}_n$.

Full work available at URL: https://arxiv.org/abs/1909.08823

Recommendations

• On the monoid of cofinite partial isometries of \(\mathbb{N}\) with the usual metric
• Semigroup of partial co-finite isometries of natural numbers
• Topological monoids of monotone injective partial selfmaps of \(\mathbb N\) with cofinite domain and image
• On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers
• On Monoids of Injective Partial Cofinite Selfmaps

zbMATH Keywords

semidirect productsymmetric groupinverse semigroupnatural partial orderpartial bijectionpartial isometryGreen's relationsfree semilatticeleast group congruence\(F\)-inverse semigroup

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Representation of semigroups; actions of semigroups on sets (20M30) Inverse semigroups (20M18)

Cited In (7)

• The monoid of order isomorphisms between principal filters of \(\mathbb{N}^n\)
• On monoids of monotone injective partial selfmaps of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ with co-finite domains and images
• A half-factorial locally right Garside monoid and the inverse monoid of cofinite monotone partial bijections on \(\mathbb N^\ast\)
• Topological monoids of monotone injective partial selfmaps of \(\mathbb N\) with cofinite domain and image
• Semigroup of partial co-finite isometries of natural numbers
• The semigroup of monotone co-finite partial homeomorphisms of the real line
• On the monoid of cofinite partial isometries of \(\mathbb{N}\) with the usual metric

This page was built for publication: On the monoid of cofinite partial isometries of \(\mathbb{N}^n\) with the usual metric

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115641)