n\geq1$ such that $$(IT+Tx)^{n+1}(N\otimes_RT)= IT(IT+Tx)^n(N\otimes_RT).$$ Hence $$(I+Rx)^{n+1}(N\otimes_RT)= I(I+Rx)^n(N\otimes_RT).$$ Therefore $$(I+Rx)^{n+1}N \otimes_RT= I(I+Rx)^nN \otimes_RT.$$ Now, by faithfully flatness, we deduce that $(I+Rx)^{n+1}N= I(I+Rx)^nN$; hence $x\in I^{(N)}_a$, by [@STY Corollary 1.5]. Therefore the conclusion follows, since the opposite inclusion is clear by the faithfully flatness of $T$ over $R$.

\[2.8\] Before continuing, let us fix two notations, which are employed by Schenzel in [@Sc3] and McAdam in [@Mc2] in the case $N= R$, respectively.

For any multiplicatively closed subset $S$ of $R$ and for each ideal $J$ of $R$ we use $S(J)$ to denote the ideal $\cup_{s\in
S}(J:_Rs).$ Note that $${\operatorname{Ass}}_RR/S(J)= \{ \mathfrak{p}\in {\operatorname{Ass}}_R R/J \,:\,\mathfrak{p}\cap
S=\emptyset\}.$$ In the case $N$ is a finitely generated $R$-module and $S=R\backslash \bigcup \{\frak p\in {\operatorname{mAss}}_RN/JN\}$, we use $J_a^{\langle N \rangle}$ to denote the ideal $S(J_a^{(N)})$. In particular, for every integer $k\geq1$ and every prime ideal $\mathfrak{p}$ of $R$, we have $$(\mathfrak{p}^k)^{\langle N \rangle}_a= \bigcup _{s\in R\backslash
\mathfrak{p}}((\mathfrak{p}^k)^{(N)}_a:_Rs).$$

\[2.9\] Let $R$ be a Noetherian ring and let $N$ be a finitely generated $R$-module.

-   If $(R, \mathfrak{m})$ is local and $\mathfrak{p}\in {\operatorname{mAss}}_RN,$ then there exists an element $x\
n\geq1 $ such that $ $ (IT+Tx)^{n+1}(N\otimes_RT)= IT(IT+Tx)^n(N\otimes_RT).$$ Hence $ $ (I+Rx)^{n+1}(N\otimes_RT)= I(I+Rx)^n(N\otimes_RT).$$ Therefore $ $ (I+Rx)^{n+1}N \otimes_RT= I(I+Rx)^nN \otimes_RT.$$ Now, by faithfully flatness, we deduce that $ (I+Rx)^{n+1}N= I(I+Rx)^nN$; therefore $ x\in I^{(N)}_a$, by [ @STY Corollary 1.5 ]. consequently the decision follows, since the opposite inclusion body is clear by the faithfully flatness of $ T$ over $ R$. 

 \[2.8\ ] Before continuing, permit us fix two notations, which are use by Schenzel in [ @Sc3 ] and McAdam in [ @Mc2 ] in the case $ N= R$, respectively. 

 For any multiplicatively closed subset $ S$ of $ R$ and for each ideal $ J$ of $ R$ we practice $ S(J)$ to denote the ideal $ \cup_{s\in 
 S}(J:_Rs).$ Note that $ $ { \operatorname{Ass}}_RR / S(J)= \ { \mathfrak{p}\in { \operatorname{Ass}}_R R / J \,:\,\mathfrak{p}\cap 
 S=\emptyset\}.$$ In the shell $ N$ is a finitely generated $ R$-module and $ S = R\backslash \bigcup \{\frak p\in { \operatorname{mAss}}_RN / JN\}$, we use $ J_a^{\langle N \rangle}$ to denote the ideal $ S(J_a^{(N)})$. In particular, for every integer $ k\geq1 $ and every premier ideal $ \mathfrak{p}$ of $ R$, we have $ $ (\mathfrak{p}^k)^{\langle N \rangle}_a= \bigcup _ { s\in R\backslash 
 \mathfrak{p}}((\mathfrak{p}^k)^{(N)}_a:_Rs).$$ 

 \[2.9\ ] Let $ R$ be a Noetherian ring and lease $ N$ be a finitely generated $ R$-module. 

 -    If $ (R, \mathfrak{m})$ is local and $ \mathfrak{p}\in { \operatorname{mAss}}_RN,$ then there exists an component $ x\
n\gee1$ such that $$(IT+Tx)^{n+1}(N\otimes_VT)= IT(IT+Tx)^n(N\otimes_RT).$$ Henre $$(I+Rx)^{n+1}(H\otimes_RG)= I(I+Rx)^n(N\otimes_RT).$$ Therefore $$(I+Cx)^{n+1}N \otimtf_RT= I(I+Rx)^nN \otimes_RG.$$ Now, by vaithfuloy foqtness, we vsduce tmct $(I+Rs)^{k+1}N= I(I+Xx)^iN$; hence $x\in I^{(N)}_s$, by [@STY Cmrollary 1.5]. Therafurz the conclusion follows, since the o[posite ijclusion is clgar bj ehe raithfully flatness of $T$ over $R$.

\[2.8\] Berore coitinuing, let us fix two notations, which age elployed by Schenzep in [@Sc3] and McAqqm in [@Mc2] in ghe case $N= R$, respectivgly.

For any multiplicatively closdd suyset $S$ of $R$ abd vmr each ideel $J$ os $R$ we use $S(M)$ to detote thr ideal $\cup_{s\in
X}(J:_Rv).$ Nite that $${\operatorname{Ess}}_RR/S(J)= \{ \mathfrak{p}\in {\operatortaje{Ass}}_R R/J \,:\,\mathfraj{p}\xap
S=\ekptyvet\}.$$ Kb tfe daxe $N$ is w fmnitely gensrated $R$-modyle and $S=R\backslash \bytcup \{\frak p\in {\operaeowname{mAss}}_RN/JN\}$, we use $J_a^{\langle N \rangle}$ uo dehote the ideal $S(J_a^{(N)})$. In particular, for every lnteger $k\deq1$ and every prime ideal $\mathfrak{p}$ of $R$, we have $$(\kathfcay{p}^k)^{\oakgle B \gangle}_a= \bigcup _{s\in R\backslash
\mathfrak{p}}((\mathfrah{l}^k)^{(M)}_a:_Gs).$$

\[2.9\] Let $R$ be a Noebherian ring and lrt $N$ fe a finitely genercfes $R$-module.

-   If $(R, \mwthfrak{i})$ is oocal and $\matnfrak{p}\in {\operatorname{mAss}}_RN,$ then there vxisrs an element $x\
n\geq1$ such that $$(IT+Tx)^{n+1}(N\otimes_RT)= IT(IT+Tx)^n(N\otimes_RT).$$ Hence $$(I+Rx)^{n+1}(N\otimes_RT)= $$(I+Rx)^{n+1}N I(I+Rx)^nN \otimes_RT.$$ by faithfully flatness, hence I^{(N)}_a$, by [@STY 1.5]. Therefore the follows, since the opposite inclusion is by the faithfully flatness of $T$ over $R$. \[2.8\] Before continuing, let us two notations, which are employed by Schenzel in [@Sc3] and McAdam in [@Mc2] the $N= respectively. any multiplicatively closed subset $S$ of $R$ and for each ideal $J$ of $R$ we use to denote the ideal $\cup_{s\in S}(J:_Rs).$ Note that \{ \mathfrak{p}\in {\operatorname{Ass}}_R R/J S=\emptyset\}.$$ In the case $N$ a generated $R$-module $S=R\backslash \{\frak {\operatorname{mAss}}_RN/JN\}$, we use N \rangle}$ to denote the ideal $S(J_a^{(N)})$. In particular, for every integer $k\geq1$ and every prime ideal of $R$, $$(\mathfrak{p}^k)^{\langle N \bigcup R\backslash \[2.9\] Let $R$ Noetherian ring and let $N$ be $R$-module. - If $(R, \mathfrak{m})$ is local and {\operatorname{mAss}}_RN,$ then exists an element $x\
n\geq1$ such that $$(IT+Tx)^{n+1}(N\otimes_Rt)= IT(IT+Tx)^n(N\oTimes_rT).$$ HEncE $$(I+rx)^{n+1}(N\OtimEs_RT)= I(I+Rx)^n(N\otimES_RT).$$ THerefore $$(I+Rx)^{n+1}N \otimes_RT= I(i+Rx)^nN \OtIMes_Rt.$$ noW, by faIthfullY FlATNesS, wE dEduCe THaT $(I+Rx)^{n+1}n= I(I+rx)^nN$; henCe $x\in I^{(N)}_a$, by [@sTY coRollary 1.5]. ThereFOrE the concluSioN follows, sincE thE opposItE inCLusioN is Clear By the fAIthfulLy flatnesS oF $t$ over $R$.

\[2.8\] bEfore coNTInUing, Let us fix two notatiONs, WHich are employeD by SchEnZEl IN [@sc3] aNd MCAdam in [@Mc2] iN tHe casE $n= R$, respeCTiVELY.

FoR Any multiplicaTively closeD SubSet $S$ of $r$ aNd fOR each iDeal $J$ Of $r$ We uSe $S(J)$ to denotE the Ideal $\cup_{s\In
S}(J:_Rs).$ nOte that $${\OPeratorName{AsS}}_RR/s(J)= \{ \mAthfRAk{P}\iN {\opErATorNAmE{AsS}}_r R/J \,:\,\Mathfrak{P}\cAp
s=\emptYset\}.$$ iN THE casE $N$ iS a fiNitelY generated $R$-moDulE and $s=r\baCkslaSh \bigCup \{\fRaK p\in {\oPeratoRname{MASs}}_RN/JN\}$, we use $J_a^{\laNgle n \rangle}$ to DenOtE thE iDeal $S(j_A^{(N)})$. In paRtiCulAr, for evEry inteGEr $k\GeQ1$ AND eVery prime ideal $\mathFrAK{P}$ oF $R$, we have $$(\MathfrAK{p}^K)^{\lANgle N \ranGlE}_a= \bIgcuP _{S\In R\baCkslASh
\Mathfrak{P}}((\mathfRAk{P}^k)^{(n)}_a:_Rs).$$

\[2.9\] Let $r$ bE a NoetHeRiaN riNg and LEt $N$ bE a finiTely geneRated $r$-Module.

-   If $(R, \mathfRAk{m})$ is local and $\MAtHFRaK{P}\in {\oPerAtorname{mAsS}}_RN,$ tHEn thEre eXIsTs aN ElemeNt $x\
n\geq1$ such that $$(IT+Tx )^{n+1}(N\ otime s_R T)=  I T(IT +Tx) ^n(N\otimes_RT ) .$$Hence $$(I+Rx)^{n+1}(N \otim es _ RT)= I( I+Rx) ^n(N\ot i me s _ RT) .$ $The re f or e $$( I+R x)^{n+1 }N \otimes _RT =I(I+Rx)^nN \ o ti mes_RT.$$Now , by faithfu lly  flatn es s,w e ded uce  that  $(I+R x )^{n+1 }N= I(I+R x) ^ nN$; h e nce $x\ i n  I ^{(N )}_a$, by [@STY C o ro l lary 1.5]. The refore  t h ec o ncl usi on follows ,since the opp o si t e inc l usion is clea r by the fa i thf ully f la tne s s of $ T$ ov er $R$ .

\[2.8\]Befo re contin uing,l et us f i x two n otatio ns,  wh icha re  e mpl oy e d b y  S che n zel  in [@Sc 3]  a nd Mc Adam i n [@Mc 2]in t he ca se $N= R$, re spe ctiv e ly. 

For  anymult ip licat ivelyclose dsubset $S$ of $ R$ a nd for ea chid eal  $ J$ of $R$ we  us e $ S(J)$ t o denot e  th ei d e al  $\cup_{s\in
S}(J: _R s ) .$  Note th at $${ \ op er a torname{ As s}} _RR/ S ( J)= \ { \m a th frak{p}\ in {\o p er at orname{ As s}}_RR/ J \ ,:\ ,\mat h frak {p}\ca p
S=\emp tyset \ }.$$ In the ca s e $N$ is a fi n it e l yg ener ate d $R$-modul e an d  $S= R\ba c ks las h  \big cup \ {\ f ra k  p\in {\operatornam e{ mAss}} _RN/J N\}$, we use$J_a^{\lan g l e  N \rang le}$ to denote the ide al $S (J_a^{(N)} ) $. In pa rticu lar, for  every in t e ger $k\g eq1 $ a ndeve r y  p rime ideal $\ m a thfr ak {p}$ of  $R $, we h ave  $$ (\m ath fr ak{p}^k)^ {\langle  N  \ ra ng le} _a= \ b igcup _{ s\ inR\ bac kslas h 
\math frak{ p}}( (\ ma t hfr ak{p}^k ) ^{ ( N )}_a :_ Rs ).$$ 

\ [2 .9\]Let$ R$be a No etherianrin g  and  l et  $N$ be  a finitely g en erated $R$ -m odu le.

-  If $(R,  \mathfrak{m})$ is loca l  and $\ mat hfrak {p}\ in {\oper ato rname{ mAs s }}_RN, $ then  ther eexi s t s ane l em ent  $ x\
n\geq1$ such_that $$(IT+Tx)^{n+1}(N\otimes_RT)=_IT(IT+Tx)^n(N\otimes_RT).$$ Hence $$(I+Rx)^{n+1}(N\otimes_RT)= I(I+Rx)^n(N\otimes_RT).$$_Therefore $$(I+Rx)^{n+1}N_\otimes_RT=_I(I+Rx)^nN \otimes_RT.$$_Now,_by faithfully flatness,_we deduce that_$(I+Rx)^{n+1}N= I(I+Rx)^nN$; hence $x\in_I^{(N)}_a$, by [@STY_Corollary_1.5]. Therefore the conclusion follows, since the opposite inclusion is clear by the faithfully_flatness_of $T$_over_$R$.

\[2.8\]_Before continuing, let us fix_two notations, which are employed_by Schenzel_in [@Sc3] and McAdam in [@Mc2] in the_case_$N= R$, respectively.

For_any multiplicatively closed subset $S$ of $R$ and for_each ideal $J$ of $R$ we_use $S(J)$ to_denote_the_ideal $\cup_{s\in
S}(J:_Rs).$ Note that_$${\operatorname{Ass}}_RR/S(J)= \{ \mathfrak{p}\in {\operatorname{Ass}}_R R/J \,:\,\mathfrak{p}\cap
S=\emptyset\}.$$_In the case $N$ is a_finitely generated $R$-module and $S=R\backslash \bigcup \{\frak_p\in {\operatorname{mAss}}_RN/JN\}$, we use $J_a^{\langle N_\rangle}$ to denote the ideal_$S(J_a^{(N)})$. In_particular, for every integer $k\geq1$_and every prime_ideal $\mathfrak{p}$_of $R$, we_have $$(\mathfrak{p}^k)^{\langle N \rangle}_a= \bigcup _{s\in_R\backslash
\mathfrak{p}}((\mathfrak{p}^k)^{(N)}_a:_Rs).$$

\[2.9\] Let $R$_be a Noetherian ring and let_$N$_be a finitely_generated_$R$-module.

-_ _If $(R, \mathfrak{m})$_is_local and_$\mathfrak{p}\in_{\operatorname{mAss}}_RN,$ then there exists an element_$x\