 relation $(CR3)$ by:\
$(CR3')$ $\delta_s \sigma_1 \delta_r \delta_{s} \sigma_1 =  \sigma_1 \delta_r\delta_{s} \sigma_1 \delta_s$\
for $1 \le r<s \le 2g+p-1$ with $(r,s)\neq (p+2i, p+2i+1)$, $0\leq i \leq g-1$.

\(i) Assume (a) $\delta\sigma\delta\delta'\sigma = \sigma\delta\delta'\sigma\delta$, (b) $\sigma\delta\sigma\delta = \delta\sigma\delta\sigma$ and (c) $\sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$. Then, $\delta'\sigma\delta\delta'\sigma = \delta^{-1}\sigma^{-1}\sigma\delta\delta'\sigma\delta\delta'\sigma = 
\delta^{-1}\sigma^{-1}\delta\sigma\delta\delta'\sigma\delta'\sigma = 
\delta^{-1}\sigma^{-1}\delta\sigma\delta\sigma\delta'\sigma\delta' = 
\delta^{-1}\sigma^{-1} \sigma\delta\sigma\delta \delta'\sigma\delta' = \sigma\delta \delta'\sigma\delta'$.\
(ii) Assume (a) $\delta(\sigma\delta\delta'\sigma) = \sigma(\delta\delta'\sigma\delta)$, (b) $\delta'(\sigma\delta\delta'\sigma) = (\sigma\delta\delta'\sigma)\delta'$ and (c) $\sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$. Then (iii) is a consequence of (i). [$\Box$ ]{}

Since the relations of the presentation of ${B_n(\Sigma_{g,p})}$ are positive, one can define a monoid with the same presentation but as a monoid presentation. It is easy to see that the monoid we obtain doesnot inject in ${B_n(\Sigma_{g,p})}$, even if we add the relations of type $(CR3')$ to the presentation given in Theorem \[thm:presbg1\]. In fact the following relations, $$(CR3)_{k} \ \ \delta_
relation $ (CR3)$ by:\ 
 $ (CR3')$ $ \delta_s \sigma_1 \delta_r \delta_{s } \sigma_1 =   \sigma_1 \delta_r\delta_{s } \sigma_1 \delta_s$\ 
 for $ 1 \le r < s \le 2g+p-1 $ with $ (r, s)\neq (p+2i, p+2i+1)$, $ 0\leq i \leq g-1$. 

 \(i) Assume (a) $ \delta\sigma\delta\delta'\sigma = \sigma\delta\delta'\sigma\delta$, (b) $ \sigma\delta\sigma\delta = \delta\sigma\delta\sigma$ and (c) $ \sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$. Then, $ \delta'\sigma\delta\delta'\sigma = \delta^{-1}\sigma^{-1}\sigma\delta\delta'\sigma\delta\delta'\sigma = 
 \delta^{-1}\sigma^{-1}\delta\sigma\delta\delta'\sigma\delta'\sigma = 
 \delta^{-1}\sigma^{-1}\delta\sigma\delta\sigma\delta'\sigma\delta' = 
 \delta^{-1}\sigma^{-1 } \sigma\delta\sigma\delta \delta'\sigma\delta' = \sigma\delta \delta'\sigma\delta'$.\ 
 (ii) Assume (a) $ \delta(\sigma\delta\delta'\sigma) = \sigma(\delta\delta'\sigma\delta)$, (b) $ \delta'(\sigma\delta\delta'\sigma) = (\sigma\delta\delta'\sigma)\delta'$ and (vitamin c) $ \sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$. Then (iii) is a consequence of (iodine). [ $ \Box$ ] { } 

 Since the relations of the presentation of $ { B_n(\Sigma_{g, p})}$ are positive, one can specify a monoid with the same presentation but as a monoid display. It is easy to see that the monoid we obtain doesnot inject in $ { B_n(\Sigma_{g, p})}$, even if we lend the relations of type $ (CR3')$ to the display given in Theorem \[thm: presbg1\ ]. In fact the following relations, $ $ (CR3)_{k } \ \ \delta _
 repation $(CR3)$ by:\
$(CR3')$ $\delta_s \sinma_1 \delta_r \delta_{s} \sigma_1 =  \sigja_1 \delta_f\delta_{s} \sigma_1 \delta_s$\
for $1 \le c<s \lw 2g+p-1$ qith $(r,s)\neq (p+2i, p+2i+1)$, $0\leq i \leq g-1$.

\(i) Adsume (a) $\eelte\sigma\delta\delta'\sigma = \slyma\demba\delca'\wigma\delta$, (b) $\slgma\delta\sicma\delta = \deltd\skgla\delta\sigma$ and (c) $\sigma\delta'\sigma\dqlta' = \drlha'\sigma\delta'\sidma$. Uheg, $\demna'\wigma\delta\delta'\sigma = \delta^{-1}\sifma^{-1}\sigme\delta\delta'\sigms\delta\delta'\sigma = 
\delta^{-1}\sigla^{-1}\depta\sigma\delta\delta'\digma\delta'\sugma = 
\delta^{-1}\sigma^{-1}\ddlta\sigma\dtlca\sigma\deltz'\sigma\delta' = 
\delta^{-1}\sigma^{-1} \sigma\deuta\siyma\delta \deotq'\sihka\delta' = \sijma\delna \delta'\sigma\delta'$.\
(ii) Dssume (s) $\delta(\sigma\dekta\veltq'\sigma) = \sigma(\delta\delva'\sigma\delta)$, (b) $\delta'(\figma\deltd\dzlta'\sigma) = (\sigma\delta\eeota'\sicma)\dalta'$ qnd (c) $\aijma\selta'\slgme\delta' = \delfa'\sigma\deltq'\sigma$. Then (iii) is s sinsequence of (i). [$\Box$ ]{}

Synce the relations of the presentation mf ${G_n(\Sigma_{g,p})}$ are positive, ine can define a monold with tre same presentation but as a monoid presentation. It ia eawy gi dee that the monoid we obtain doesnot inject yh ${N_n(\Xigma_{g,p})}$, even in we add the relatoojs jf type $(CR3')$ to the pxsssntation given in Hheorem \[thm:peesbg1\]. In sact the following relations, $$(CR3)_{j} \ \ \delta_
relation $(CR3)$ by:\ $(CR3')$ $\delta_s \sigma_1 \delta_r = \delta_r\delta_{s} \sigma_1 for $1 \le (p+2i, $0\leq i \leq \(i) Assume (a) = \sigma\delta\delta'\sigma\delta$, (b) $\sigma\delta\sigma\delta = \delta\sigma\delta\sigma$ (c) $\sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$. Then, $\delta'\sigma\delta\delta'\sigma = \delta^{-1}\sigma^{-1}\sigma\delta\delta'\sigma\delta\delta'\sigma = \delta^{-1}\sigma^{-1}\delta\sigma\delta\delta'\sigma\delta'\sigma = \delta^{-1}\sigma^{-1}\delta\sigma\delta\sigma\delta'\sigma\delta' = \sigma\delta\sigma\delta \delta'\sigma\delta' = \sigma\delta \delta'\sigma\delta'$.\ (ii) Assume (a) $\delta(\sigma\delta\delta'\sigma) = \sigma(\delta\delta'\sigma\delta)$, (b) $\delta'(\sigma\delta\delta'\sigma) (\sigma\delta\delta'\sigma)\delta'$ (c) = Then (iii) is a consequence of (i). [$\Box$ ]{} Since the relations of the presentation of are positive, one can define a monoid with same presentation but as monoid presentation. It is easy see the monoid obtain inject ${B_n(\Sigma_{g,p})}$, even if add the relations of type $(CR3')$ to the presentation given in Theorem \[thm:presbg1\]. In fact the following $$(CR3)_{k} \
 relation $(CR3)$ by:\
$(CR3')$ $\delta_s \sigma_1 \Delta_r \deltA_{s} \sigMa_1 =  \sIgmA_1 \dElta_R\delTa_{s} \sigma_1 \delta_s$\
FOr $1 \le R<s \le 2g+p-1$ with $(r,s)\neq (p+2i, p+2i+1)$, $0\leq I \leq g-1$.

\(I) ASSume (A) $\DeLta\siGma\deltA\DeLTA'\siGmA = \sIgmA\dELtA\deltA'\siGma\deltA$, (b) $\sigma\delTa\sIgMa\delta = \delta\SIgMa\delta\sigMa$ aNd (c) $\sigma\deltA'\siGma\delTa' = \DelTA'\sigmA\deLta'\siGma$. TheN, $\Delta'\sIgma\delta\DeLTa'\sigmA = \Delta^{-1}\siGMA^{-1}\sIgma\Delta\delta'\sigma\deLTa\DElta'\sigma = 
\delta^{-1}\Sigma^{-1}\dElTA\sIGMa\dEltA\delta'\sigmA\dElta'\sIGma = 
\deltA^{-1}\SiGMA^{-1}\DelTA\sigma\delta\siGma\delta'\sigMA\deLta' = 
\delTa^{-1}\SigMA^{-1} \sigma\Delta\SiGMa\dElta \delta'\siGma\dElta' = \sigma\Delta \dELta'\sigmA\Delta'$.\
(ii) assume (A) $\deLta(\SigmA\DeLtA\deLtA'\SigMA) = \sIgmA(\DelTa\delta'\sIgMa\Delta)$, (B) $\delTA'(\SIGma\dEltA\delTa'\sigMa) = (\sigma\delta\dEltA'\sigMA)\deLta'$ anD (c) $\sigMa\deLtA'\sigmA\delta' = \Delta'\SiGma\delta'\sigma$. ThEn (iiI) is a conseQueNcE of (I). [$\BOx$ ]{}

SinCE the reLatIonS of the pResentaTIon Of ${b_N(\sIgMa_{g,p})}$ are positive, one CaN DEfIne a monoId with THe SaME presentAtIon But aS A MonoiD preSEnTation. It Is easy TO sEe That the MoNoid we ObTaiN doEsnot INjecT in ${B_n(\SIgma_{g,p})}$, evEn if wE Add the relationS Of type $(CR3')$ to the PReSENtATion GivEn in Theorem \[Thm:pREsbg1\]. in faCT tHe fOLlowiNg relAtIOnS, $$(cR3)_{k} \ \ \delta_
 relation $(CR3)$ by:\
$(C R3')$ $\de lta_s  \s igm a_ 1 \d elta _r \delta_{s}\ sigm a_1 =  \sigma_1 \delta _r\de lt a _{s} \s igma_ 1 \delt a _s $ \ 
fo r$1  \l er <s  \le2g+ p-1$ wi th $(r,s)\ neq  ( p+2i, p+2i+1 ) $,  $0\leq i\le q g-1$.

\(i ) A ssume(a ) $ \ delta \si gma\d elta\d e lta'\s igma = \s ig m a\delt a \delta' \ s ig ma\d elta$, (b) $\sigm a \d e lta\sigma\delt a = \d el t a\ s i gma \de lta\sigma$  a nd (c )  $\sigm a \d e l t a'\ s igma\delta' =  \delta'\si g ma\ delta' \s igm a $. The n, $\ de l ta' \sigma\delt a\de lta'\sigm a = \d e lta^{-1 } \sigma^ {-1}\s igm a\d elta \ de lt a'\ si g ma\ d el ta\ d elt a'\sigma  =  \delt a^{- 1 } \ s igma ^{- 1}\d elta\ sigma\delta\d elt a'\s i gma \delt a'\si gma=
\del ta^{-1 }\sig ma ^{-1}\delta\sig ma\d elta\sigm a\d el ta' \s igma\ d elta'= \de lta^{-1 }\sigma ^ {-1 }\ s i gm a\delta\sigma\delt a\ d el ta'\sigm a\delt a '=\ sigma\de lt a \ delt a ' \sigm a\de l ta '$.\
(ii ) Assu m e(a ) $\del ta (\sigm a\ del ta\ delta ' \sig ma) =\sigma(\ delta \ delta'\sigma\d e lta)$, (b) $\ d el t a '( \ sigm a\d elta\delta' \sig m a) =  (\s i gm a\d e lta\d elta' \s i gm a )\delta'$ and (c) $ \s igma\d elta' \sigma\delta'  = \delta' \ s i gma\delt a'\s i gm a $. Then (iii)is aconsequenc e  of (i).  [$\B ox$ ]{}
Since th e relation s o f t hepre s e nt ation of ${B_ n ( \Sig ma _{g,p}) }$are pos iti ve,  on e c an  define a  monoidwi th  t he  sa me pr e sentatio nbut  a s a  mono i d pres entat ion.  I ti s e asy tos ee t hatth emono idwe  obta in d o esn ot inje ct in ${B _n( \ Sigm a_ {g ,p})}$,  even if we a dd  the relat io nsof typ e $(CR3')$  to the presentation gi v en in T heo rem \ [thm :presbg1\ ].In fac t t h e foll owingrelat io ns, $ $(CR3 ) _ {k } \  \  \delta_
 relation_$(CR3)$ by:\
$(CR3')$_$\delta_s \sigma_1 \delta_r \delta_{s}_\sigma_1 =__\sigma_1 \delta_r\delta_{s}_\sigma_1_\delta_s$\
for $1 \le_r<s \le 2g+p-1$_with $(r,s)\neq (p+2i, p+2i+1)$,_$0\leq i \leq_g-1$.

\(i)_Assume (a) $\delta\sigma\delta\delta'\sigma = \sigma\delta\delta'\sigma\delta$, (b) $\sigma\delta\sigma\delta = \delta\sigma\delta\sigma$ and (c) $\sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$._Then,_$\delta'\sigma\delta\delta'\sigma =_\delta^{-1}\sigma^{-1}\sigma\delta\delta'\sigma\delta\delta'\sigma_=_
\delta^{-1}\sigma^{-1}\delta\sigma\delta\delta'\sigma\delta'\sigma = 
\delta^{-1}\sigma^{-1}\delta\sigma\delta\sigma\delta'\sigma\delta' = 
\delta^{-1}\sigma^{-1}_\sigma\delta\sigma\delta \delta'\sigma\delta' = \sigma\delta \delta'\sigma\delta'$.\
(ii)_Assume (a)_$\delta(\sigma\delta\delta'\sigma) = \sigma(\delta\delta'\sigma\delta)$, (b) $\delta'(\sigma\delta\delta'\sigma) = (\sigma\delta\delta'\sigma)\delta'$ and_(c)_$\sigma\delta'\sigma\delta' = \delta'\sigma\delta'\sigma$._Then (iii) is a consequence of (i). [$\Box$ ]{}

Since_the relations of the presentation of_${B_n(\Sigma_{g,p})}$ are positive,_one_can_define a monoid with_the same presentation but as a_monoid presentation. It is easy to_see that the monoid we obtain doesnot_inject in ${B_n(\Sigma_{g,p})}$, even if we_add the relations of type_$(CR3')$ to_the presentation given in Theorem_\[thm:presbg1\]. In fact_the following_relations, $$(CR3)_{k} \_\ \delta_