 is enveloping in ${R\textrm{-}\mathrm{Mod}}$ if and only if ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$ is enveloping in ${\bar{R}\textrm{-}\mathrm{Mod}}$.

Assume that ${\mathcal{D}}_{{\mathcal{G}}_u}$ is enveloping in ${R\textrm{-}\mathrm{Mod}}$ and let $\bar M\in {\bar{R}\textrm{-}\mathrm{Mod}}$. Consider a ${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope $\bar{\psi}\colon \bar M\to D$ in ${R\textrm{-}\mathrm{Mod}}$. Since $R\to R/I$ is a ring epimorphism and $D$ is annihilated by $I$ by Lemma \[L: I-annih-div\], it is immediate to conclude that $\bar{\psi}$ is also a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $\bar M$.

Conversely, assume that ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$ is enveloping in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Take $M\in{R\textrm{-}\mathrm{Mod}}$ and let $\bar{\psi}\colon M/IM\to D$ be a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $ M/IM$ in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Let $\pi\colon M\to M/IM$ be the canonical projection. We claim that $\psi=\bar{\psi} \pi$ is a ${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope of $M$ in ${R\textrm{-}\mathrm{Mod}}$. Indeed, if $f\colon D\to D$ satisfies $f\psi=\psi$, then $f\bar{\psi}\pi =\bar{\psi} \pi$. As $\pi$ is a surjection, $f \bar{\psi} = \bar{\psi}$ and so $f$ is an automorphism of $D$.

Note that ${\operatorname{End}}_R(K)$ is the same as ${\operatorname{End}}_{\bar R}(K)$ both as a ring and as a topological ring. It will be still denoted by $\mathfrak R$. Thus if ${\mathcal{D}}_{{\mathcal{G}}_u}$ is enveloping in ${R\textrm{-}\mathrm{Mod}}$ we can
is enveloping in $ { R\textrm{-}\mathrm{Mod}}$ if and only if $ { \mathcal{D}}_{{\mathcal{G}}_{\bar u}}$ is enveloping in $ { \bar{R}\textrm{-}\mathrm{Mod}}$. 

 Assume that $ { \mathcal{D}}_{{\mathcal{G}}_u}$ is envelop in $ { R\textrm{-}\mathrm{Mod}}$ and lease $ \bar M\in { \bar{R}\textrm{-}\mathrm{Mod}}$. Consider a $ { \mathcal{D}}_{{\mathcal{G}}_u}$-envelope $ \bar{\psi}\colon \bar M\to D$ in $ { R\textrm{-}\mathrm{Mod}}$. Since $ R\to R / I$ is a gang epimorphism and $ D$ is eliminate by $ I$ by Lemma   \[L: I - annih - div\ ], it is immediate to conclude that $ \bar{\psi}$ is also a $ { \mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $ \bar M$. 

 Conversely, bear that $ { \mathcal{D}}_{{\mathcal{G}}_{\bar u}}$ is enveloping in $ { \bar{R}\textrm{-}\mathrm{Mod}}$. Take $ M\in{R\textrm{-}\mathrm{Mod}}$ and permit $ \bar{\psi}\colon M / IM\to D$ be a $ { \mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $ M / IM$ in $ { \bar{R}\textrm{-}\mathrm{Mod}}$. Let $ \pi\colon M\to M / IM$ be the canonical expulsion. We claim that $ \psi=\bar{\psi } \pi$ is a $ { \mathcal{D}}_{{\mathcal{G}}_u}$-envelope of $ M$ in $ { R\textrm{-}\mathrm{Mod}}$. Indeed, if $ f\colon D\to D$ satisfies $ f\psi=\psi$, then $ f\bar{\psi}\pi = \bar{\psi } \pi$. As $ \pi$ is a surjection, $ f \bar{\psi } = \bar{\psi}$ and so $ f$ is an automorphism of $ D$. 

 Note that $ { \operatorname{End}}_R(K)$ is the like as $ { \operatorname{End}}_{\bar R}(K)$ both as a ring and as a topological ring. It will be however denoted by $ \mathfrak R$. Thus if $ { \mathcal{D}}_{{\mathcal{G}}_u}$ is envelop in $ { R\textrm{-}\mathrm{Mod}}$ we can
 is enveloping in ${R\textrm{-}\mauhrm{Mod}}$ if and only if ${\methcal{D}}_{{\jathcal{G}}_{\car u}}$ is enveloping in ${\bar{R}\txxtrn{-}\mathem{Mod}}$.

Assume that ${\mathcxl{D}}_{{\mathcap{G}}_u}$ is ebveliping in ${R\txstrm{-}\matmxm{Mod}}$ wnd nxt $\bar M\in {\bar{R}\jextrm{-}\mathrm{Kod}}$. Consider a ${\mxtkcal{D}}_{{\mathcal{G}}_u}$-envelope $\bar{\psi}\colon \bwr M\to C$ ln ${R\textrm{-}\mathtm{Mod}}$. Fincs $R\to R/I$ is a ring epimorphism and $D$ is ainihilated by $I$ by Lemma \[L: I-annih-div\], it is immfdiate to conclude that $\bar{\psu}$ is qlso a ${\mathcxl{D}}_{{\mathcal{G}}_{\bar u}}$-enveloke of $\bar M$.

Conversely, assume thag ${\matkcal{D}}_{{\mathcao{G}}_{\var o}}$ is envelopmng in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Take $M\on{R\textrm{-}\mathrk{Mov}}$ ane let $\bar{\psi}\colon M/IM\vo D$ be a ${\mathcal{D}}_{{\majhcal{G}}_{\bar g}}$-euvelope of $ M/IM$ in ${\bae{R}\rextrk{-}\matvrm{Mue}}$. Ldt $\ki\cplkn M\to M/IJ$ be the cznonical prijection. We claim tnae $\psi=\bar{\psi} \pi$ is a ${\iaehcal{D}}_{{\mathcal{G}}_u}$-envelope of $M$ in ${R\textrm{-}\katgrm{Mod}}$. Indeed, if $f\colon D\to D$ satisfies $f\psi=\ksi$, then $f\far{\psi}\pi =\bar{\psi} \pi$. As $\pi$ is a surjection, $f \bar{\psi} = \bar{\'sk}$ aue so $w$ id an automorphism of $D$.

Note that ${\operatorname{Egs}}_R(L)$ ps the same as ${\opcratorname{End}}_{\bar R}(L)$ hoyr as a ring avd as c tkpological ring. It will bg stilo denoted by $\kathfrak R$. Thus if ${\mathcal{D}}_{{\nathcal{G}}_u}$ is wnveloping in ${R\texcrm{-}\mathrm{Mod}}$ we van
is enveloping in ${R\textrm{-}\mathrm{Mod}}$ if and only u}}$ enveloping in Assume that ${\mathcal{D}}_{{\mathcal{G}}_u}$ let M\in {\bar{R}\textrm{-}\mathrm{Mod}}$. Consider ${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope $\bar{\psi}\colon \bar D$ in ${R\textrm{-}\mathrm{Mod}}$. Since $R\to R/I$ a ring epimorphism and $D$ is annihilated by $I$ by Lemma \[L: I-annih-div\], is immediate to conclude that $\bar{\psi}$ is also a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $\bar Conversely, that u}}$ enveloping in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Take $M\in{R\textrm{-}\mathrm{Mod}}$ and let $\bar{\psi}\colon M/IM\to D$ be a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $ in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Let $\pi\colon M\to M/IM$ be the projection. We claim that \pi$ is a ${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope of in Indeed, if D\to satisfies then $f\bar{\psi}\pi =\bar{\psi} As $\pi$ is a surjection, $f \bar{\psi} = \bar{\psi}$ and so $f$ is an automorphism of $D$. that ${\operatorname{End}}_R(K)$ same as R}(K)$ as ring and as ring. It will be still denoted Thus if ${\mathcal{D}}_{{\mathcal{G}}_u}$ is enveloping in ${R\textrm{-}\mathrm{Mod}}$ we
 is enveloping in ${R\textrm{-}\mathRm{Mod}}$ if and Only iF ${\maThcAl{d}}_{{\matHcal{g}}_{\bar u}}$ is envelopINg in ${\Bar{R}\textrm{-}\mathrm{Mod}}$.

AssUme thAt ${\MAthcAL{D}}_{{\MathcAl{G}}_u}$ is eNVeLOPinG iN ${R\TexTrM{-}\MaThrm{MOd}}$ aNd let $\baR M\in {\bar{R}\teXtrM{-}\mAthrm{Mod}}$. ConsIDeR a ${\mathcal{D}}_{{\MatHcal{G}}_u}$-enveloPe $\bAr{\psi}\cOlOn \bAR M\to D$ In ${R\TextrM{-}\mathrM{mod}}$. SinCe $R\to R/I$ is A rINg epimORphism aND $d$ iS annIhilated by $I$ by LemmA \[l: I-ANnih-div\], it is immEdiate To COnCLUde ThaT $\bar{\psi}$ is aLsO a ${\matHCal{D}}_{{\matHCaL{g}}_{\BAr u}}$-ENvelope of $\bar M$.

conversely, aSSumE that ${\mAtHcaL{d}}_{{\mathcAl{G}}_{\baR u}}$ IS enVeloping in ${\bAr{R}\tExtrm{-}\mathRm{Mod}}$. TAKe $M\in{R\tEXtrm{-}\matHrm{Mod}}$ And Let $\Bar{\pSI}\cOlOn M/iM\TO D$ bE A ${\mAthCAl{D}}_{{\Mathcal{G}}_{\BaR u}}$-EnvelOpe oF $ m/im$ In ${\baR{R}\tExtrM{-}\mathRm{Mod}}$. Let $\pi\colOn M\To M/Im$ Be tHe canOnicaL proJeCtion. we claiM that $\PsI=\bar{\psi} \pi$ is a ${\matHcal{d}}_{{\mathcal{G}}_U}$-enVeLopE oF $M$ in ${R\TExtrm{-}\mAthRm{MOd}}$. IndeeD, if $f\colON D\tO D$ SATIsFies $f\psi=\psi$, then $f\baR{\pSI}\Pi =\Bar{\psi} \pi$. as $\pi$ is A SuRjECtion, $f \baR{\pSi} = \bAr{\psI}$ ANd so $f$ Is an AUtOmorphisM of $D$.

NoTE tHaT ${\operatOrName{EnD}}_R(k)$ is The Same aS ${\OperAtornaMe{End}}_{\bar r}(K)$ botH As a ring and as a tOPological ring. iT wILL bE StilL deNoted by $\mathFrak r$. thus If ${\maTHcAl{D}}_{{\MAthcaL{G}}_u}$ is EnVElOPing in ${R\textrm{-}\mathrm{moD}}$ we can
 is enveloping in ${R\text rm{-}\math rm{Mo d}} $ i fandonly  if ${\mathcal { D}}_ {{\mathcal{G}}_{\bar u }}$ i se nvel o pi ng in  ${\bar { R} \ t ext rm {- }\m at h rm {Mod} }$. 

Assum e that ${\ mat hc al{D}}_{{\ma t hc al{G}}_u}$  is  envelopingin${R\te xt rm{ - }\mat hrm {Mod} }$ and let $\ bar M\in{\ b ar{R}\ t extrm{- } \ ma thrm {Mod}}$. Consider a$ {\mathcal{D}}_ {{\mat hc a l{ G } }_u }$- envelope $ \b ar{\p s i}\colo n  \ b a r  M\ t o D$ in ${R\t extrm{-}\ma t hrm {Mod}} $.  Si n ce $R\ to R/ I$ isa ring epim orph ism and $ D$ isa nnihila t ed by $ I$ byLem ma\[L: I- an nih -d i v\] ,  i t i s  im mediateto  c onclu de t h a t $\ba r{\ psi} $ isalso a ${\mat hca l{D} } _{{ \math cal{G }}_{ \b ar u} }$-env elope  o f $\bar M$.

Co nver sely, ass ume  t hat  $ {\mat h cal{D} }_{ {\m athcal{ G}}_{\b a r u }} $ i senveloping in ${\b ar { R }\ textrm{- }\math r m{ Mo d }}$. Tak e$M\ in{R \ t extrm {-}\ m at hrm{Mod} }$ and le t$\bar{\ ps i}\col on  M/ IM\ to D$ be a  ${\ma thcal{D} }_{{\ m athcal{G}}_{\b a r u}}$-envelo p eo f  $ M/IM $ i n ${\bar{R} \tex t rm{- }\ma t hr m{M o d}}$.  Let$\ p i\ c olon M\to M/IM$ beth e cano nical  projection.We claim t h a t  $\psi=\ bar{ \ ps i } \pi$ is a ${ \math cal{D}}_{{ \ mathcal{ G}}_u }$-envel ope of $M $ in ${R\t ext rm{ -}\ mat h r m{ Mod}}$. Indee d ,  if$f \colonD\t o D$ sa tis fie s $ f\p si =\psi$, t hen $f\b ar {\ ps i} \pi  =\ba r {\psi} \ pi $.As  $\ pi$ i s  a sur jecti on,$f  \ b ar{ \psi} = \b a r {\ps i} $andso$f $ isan a u tom orphism  of $D$.
No t e th at  $ {\opera torname{End}} _R (K)$ is th esam e as $ { \ operator name{End}}_{\bar R}(K)$ both as  aringandas a topo log ical r ing .  It wi ll bestill  d eno t e d by$ \ ma thf ra k R$. Thus i f $ {\mat hc al{D }}_{{\m athcal{G}}_u}$ ise nve loping in ${R \te xtrm { - }\ mat h rm { Mod }} $  we c an
 is_enveloping in_${R\textrm{-}\mathrm{Mod}}$ if and only_if ${\mathcal{D}}_{{\mathcal{G}}_{\bar_u}}$_is enveloping_in_${\bar{R}\textrm{-}\mathrm{Mod}}$.

Assume that ${\mathcal{D}}_{{\mathcal{G}}_u}$_is enveloping in_${R\textrm{-}\mathrm{Mod}}$ and let $\bar_M\in {\bar{R}\textrm{-}\mathrm{Mod}}$. Consider_a_${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope $\bar{\psi}\colon \bar M\to D$ in ${R\textrm{-}\mathrm{Mod}}$. Since $R\to R/I$ is a ring epimorphism_and_$D$ is_annihilated_by_$I$ by Lemma \[L: I-annih-div\], it_is immediate to conclude that_$\bar{\psi}$ is_also a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of $\bar M$.

Conversely, assume_that_${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$ is_enveloping in ${\bar{R}\textrm{-}\mathrm{Mod}}$. Take $M\in{R\textrm{-}\mathrm{Mod}}$ and let $\bar{\psi}\colon M/IM\to_D$ be a ${\mathcal{D}}_{{\mathcal{G}}_{\bar u}}$-envelope of_$ M/IM$ in_${\bar{R}\textrm{-}\mathrm{Mod}}$._Let_$\pi\colon M\to M/IM$ be_the canonical projection. We claim that_$\psi=\bar{\psi} \pi$ is a ${\mathcal{D}}_{{\mathcal{G}}_u}$-envelope of_$M$ in ${R\textrm{-}\mathrm{Mod}}$. Indeed, if $f\colon D\to_D$ satisfies $f\psi=\psi$, then $f\bar{\psi}\pi =\bar{\psi}_\pi$. As $\pi$ is a_surjection, $f_\bar{\psi} = \bar{\psi}$ and so_$f$ is an_automorphism of_$D$.

Note that ${\operatorname{End}}_R(K)$_is the same as ${\operatorname{End}}_{\bar R}(K)$_both as a_ring and as a topological ring._It_will be still_denoted_by_$\mathfrak R$._Thus if ${\mathcal{D}}_{{\mathcal{G}}_u}$_is_enveloping in_${R\textrm{-}\mathrm{Mod}}$_we can