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

DOI10.15673/TMGC.V12I3.1553MaRDI QIDQ5115641zbMATH OpenOpenAlexFDO

Authors Anatoliĭ Savchuk, O. Gutik

Publication date 17 August 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

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)

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$.

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

Cited in

(12)

• On a locally compact monoid of cofinite partial isometries of \(\mathbb{N}\) with adjoined zero
• 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
• The semigroup of monotone co-finite partial homeomorphisms of the real line
• ON THE MONOID OF COFINITE PARTIAL ISOMETRIES OF N WITH A BOUNDED FINITE NOISE
• The monoid of order isomorphisms between principal filters of \(\mathbb{N}^n\)
• On the monoid of cofinite partial isometries of \(\mathbb{N}\) with the usual metric
• THE MONOID OF ORDER ISOMORPHISMS BETWEEN PRINCIPAL FILTERS OF sigma N^kappa
• Semigroup of partial co-finite isometries of natural numbers
• On homomorphic retracts of the monoid \(\mathrm{I}\mathbb{N}_{\infty}\).
• The monoid of monotone injective partial selfmaps of the poset \((\mathbb{N}^3,\leq)\) with cofinite domains and images
• On monoids of monotone injective partial selfmaps of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ with co-finite domains and images

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)