 $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ implies that $\chi$ and its inverse $\chi^{-1}$ are elements of $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$. Simple verifications show that $\mathbb{I}=\chi\chi^{-1}=\chi\mathbb{I}\chi^{-1}$. Also, since $\mathfrak{C}$ is a congruence on the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ we conclude that $\mathbb{I}=\chi\mathbb{I}\chi^{-1}\mathfrak{C}\chi\kappa\chi^{-1}$.

Now simple calculations imply that

-   if $m_i>0$ then $$(k)\chi_i\kappa_i\chi_i^{-1}= \left\{
      \begin{array}{cl}
        k+m_i,            & \hbox{if~}\, k\geqslant 1;\\
        \hbox{undefined}, & \hbox{if~}\, -m_i<k\leqslant 0;\\
        k+m_i,            & \hbox{if~}\, k\leqslant-m_i,
      \end{array}
    \right.$$

and similarly

-   if $m_i<0$ then $$(k)\chi_i\kappa_i\chi_i^{-1}= \left\{
      \begin{array}{cl}
        k+m_i,            & \hbox{if~}\, k\geqslant-m_i;\\
        \hbox{undefined}, & \hbox{if~}\, 0\leqslant k<-m_i;\\
        k+m_i,            & \hbox{if~}\, k\leqslant-1.
      \end{array}
    \right.$$

Next we put $\psi=\chi\kappa\chi^{-1}$, and hence we obtain that $\mathbb{I}\mathfrak{C}\psi$ but $\operatorname{dom}\psi\neq\mathbb{Z}$. This completes the proof of our lemma.

\[remark-3\] The proof of Lemma \[lemma-2\] implies that for element $\psi=(\psi_1,\ldots,\psi_n)$ the following property holds:

> $\psi_i$ is not
$ \mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ implies that $ \chi$ and its inverse $ \chi^{-1}$ are elements of $ \mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$. Simple verifications picture that $ \mathbb{I}=\chi\chi^{-1}=\chi\mathbb{I}\chi^{-1}$. besides, since $ \mathfrak{C}$ is a congruence on the semigroup $ \mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ we conclude that $ \mathbb{I}=\chi\mathbb{I}\chi^{-1}\mathfrak{C}\chi\kappa\chi^{-1}$. 

 nowadays bare calculations imply that 

 -    if $ m_i>0 $ then $ $ (k)\chi_i\kappa_i\chi_i^{-1}= \left\ { 
       \begin{array}{cl } 
         k+m_i,             & \hbox{if~}\, k\geqslant 1;\\ 
         \hbox{undefined }, & \hbox{if~}\, -m_i < k\leqslant 0;\\ 
         k+m_i,             & \hbox{if~}\, k\leqslant - m_i, 
       \end{array } 
     \right.$$ 

 and similarly 

 -    if $ m_i<0 $ then $ $ (k)\chi_i\kappa_i\chi_i^{-1}= \left\ { 
       \begin{array}{cl } 
         k+m_i,             & \hbox{if~}\, k\geqslant - m_i;\\ 
         \hbox{undefined }, & \hbox{if~}\, 0\leqslant k<-m_i;\\ 
         k+m_i,             & \hbox{if~}\, k\leqslant-1. 
       \end{array } 
     \right.$$ 

 Next we arrange $ \psi=\chi\kappa\chi^{-1}$, and therefore we obtain that $ \mathbb{I}\mathfrak{C}\psi$ but $ \operatorname{dom}\psi\neq\mathbb{Z}$. This completes the proof of our lemma. 

 \[remark-3\ ] The proof of Lemma   \[lemma-2\ ] implies that for chemical element $ \psi=(\psi_1,\ldots,\psi_n)$ the following property hold: 

 > $ \psi_i$ is not
 $\mahhscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operxtorname{lex}})$ implies thet $\chi$ znd its knverse $\chi^{-1}$ are elements of $\larhscr{U\!O}\!_{\infty}(\mathbb{Z}^n_{\operatofname{lex}})$. Dimple vwrifmcations show thef $\mathbn{N}=\chi\cgl^{-1}=\chi\mctibb{I}\chi^{-1}$. Also, sikce $\mathfran{C}$ is a congruanze on the semigroup $\mathscr{I\!O}\!_{\infty}(\matrbb{Z}^n_{\oprrwtorname{lex}})$ we conbltde fhat $\mathbb{I}=\chi\mathbb{I}\chi^{-1}\mathfrak{C}\dhi\kappe\chi^{-1}$.

Now simple valculations imply that

-   lf $m_l>0$ then $$(k)\chi_i\kappa_i\fhi_i^{-1}= \left\{
      \fwgin{array}{cl}
        k+m_i,            & \hbox{if~}\, k\geqslant 1;\\
        \hbox{uvdefiued}, & \hbox{if~}\, -m_u<k\lfxslant 0;\\
        k+i_i,            & \hbox{ix~}\, k\leqskant-m_i,
      \enc{arcay}
    \right.$$

and similarly

-   if $m_i<0$ then $$(k)\chi_y\kappa_i\chh_i^{-1}= \left\{
      \begin{aerqy}{cl}
        k+o_u,            & \hblx{ih~}\, k\geqslant-j_i;\\
        \hvox{undefined}, & \hbox{ig~}\, 0\jvaslant k<-m_i;\\
        h+m_y,            & \hbox{if~}\, k\leqslant-1.
      \end{drrzy}
    \right.$$

Next we put $\psi=\chi\kappa\chi^{-1}$, and hejce we obeain that $\mathbb{I}\mathfrak{C}\psi$ but $\operatorname{dom}\[si\nes\oatknn{Z}$. Tfus completes the proof of our lemma.

\[remark-3\] The pwkog pf Lemma \[lemma-2\] lmplies that for ekelemj $\psi=(\psi_1,\ldots,\pri_n)$ thz fkllowing property jolds:

> $\pfi_i$ iw not
$\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ implies that $\chi$ and its inverse elements $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$. Simple show that $\mathbb{I}=\chi\chi^{-1}=\chi\mathbb{I}\chi^{-1}$. congruence the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ conclude that $\mathbb{I}=\chi\mathbb{I}\chi^{-1}\mathfrak{C}\chi\kappa\chi^{-1}$. simple calculations imply that - if then $$(k)\chi_i\kappa_i\chi_i^{-1}= \left\{ \begin{array}{cl} k+m_i, & \hbox{if~}\, k\geqslant 1;\\ \hbox{undefined}, & \hbox{if~}\, -m_i<k\leqslant k+m_i, & \hbox{if~}\, k\leqslant-m_i, \end{array} \right.$$ and similarly - if $m_i<0$ then $$(k)\chi_i\kappa_i\chi_i^{-1}= \begin{array}{cl} & k\geqslant-m_i;\\ & \hbox{if~}\, 0\leqslant k<-m_i;\\ k+m_i, & \hbox{if~}\, k\leqslant-1. \end{array} \right.$$ Next we put $\psi=\chi\kappa\chi^{-1}$, and hence obtain that $\mathbb{I}\mathfrak{C}\psi$ but $\operatorname{dom}\psi\neq\mathbb{Z}$. This completes the of our lemma. \[remark-3\] proof of Lemma \[lemma-2\] implies for $\psi=(\psi_1,\ldots,\psi_n)$ the property > is not
 $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\opeRatorname{lEx}})$ impLieS thAt $\Chi$ aNd itS inverse $\chi^{-1}$ are ELemeNts of $\mathscr{I\!O}\!_{\infty}(\matHbb{Z}^n_{\OpERatoRNaMe{lex}})$. simple vERiFICatIoNs ShoW tHAt $\MathbB{I}=\cHi\chi^{-1}=\chI\mathbb{I}\chI^{-1}$. AlSo, Since $\mathfraK{c}$ iS a congruenCe oN the semigrouP $\maThscr{I\!o}\!_{\iNftY}(\MathbB{Z}^n_{\OperaTornamE{Lex}})$ we cOnclude thAt $\MAthbb{I}=\CHi\mathbB{i}\ChI^{-1}\matHfrak{C}\chi\kappa\chi^{-1}$.

nOw SImple calculatiOns impLy THaT

-   IF $m_i>0$ TheN $$(k)\chi_i\kappA_i\Chi_i^{-1}= \lEFt\{
      \begin{ARrAY}{CL}
        k+m_I,            & \Hbox{if~}\, k\geqslaNt 1;\\
        \hbox{undefINed}, & \Hbox{if~}\, -M_i<K\leQSlant 0;\\
        k+M_i,            & \hboX{iF~}\, K\leQslant-m_i,
      \end{ArraY}
    \right.$$

and SimilaRLy

-   if $m_i<0$ tHEn $$(k)\chi_i\Kappa_i\Chi_I^{-1}= \leFt\{
      \beGIn{ArRay}{Cl}
        K+M_i,            & \hBOx{If~}\, k\GEqsLant-m_i;\\
        \hbOx{UnDefinEd}, & \hbOX{IF~}\, 0\LeqsLanT k<-m_i;\\
        K+m_i,            & \hbOx{if~}\, k\leqslant-1.
      \End{ArraY}
    \RigHt.$$

NexT we puT $\psi=\ChI\kappA\chi^{-1}$, anD hencE wE obtain that $\mathBb{I}\mAthfrak{C}\pSi$ bUt $\OpeRaTornaME{dom}\psI\neQ\maThbb{Z}$. ThIs complETes ThE PROoF of our lemma.

\[remark-3\] THe PROoF of Lemma \[Lemma-2\] iMPlIeS That for eLeMenT $\psi=(\PSI_1,\ldotS,\psi_N)$ ThE followiNg propERtY hOlds:

> $\psi_I$ iS not
 $\mathscr{I\!O}\!_{\infty }(\mathbb{ Z}^n_ {\o per at orna me{l ex}})$ implies that  $\chi$ and its invers e $\c hi ^ {-1} $  a re el ementso f$ \ mat hs cr {I\ !O } \! _{\in fty }(\math bb{Z}^n_{\ ope ra torname{lex} } )$ . Simple v eri fications sh owthat $ \m ath b b{I}= \ch i\chi ^{-1}= \ chi\ma thbb{I}\c hi ^ {-1}$. Also, s i n ce  $\m athfrak{C}$ is ac on g ruence on thesemigr ou p  $ \ m ath scr {I\!O}\!_{ \i nfty} ( \mathbb { Z} ^ n _ {\o p eratorname{le x}})$ we co n clu de tha t$\m a thbb{I }=\ch i\ m ath bb{I}\chi^{ -1}\ mathfrak{ C}\chi \ kappa\c h i^{-1}$ .

Now  si mpl e ca l cu la tio ns imp l ytha t 

-    if $m _i >0 $ the n $$ ( k ) \ chi_ i\k appa _i\ch i_i^{-1}= \le ft\ {
   \begi n{arr ay}{ cl }
       k +m_i,            & \hb ox{i f~}\, k\g eqs la nt1; \\
      \ hbo x{u ndefine d}, & \ h box {i f ~ } \,  -m_i<k\leqslant 0 ;\ \        k+ m_i,       & \h bo x{i f~}\ , k\leq slan t -m _i,
     \end { ar ra y}
   \r ight.$ $
an d s imila r ly
-   if  $m_i<0$  then $$(k)\chi_i\ka p pa_i\chi_i^{- 1 }= \ le f t\{     \begin{a rray } {cl} 
     k + m_i,      & \hbox{if~}\, k\ge qs lant-m _i;\\ 
        \hbo x{undefine d } ,  & \hbox {if~ } \, 0\leqslant k<- m_i;\ \
       k +m_i,          & \h box{if~}\ , k\leqsla nt- 1.    \ e nd {array}
    \ r i ght. $$ 

Nextweput $\p si= \ch i\k app a\ chi^{-1}$ , and he nc ewe  o bta in th a t $\math bb {I} \m ath frak{ C }\psi$  but$\op er at o rna me{dom} \ ps i \ neq\ ma th bb{Z }$.  T his c ompl e tes  the pr oof of ou r l e mma. 
\[ remark- 3\] The proof  o f Lemma \[ le mma -2\] i m p lies tha t for element $\psi=(\p s i_1,\ld ots ,\psi _n)$  the foll owi ng pro per t y hold s:

>$\psi _i $ i s not
 $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$_implies that_$\chi$ and its inverse_$\chi^{-1}$ are_elements_of $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$._Simple_verifications show that_$\mathbb{I}=\chi\chi^{-1}=\chi\mathbb{I}\chi^{-1}$. Also, since_$\mathfrak{C}$ is a congruence_on the semigroup_$\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$_we conclude that $\mathbb{I}=\chi\mathbb{I}\chi^{-1}\mathfrak{C}\chi\kappa\chi^{-1}$.

Now simple calculations imply that

-   if $m_i>0$ then $$(k)\chi_i\kappa_i\chi_i^{-1}=_\left\{
_ ___ \begin{array}{cl}
   _    k+m_i,_ _       __& \hbox{if~}\, k\geqslant_1;\\
        \hbox{undefined},_& \hbox{if~}\, -m_i<k\leqslant 0;\\
  _  ___k+m_i,   _     _  & \hbox{if~}\, k\leqslant-m_i,
 _    \end{array}
  _ \right.$$

and similarly

-   if_$m_i<0$ then $$(k)\chi_i\kappa_i\chi_i^{-1}= \left\{
 _ _  \begin{array}{cl}
  _  _ _k+m_i,  _     _  _& \hbox{if~}\, k\geqslant-m_i;\\
   __  _\hbox{undefined},_&_\hbox{if~}\, 0\leqslant_k<-m_i;\\
  __ __ k+m_i,    __      &_\hbox{if~}\, k\leqslant-1.
  __  \end{array}
 _  \right.$$

Next we put_$\psi=\chi\kappa\chi^{-1}$, and hence we obtain that_$\mathbb{I}\mathfrak{C}\psi$ but_$\operatorname{dom}\psi\neq\mathbb{Z}$. This_completes the proof of our lemma.

\[remark-3\] The proof of Lemma \[lemma-2\] implies_that for element $\psi=(\psi_1,\ldots,\psi_n)$ the following_property holds:

> $\psi_i$ is_not