 abelian group by \[prop:matlis-module-is-pont-of-ring\].

The best we can hope for in general is the following.

Let $R\ra S$ be a flat and local homomorphism between Noetherian local rings with respective maximal ideals $\mathfrak m$ and $\mathfrak M$. Assume that $R/\mathfrak m^n \cong S/\mathfrak M^n$ for all $n$. Then an injective hull of $S/\mathfrak M$ as an $S$-module is also an injective hull of $R/\mathfrak m$ as an $R$-module.

Starting with pro-$p$ local rings, Matlis modules are however intimately connected with Pontryagin duality.

\[prop:qp-mod-zp-is-somewhat-dualizing-for-r-mod-m\] Let $R$ be a pro-$p$ local ring with maximal ideal $\mathfrak m$. Then there exists an isomorphism of $R$-modules $R/\mathfrak m\cong\operatorname{Hom}_{{\mathbb Z}_p}(R/\mathfrak m,{\mathbb Q}_p/{\mathbb Z}_p)$.

As $R/\mathfrak m$ is finite and hence a commutative field, both objects are isomorphic as abelian groups. As vector spaces of the same finite dimension over $R/\mathfrak m$ they are hence isomorphic as $R/\mathfrak m$-modules and thus as $R$-modules.

\[prop:pont-is-dual-wrt-r-vee\] Let $R$ be a pro-$p$ local ring with maximal ideal $\mathfrak m$ and $M$ a finitely presented or a discrete $R$-module. Then $\Pi(M)=\operatorname{Hom}_R(M,\Pi(R))$.

Let first $M=\varinjlim_i M_i$ be an arbitrary direct limit of finitely presented $R$-modules. Then by \[lm:hom2-commutes-with-dir-lim-iff-m-fin-pres\] $$\begin{aligned}
      \operatorname{Hom}_R(\varinjlim_i M_i, \Pi(R)) &= \varprojlim_i
                                         \operatorname{Hom}_R(M_i,\varinjlim_k
                                         \Pi(R/\mathfrak
                                         M^k)) \\
                                       &= \varprojlim_i \varinjlim_
abelian group by \[prop: matlis - module - is - pont - of - ring\ ]. 

 The best we can hope for in general is the following. 

 lease $ R\ra S$ be a bland and local homomorphism between Noetherian local rings with respective maximal ideals $ \mathfrak m$ and $ \mathfrak M$. Assume that $ R/\mathfrak m^n \cong S/\mathfrak M^n$ for all $ n$. Then an injective hull of $ S/\mathfrak M$ as an $ S$-module is also an injective hull of $ R/\mathfrak m$ as an $ R$-module. 

 begin with pro-$p$ local rings, Matlis modules are however well plug in with Pontryagin duality. 

 \[prop: qp - mod - zp - is - somewhat - dualizing - for - r - mod - m\ ] Let $ R$ be a pro-$p$ local band with maximal ideal $ \mathfrak m$. Then there exists an isomorphism of $ R$-modules $ R/\mathfrak m\cong\operatorname{Hom}_{{\mathbb Z}_p}(R/\mathfrak m,{\mathbb Q}_p/{\mathbb Z}_p)$. 

 As $ R/\mathfrak m$ is finite and hence a commutative airfield, both object are isomorphic as abelian group. As vector spaces of the same finite property over $ R/\mathfrak m$ they are hence isomorphic as $ R/\mathfrak m$-modules and thus as $ R$-modules. 

 \[prop: pont - is - double - wrt - r - vee\ ] Let $ R$ be a pro-$p$ local ring with maximal ideal $ \mathfrak m$ and $ M$ a finitely presented or a discrete $ R$-module. Then $ \Pi(M)=\operatorname{Hom}_R(M,\Pi(R))$. 

 permit first $ M=\varinjlim_i M_i$ be an arbitrary direct limit of finitely presented $ R$-modules. Then by   \[lm: hom2 - commutes - with - dir - lim - iff - m - louver - pres\ ] $ $ \begin{aligned } 
       \operatorname{Hom}_R(\varinjlim_i M_i, \Pi(R) ) & = \varprojlim_i 
                                          \operatorname{Hom}_R(M_i,\varinjlim_k 
                                          \Pi(R/\mathfrak 
                                          M^k) ) \\ 
                                        & = \varprojlim_i \varinjlim _
 abflian group by \[prop:matlir-module-is-pont-of-tibg\].

The uest we can hopd for in general is the folllwung.

Leu $R\ra S$ be a flat avd local jomomorpyism vetween Noxfherian local vings xith respective maximal igeals $\mathfrak m$ aud $\mathfrak M$. Assume that $R/\mathfrak i^n \cong S/\lathfrak M^n$ fot all $g$. Thsn an injective hull of $S/\mathfrak J$ as an $S$-module is akso an injective hull of $R/\lathvrak m$ as an $R$-modupe.

Starting qith pro-$p$ local rkngs, Matlis modules arg however intimately connected wkth Ppntryagin euqlihi.

\[prop:qp-mod-zp-ms-somerhat-dualizinn-gor-r-mog-m\] Let $T$ be a pro-$p$ logal rmng qith maximal ideal $\mavhfrak m$. Then there gxists an hskmorphism of $R$-modylws $R/\mdthfsak o\xone\optravorhame{Hol}_{{\mavhbb Z}_p}(R/\matgfrak m,{\mathvb Q}_p/{\mathbb Z}_p)$.

As $R/\mstrdrak m$ is finjte anq rence a commutative field, both objects dre isomorphic as abelian troups. As vector spacgs of the fame finite dimension over $R/\mathfrak m$ they are hance msumoximic xw $G/\mathfrak m$-modules and thus as $R$-modules.

\[prop:pogf-ix-dlal-wrt-r-vee\] Let $R$ ne a pro-$p$ local rimg wojh maximal idexl $\matkrrzk m$ and $M$ a finitfly prefentee or a difcreye $R$-module. Then $\Pi(M)=\operatorbame{Hom}_R(M,\Pi(R))$.

Jwt first $M=\varinjlil_i M_i$ be an arbotraru direct limit of finitzly prssented $R$-mofules. Theh by \[lm:hom2-commutes-ditm-dis-lim-iff-m-fin-pres\] $$\begin{alignqd}
      \o'eratprname{Hum}_R(\vsrinjlym_i M_i, \Pi(R)) &= \varisojlim_i
                                         \operatorname{Hom}_R(M_i,\terinjlim_k
                                         \Pi(R/\mathftak
                                         M^k)) \\
                                       &= \varpfujlim_i \varinjlom_
abelian group by \[prop:matlis-module-is-pont-of-ring\]. The best we for general is following. Let $R\ra local between Noetherian local with respective maximal $\mathfrak m$ and $\mathfrak M$. Assume $R/\mathfrak m^n \cong S/\mathfrak M^n$ for all $n$. Then an injective hull of M$ as an $S$-module is also an injective hull of $R/\mathfrak m$ as $R$-module. with local Matlis modules are however intimately connected with Pontryagin duality. \[prop:qp-mod-zp-is-somewhat-dualizing-for-r-mod-m\] Let $R$ be a pro-$p$ local with maximal ideal $\mathfrak m$. Then there exists isomorphism of $R$-modules $R/\mathfrak Z}_p}(R/\mathfrak m,{\mathbb Q}_p/{\mathbb Z}_p)$. As m$ finite and a field, objects are isomorphic abelian groups. As vector spaces of the same finite dimension over $R/\mathfrak m$ they are hence isomorphic $R/\mathfrak m$-modules as $R$-modules. Let be pro-$p$ local ring ideal $\mathfrak m$ and $M$ a a discrete $R$-module. Then $\Pi(M)=\operatorname{Hom}_R(M,\Pi(R))$. Let first $M=\varinjlim_i be an direct limit of finitely presented $R$-modules. by \[lm:hom2-commutes-with-dir-lim-iff-m-fin-pres\] $$\begin{aligned} \operatorname{Hom}_R(\varinjlim_i M_i, \Pi(R)) &= \varprojlim_i \Pi(R/\mathfrak M^k)) \\ &= \varprojlim_i \varinjlim_
 abelian group by \[prop:matlis-mOdule-is-ponT-of-riNg\].

THe bEsT we cAn hoPe for in general IS the Following.

Let $R\ra S$ be a flaT and lOcAL homOMoRphisM betweeN noETHerIaN lOcaL rINgS with ResPective Maximal ideAls $\MaThfrak m$ and $\maTHfRak M$. Assume ThaT $R/\mathfrak m^n \ConG S/\mathFrAk M^N$ For alL $n$. THen an InjectIVe hull Of $S/\mathfrAk m$ As an $S$-mODule is aLSO aN injEctive hull of $R/\mathFRaK M$ as an $R$-module.

StArting WiTH pRO-$P$ loCal Rings, MatliS mOduleS Are howeVEr INTImaTEly connected wIth PontryagIN duAlity.

\[pRoP:qp-MOd-zp-is-SomewHaT-DuaLizing-for-r-mOd-m\] LEt $R$ be a pro-$P$ local RIng with MAximal iDeal $\maThfRak M$. TheN ThErE exIsTS an ISoMorPHisM of $R$-moduLeS $R/\MathfRak m\CONG\OperAtoRnamE{Hom}_{{\mAthbb Z}_p}(R/\mathfRak M,{\matHBb Q}_P/{\mathBb Z}_p)$.

AS $R/\maThFrak m$ Is finiTe and HeNce a commutative FielD, both objeCts ArE isOmOrphiC As abelIan GroUps. As veCtor spaCEs oF tHE SAmE finite dimension ovEr $r/\MAtHfrak m$ thEy are hENcE iSOmorphic As $r/\maThfrAK M$-moduLes aND tHus as $R$-moDules.

\[pROp:PoNt-is-duaL-wRt-r-vee\] leT $R$ bE a pRo-$p$ loCAl riNg with Maximal iDeal $\mAThfrak m$ and $M$ a fiNItely presenteD Or A DIsCRete $r$-moDule. Then $\Pi(M)=\OperATornAme{HOM}_R(m,\Pi(r))$.

let fiRst $M=\vArINjLIm_i M_i$ be an arbitrary dIrEct limIt of fInitely presenTed $R$-moduleS. tHEn by \[lm:hoM2-comMUtES-with-dir-lim-iff-M-fin-pRes\] $$\begin{alIGned}
      \operAtornAme{Hom}_R(\vArinjlim_i m_I, \pi(R)) &= \varprOjlIm_i
                                         \OpeRatORNaMe{Hom}_R(M_i,\varinJLIm_k
                                         \PI(R/\MathfraK
                                         M^k)) \\
                                       &= \VarprojLim_I \vaRinJliM_
 abelian group by \[prop:m atlis-modu le-is -po nt- of -rin g\]. 

The best wec an h ope for in general isthe f ol l owin g .
Let$R\ra S $  b e a f la tand  l o ca l hom omo rphismbetween No eth er ian local ri n gs  with resp ect ive maximalide als $\ ma thf r ak m$  an d $\m athfra k  M$. A ssume tha t$ R/\mat h frak m^ n \c ongS/\mathfrak M^n$f or all $n$. Thenan inj ec t iv e hul l o f $S/\math fr ak M$ as an $ S $- m o d ule is also an in jective hul l  of  $R/\m at hfr a k m$ a s an$R $ -mo dule.

Star ting  with pro -$p$ l o cal rin g s, Matl is mod ule s a re h o we ve r i nt i mat e ly  co n nec ted with  P on tryag in d u a l i ty.
\[ prop :qp-m od-zp-is-some wha t-du a liz ing-f or-r- mod- m\ ] Let  $R$ b e a p ro -$p$ local ring  wit h maximal  id ea l $ \m athfr a k m$.The n t here ex ists an iso mo r p h is m of $R$-modules $ R/ \ m at hfrak m\ cong\o p er at o rname{Ho m} _{{ \mat h b b Z}_ p}(R / \m athfrakm,{\ma t hb bQ}_p/{\ ma thbb Z }_ p)$ .
As $R / \mat hfrakm$ is fi nitea nd hence a com m utative field ,  b o t ho bjec tsare isomorp hica s ab elia n  g rou p s. As  vect or sp a ces of the same fin it e dime nsion  over $R/\mat hfrak m$ t h e y  are hen ce i s om o rphic as $R/\m athfr ak m$-modu l es and t hus a s $R$-mo dules.

\ [ p rop:pont -is -du al- wrt - r -v ee\] Let $R$b e  a p ro -$p$ lo cal  ring w ith  ma xim alid eal $\mat hfrak m$  a nd  $ M$  afinit e ly prese nt edor  adiscr e te $R$ -modu le.Th en $\P i(M)=\o p er a t orna me {H om}_ R(M ,\ Pi(R) )$.Let  first$M=\varin jli m _i M _i $be an a rbitrary dire ct  limit offi nit ely pr e s ented $R $-modules. Then by \[lm : hom2-co mmu tes-w ith- dir-lim-i ff- m-fin- pre s \] $$\ begin{ align ed }
   \o p e ra tor na me{Hom}_R( \ v ari njlim _i  M_i , \Pi(R )) &= \varprojlim_ i 
                           \ o p eratorname{Hom} _R(M_i,\va ri n jl im_k
                                \Pi(R/ \mathfrak 
                                M^ k ))  \\
                             &=  \ varpro jlim_ i\varinjl im_
 abelian_group by_\[prop:matlis-module-is-pont-of-ring\].

The best we can_hope for_in_general is_the_following.

Let $R\ra S$_be a flat_and local homomorphism between_Noetherian local rings_with_respective maximal ideals $\mathfrak m$ and $\mathfrak M$. Assume that $R/\mathfrak m^n \cong S/\mathfrak_M^n$_for all_$n$._Then_an injective hull of $S/\mathfrak_M$ as an $S$-module is_also an_injective hull of $R/\mathfrak m$ as an $R$-module.

Starting_with_pro-$p$ local rings,_Matlis modules are however intimately connected with Pontryagin duality.

\[prop:qp-mod-zp-is-somewhat-dualizing-for-r-mod-m\]_Let $R$ be a pro-$p$ local_ring with maximal_ideal_$\mathfrak_m$. Then there exists_an isomorphism of $R$-modules $R/\mathfrak m\cong\operatorname{Hom}_{{\mathbb_Z}_p}(R/\mathfrak m,{\mathbb Q}_p/{\mathbb Z}_p)$.

As $R/\mathfrak m$_is finite and hence a commutative field,_both objects are isomorphic as abelian_groups. As vector spaces of_the same_finite dimension over $R/\mathfrak m$_they are hence_isomorphic as_$R/\mathfrak m$-modules and_thus as $R$-modules.

\[prop:pont-is-dual-wrt-r-vee\] Let $R$ be_a pro-$p$ local_ring with maximal ideal $\mathfrak m$_and_$M$ a finitely_presented_or_a discrete_$R$-module. Then $\Pi(M)=\operatorname{Hom}_R(M,\Pi(R))$.

Let_first_$M=\varinjlim_i M_i$_be_an arbitrary direct limit of finitely_presented_$R$-modules. Then by \[lm:hom2-commutes-with-dir-lim-iff-m-fin-pres\] $$\begin{aligned}
   _  \operatorname{Hom}_R(\varinjlim_i M_i,_\Pi(R))_&= \varprojlim_i
  _    _     _ _ _          _     _   _ _\operatorname{Hom}_R(M_i,\varinjlim_k
_  __ _      _ _     _   __     _     _  \Pi(R/\mathfrak
  ___    _     _  _      __     __     __M^k))_\\
    _     _        _  _    ___         &=_\varprojlim_i \varinjlim_