_B(R/B)+1\leq n$. Then, by the same argument of proof of Theorem \[thB\], it follows that $\m_B$ is a self-dual ideal of $R$ satisfying $\ell_R(R/\m_B)\leq n$. In this case, Question \[Q1\] is affirmative for $R$.

0

Let $R=k[[t^3,t^{10},t^{11}]]$ be a numerical semigroup ring, where $k$ is a field. We give some observation on Question \[Q1\] fo $R$. $R$ has minimal multiplicity and is not almost Gorenstein. By Corollary, $bg(R)\geq 2$. In the case $bg(R)=2$, Question \[Q1\] is affirmative by Theorem \[thB\]. However, we don’t know whether $bg(R)=2$ or not.

Let $S=k[[t^3,t^{10}]]$ and $\mathfrak{n}$ be its maximal ideal. Then $S$ is Gorenstein and $S\subseteq R$ is module-finite residually rational birational extension with $\ell_S(R/S)=3$. In particular, $bg(R)\leq 3$. Put $B=\mathfrak{n}:\mathfrak{n}=k[[t^3,t^{10},t^{17}]]$. Then $\m_B:\m_B$ is equal to $k[[t^3,t^7]]$ and does not contain $R$. Therefore, we cannot apply Remark for this choice of $S$.

Let $S'=k[[t^6,t^9,t^{10}, t^{13},t^{14}]]$ and $\mathfrak{n}'$ be its maximal ideal. Then $S'$ is Gorenstein and $S'\subseteq R$ is module-finite residually rational birational extension with $\ell_{S'}(R/S')=3$. Put $B'=\mathfrak{n}':\mathfrak{n}'=k[[t^6,t^9,t^{10},t^{13},t^{14},t^{17}]]$. Then $\m_{B'}:\m_{B'}$ is equal to $k[[t^3,t^4]]$, which contains $R$. By Remark, $R$ has a self-dual ideal $I=\
_ B(R / B)+1\leq n$. Then, by the same argument of proof of Theorem \[thB\ ], it follows that $ \m_B$ is a self - double ideal of $ R$ meet $ \ell_R(R/\m_B)\leq n$. In this case, Question \[Q1\ ] is affirmative for $ R$. 

 0 

 Let $ gas constant = k[[t^3,t^{10},t^{11}]]$ be a numerical semigroup ring, where $ k$ is a field. We give some notice on Question \[Q1\ ] fo $ R$. $ R$ has minimal multiplicity and is not almost Gorenstein. By Corollary, $ bg(R)\geq 2$. In the event $ bg(R)=2 $, Question \[Q1\ ] is affirmative by Theorem \[thB\ ]. However, we do n’t know whether $ bg(R)=2 $ or not. 

 lease $ S = k[[t^3,t^{10}]]$ and $ \mathfrak{n}$ be its maximal ideal. Then $ S$ is Gorenstein and $ S\subseteq R$ is module - finite residually intellectual birational extension with $ \ell_S(R / S)=3$. In particular, $ bg(R)\leq 3$. place $ B=\mathfrak{n}:\mathfrak{n}=k[[t^3,t^{10},t^{17}]]$. Then $ \m_B:\m_B$ is equal to $ k[[t^3,t^7]]$ and does not contain $ R$. consequently, we cannot apply Remark for this choice of $ S$. 

 Let $ S'=k[[t^6,t^9,t^{10 }, t^{13},t^{14}]]$ and $ \mathfrak{n}'$ be its maximal ideal. Then $ S'$ is Gorenstein and $ S'\subseteq R$ is faculty - finite residually rational birational extension with $ \ell_{S'}(R / S')=3$. Put $ B'=\mathfrak{n}':\mathfrak{n}'=k[[t^6,t^9,t^{10},t^{13},t^{14},t^{17}]]$. Then $ \m_{B'}:\m_{B'}$ is equal to $ k[[t^3,t^4]]$, which contains $ R$. By Remark, $ R$ have a self - dual ideal $ I=\
_B(R/B)+1\peq n$. Then, by the same avgument of proof of Themrem \[tgB\], it foulows that $\m_B$ is a self-dual mdeao of $E$ satisfying $\ell_R(R/\m_B)\led n$. In thps case, Qyestmon \[Q1\] is affirmavjve for $R$.

0

Let $D=n[[t^3,t^{10},t^{11}]]$ ue a numerical xemigroup sing, where $k$ iv x yield. We give some observation on Quqstion \[A1\] vo $R$. $R$ has minymal iultjillcity and is not almost Gorenstejn. By Cmrollary, $bg(R)\grq 2$. In the case $bg(R)=2$, Questiln \[Q1\] is affirmative by Theorem \[thV\]. Horwver, we don’t know whether $bg(R)=2$ or nkt.

Let $S=k[[t^3,t^{10}]]$ and $\mathfrak{n}$ be its maxikal ideal. Jkwn $D$ is Gorenstxin anq $S\subseteq V$ is mogule-finote residually ravionql birational extensimn with $\ell_S(R/S)=3$. In karticular, $by(R)\leq 3$. Put $B=\mathfrak{n}:\narhfran{n}=k[[t^3,d^{10},t^{17}]]$. Tfwn $\o_B:\m_G$ ms squal ho $i[[t^3,t^7]]$ and doss not contqin $R$. Therefore, we vagbot apply Remzrk fow ehis choice of $S$.

Let $S'=k[[t^6,t^9,t^{10}, t^{13},t^{14}]]$ and $\mathfrdk{n}'$ be its maximal ideal. Tyen $S'$ is Gorenstein ajd $S'\subseeeq R$ is module-finite residually rational biratiotal eetdnsnin wigy $\fll_{S'}(R/S')=3$. Put $B'=\mathfrak{n}':\mathfrak{n}'=k[[t^6,t^9,t^{10},t^{13},t^{14},t^{17}]]$. Then $\m_{B'}:\i_{G'}$ os equal to $k[[t^3,t^4]]$, chich contains $R$. Bj Tgmark, $R$ has a relf-ducm jdeal $I=\
_B(R/B)+1\leq n$. Then, by the same argument of \[thB\], it that $\m_B$ is satisfying n$. In this Question \[Q1\] is for $R$. 0 Let $R=k[[t^3,t^{10},t^{11}]]$ be numerical semigroup ring, where $k$ is a field. We give some observation on \[Q1\] fo $R$. $R$ has minimal multiplicity and is not almost Gorenstein. By $bg(R)\geq In case Question \[Q1\] is affirmative by Theorem \[thB\]. However, we don’t know whether $bg(R)=2$ or not. Let and $\mathfrak{n}$ be its maximal ideal. Then $S$ Gorenstein and $S\subseteq R$ module-finite residually rational birational extension $\ell_S(R/S)=3$. particular, $bg(R)\leq Put Then is equal to and does not contain $R$. Therefore, we cannot apply Remark for this choice of $S$. Let $S'=k[[t^6,t^9,t^{10}, and $\mathfrak{n}'$ maximal ideal. $S'$ Gorenstein $S'\subseteq R$ is rational birational extension with $\ell_{S'}(R/S')=3$. Put is equal to $k[[t^3,t^4]]$, which contains $R$. By $R$ has self-dual ideal $I=\
_B(R/B)+1\leq n$. Then, by the same argumEnt of proof Of TheOreM \[thb\], iT folLows That $\m_B$ is a self-dUAl idEal of $R$ satisfying $\ell_R(R/\m_b)\leq n$. in THis cASe, questIon \[Q1\] is aFFiRMAtiVe FoR $R$.

0

LEt $r=K[[t^3,T^{10},t^{11}]]$ be a NumErical sEmigroup riNg, wHeRe $k$ is a field. WE GiVe some obseRvaTion on QuestiOn \[Q1\] Fo $R$. $R$ haS mIniMAl mulTipLicitY and is NOt almoSt GorenstEiN. by CoroLLary, $bg(R)\GEQ 2$. IN the Case $bg(R)=2$, Question \[Q1\] iS AfFIrmative by TheoRem \[thB\]. hoWEvER, We dOn’t Know whetheR $bG(R)=2$ or nOT.

Let $S=k[[t^3,T^{10}]]$ AnD $\MAThfRAk{n}$ be its maximAl ideal. Then $s$ Is GOrenstEiN anD $s\subseTeq R$ iS mODulE-finite resiDualLy rationaL biratIOnal extENsion wiTh $\ell_S(r/S)=3$. IN paRticULaR, $bG(R)\lEq 3$. pUt $B=\MAtHfrAK{n}:\mAthfrak{n}=K[[t^3,T^{10},t^{17}]]$. then $\m_b:\m_B$ iS EQUAl to $K[[t^3,t^7]]$ And dOes noT contain $R$. TherEfoRe, we CAnnOt appLy RemArk fOr This cHoice oF $S$.

Let $s'=k[[T^6,t^9,t^{10}, t^{13},t^{14}]]$ and $\mathfraK{n}'$ be Its maximaL idEaL. ThEn $s'$ is GoREnsteiN anD $S'\sUbseteq r$ is moduLE-fiNiTE REsIdually rational birAtIONaL extensiOn with $\ELl_{s'}(R/s')=3$. put $B'=\mathFrAk{n}':\MathFRAk{n}'=k[[t^6,T^9,t^{10},t^{13},t^{14},T^{17}]]$. thEn $\m_{B'}:\m_{B'}$ is Equal tO $K[[t^3,T^4]]$, wHich conTaIns $R$. By reMarK, $R$ hAs a seLF-duaL ideal $i=\
_B(R/B)+1\leq n$. Then, by  the sameargum ent  of  p roof  ofTheorem \[thB\ ] , it  follows that $\m_B$ i s a s el f -dua l  i dealof $R$s at i s fyi ng  $ \el l_ R (R /\m_B )\l eq n$.In this ca se,  Q uestion \[Q1 \ ]is affirma tiv e for $R$.
0
Let $R =k [[t ^ 3,t^{ 10} ,t^{1 1}]]$b e a nu merical s em i groupr ing, wh e r e$k$is a field. We gi v es ome observatio n on Q ue s ti o n  \[ Q1\ ] fo $R$.$R $ has minimal mu l t i pli c ity and is no t almost Go r ens tein.By  Co r ollary , $bg (R ) \ge q 2$. In th e ca se $bg(R) =2$, Q u estion\ [Q1\] i s affi rma tiv e by Th eo rem  \ [ thB \ ].  Ho w eve r, we do n’ tknowwhet h e r $bg( R)= 2$ o r not .

Let $S=k[[ t^3 ,t^{ 1 0}] ]$ an d $\m athf ra k{n}$  be it s max im al ideal. Then$S$is Gorens tei nand  $ S\sub s eteq R $ i s m odule-f inite r e sid ua l l y  r ational birational  e x t en sion wit h $\el l _S (R / S)=3$. I npar ticu l a r, $b g(R) \ le q 3$. Pu t $B=\ m at hf rak{n}: \m athfra k{ n}= k[[ t^3,t ^ {10} ,t^{17 }]]$. Th en $\ m _B:\m_B$ is eq u al to $k[[t^3 , t^ 7 ] ]$ anddoe s not conta in $ R $. T here f or e,w e can not a pp l yR emark for this choi ce  of $S $.

L et $S'=k[[t^6 ,t^9,t^{10 } , t^{13},t ^{14 } ]] $  and $\mathfra k{n}' $ be its m a ximal id eal.Then $S' $ is Gore n s tein and  $S '\s ubs ete q R$  is module-fi n i te r es idually  ra tionalbir ati ona l e xt ension wi th $\ell _{ S' }( R/ S') =3$.P ut $B'=\ ma thf ra k{n }':\m a thfrak {n}'= k[[t ^6 ,t ^ 9,t ^{10},t ^ {1 3 } ,t^{ 14 }, t^{1 7}] ]$ . The n $\ m _{B '}:\m_{ B'}$ is e qua l  to$k [[ t^3,t^4 ]]$, which co nt ains $R$.By  Re mark,$ R $ has aself-dual ideal $I=\
_B(R/B)+1\leq n$._Then, by_the same argument of_proof of_Theorem_\[thB\], it_follows_that $\m_B$ is_a self-dual ideal_of $R$ satisfying $\ell_R(R/\m_B)\leq_n$. In this_case,_Question \[Q1\] is affirmative for $R$.

0

Let $R=k[[t^3,t^{10},t^{11}]]$ be a numerical semigroup ring, where $k$_is_a field._We_give_some observation on Question \[Q1\]_fo $R$. $R$ has minimal_multiplicity and_is not almost Gorenstein. By Corollary, $bg(R)\geq 2$._In_the case $bg(R)=2$,_Question \[Q1\] is affirmative by Theorem \[thB\]. However, we_don’t know whether $bg(R)=2$ or not.

Let_$S=k[[t^3,t^{10}]]$ and $\mathfrak{n}$_be_its_maximal ideal. Then $S$_is Gorenstein and $S\subseteq R$ is_module-finite residually rational birational extension with_$\ell_S(R/S)=3$. In particular, $bg(R)\leq 3$. Put $B=\mathfrak{n}:\mathfrak{n}=k[[t^3,t^{10},t^{17}]]$._Then $\m_B:\m_B$ is equal to $k[[t^3,t^7]]$_and does not contain $R$._Therefore, we_cannot apply Remark for this_choice of $S$.

Let_$S'=k[[t^6,t^9,t^{10}, t^{13},t^{14}]]$_and $\mathfrak{n}'$ be_its maximal ideal. Then $S'$ is_Gorenstein and $S'\subseteq_R$ is module-finite residually rational birational_extension_with $\ell_{S'}(R/S')=3$. Put_$B'=\mathfrak{n}':\mathfrak{n}'=k[[t^6,t^9,t^{10},t^{13},t^{14},t^{17}]]$._Then_$\m_{B'}:\m_{B'}$ is_equal to $k[[t^3,t^4]]$,_which_contains $R$._By_Remark, $R$ has a self-dual ideal_$I=\