 a commutative ring and $M$ is an $R$-module, then a prime ideal $p$ of $R$ is associated to $M$, if there is an $x\in M$ such that $p={{\mathop{\mathrm{ann\,}}}}x$. We shall make use of the following fact: if $R$ is a Noetherian ring and $M$ is a finite $R$-module, then there are finitely many primes associated to $M$, and furthermore, each zerodivisor on $M$ is contained in one of them, see [@eisen Theorem 3.1].

Thus, in our setting, ${{\mathop{\mathfrak{m}}}}$ is a subset of the finite union of the associated primes. Now, the prime avoidance lemma [@eisen Theorem 3.3] states that ${{\mathop{\mathfrak{m}}}}$ is contained in one of the associated primes, and hence, itself is an associated prime. Therefore, ${{\mathop{\mathfrak{m}}}}x=0$ for some nonzero $x\in M$ and we put $L=xR$.

Conversely, suppose $L\subset M$ is a nonzero submodule such that ${{\mathop{\mathfrak{m}}}}L=0$. Then, every $r\in {{\mathop{\mathfrak{m}}}}\backslash\{0\}$ is a zerodivisor. Since $M\not=0$ is a finite $R$-module, Nakayama’s lemma [@eisen Corollary 4.8] implies that $M\not={{\mathop{\mathfrak{m}}}}M$. So, ${\mathop{\mathrm{depth}}\nolimits _{{{\mathop{\mathfrak{m}}}}}} M=0$.

For the proof of Theorem \[thm\_coh\_stalk\] we shall need a number of Lemmas that are algebraic in nature. Recall the notion of localization at a prime. Suppose $R$ is a ring, $p\subset R$ a prime ideal, and $M$ an $R$-module. Consider the multiplicatively closed set $S=R\backslash p$, then the localization of $M$ at $p$ is $$M_p=M\times S/\sim\,,$$ where $(v,s)\sim(w,t)$ means $q(vt-ws)=0$ for some $q\in S$. Elements of $M_p$ are written as fractions $v/s$. The usual rules for operating with fractions turn $R_
a commutative ring and $ M$ is an $ R$-module, then a prime ideal $ p$ of $ R$ is associated to $ M$, if there is an $ x\in M$ such that $ p={{\mathop{\mathrm{ann\,}}}}x$. We shall seduce habit of the following fact: if $ R$ is a Noetherian ring and $ M$ is a finite $ R$-module, then there are finitely many primes consort to $ M$, and furthermore, each zerodivisor on $ M$ is contained in one of them, see [ @eisen Theorem 3.1 ]. 

 therefore, in our setting, $ { { \mathop{\mathfrak{m}}}}$ is a subset of the finite union of the associated primes. Now, the premier avoidance lemma [ @eisen Theorem 3.3 ] states that $ { { \mathop{\mathfrak{m}}}}$ is contained in one of the associated prime, and hence, itself is an associated prime. consequently, $ { { \mathop{\mathfrak{m}}}}x=0 $ for some nonzero $ x\in M$ and we put $ L = xR$. 

 Conversely, suppose $ L\subset M$ is a nonzero submodule such that $ { { \mathop{\mathfrak{m}}}}L=0$. Then, every $ r\in { { \mathop{\mathfrak{m}}}}\backslash\{0\}$ is a zerodivisor. Since $ M\not=0 $ is a finite $ R$-module, Nakayama ’s lemma [ @eisen Corollary 4.8 ] implies that $ M\not={{\mathop{\mathfrak{m}}}}M$. So, $ { \mathop{\mathrm{depth}}\nolimits _ { { { \mathop{\mathfrak{m } } } } } } M=0$. 

 For the proof of Theorem \[thm\_coh\_stalk\ ] we shall need a number of Lemmas that are algebraic in nature. remember the notion of localization at a prime. presuppose $ R$ is a ring, $ p\subset R$ a prime ideal, and $ M$ an $ R$-module. Consider the multiplicatively closed put $ S = R\backslash p$, then the localization of $ M$ at $ p$ is $ $ M_p = M\times S/\sim\,,$$ where $ (v, s)\sim(w, t)$ means $ q(vt - ws)=0 $ for some $ q\in S$. Elements of $ M_p$ are write as fractions $ v / s$. The usual rules for operating with fractions call on $ R _
 a fommutative ring and $M$ ir an $R$-module, thgn a prike idezl $p$ of $F$ is associated to $M$, if therx is an $x\un M$ such that $p={{\mathop{\oathrm{ann\,}}}}q$. We shalo majw use of tis following fzgt: if $C$ is a Noetherisn ring ang $M$ is a finita $F$-mldule, then there are finitely many [rimes ssdociated to $M$, wnd gtrthsgmire, each zerodivisor on $M$ is dontaintd in one of them, xee [@eisen Theorem 3.1].

Thus, in lur detting, ${{\mathop{\mathvrak{m}}}}$ is a wubsqr of the finkte union of the assocjated primes. Now, the prime avoiaance lemma [@eisgu Thfmrem 3.3] statew than ${{\mathop{\mathfvsk{m}}}}$ is contaimed in one of bhe avsoxiated primes, and henre, itself is an assosiated prhmz. Therefore, ${{\mathop{\matyfeak{m}}}}x=0$ for somd novzedo $x\jn M$ ajd xe put $L=xR$.

Cknversely, syppose $L\subset M$ is a bonzero submosule stcr that ${{\mathop{\mathfrak{m}}}}L=0$. Then, every $r\in {{\katgop{\mathfrak{m}}}}\backslash\{0\}$ iw a zerodivisor. Since $M\not=0$ is w finite $R$-module, Nakayama’s lemma [@eisen Corollary 4.8] implmer tkqt $M\nur={{\mwthop{\mathfrak{m}}}}M$. So, ${\mathop{\mathrm{depth}}\nolimits _{{{\iztnoi{\mathfrak{m}}}}}} M=0$.

For tme proof of Theorek \[hhk\_soh\_stalk\] we sfall nzsd a number of Lemmad that wre aogebraic yn nsture. Recall the notion of oocalization qt a prime. Suppose $R$ is a riny, $p\subxet R$ a prime ideal, and $M$ an $R$-mosule. Considfr the mumgiplicatively clusec vet $S=R\backslash p$, then the localizavion pf $M$ at $p$ ix $$M_p=M\tymes S/\sim\,,$$ ahere $(v,s)\sim(w,t)$ means $q(vt-wd)=0$ for smme $q\in S$. Flements of $M_p$ are written as fcections $v/s$. Thg uvuan rules yor opcrating with frwctions turn $R_
a commutative ring and $M$ is an a ideal $p$ $R$ is associated an M$ such that We shall make of the following fact: if $R$ a Noetherian ring and $M$ is a finite $R$-module, then there are finitely primes associated to $M$, and furthermore, each zerodivisor on $M$ is contained in of see Theorem Thus, in our setting, ${{\mathop{\mathfrak{m}}}}$ is a subset of the finite union of the associated primes. the prime avoidance lemma [@eisen Theorem 3.3] states ${{\mathop{\mathfrak{m}}}}$ is contained in of the associated primes, and itself an associated Therefore, for nonzero $x\in M$ we put $L=xR$. Conversely, suppose $L\subset M$ is a nonzero submodule such that ${{\mathop{\mathfrak{m}}}}L=0$. Then, every $r\in is a $M\not=0$ is finite Nakayama’s [@eisen Corollary 4.8] $M\not={{\mathop{\mathfrak{m}}}}M$. So, ${\mathop{\mathrm{depth}}\nolimits _{{{\mathop{\mathfrak{m}}}}}} M=0$. For Theorem \[thm\_coh\_stalk\] we shall need a number of that are in nature. Recall the notion of at a prime. Suppose $R$ is a ring, R$ a prime ideal, and $M$ an $R$-module. Consider the multiplicatively closed set $S=R\backslash p$, localization of $M$ at is $$M_p=M\times S/\sim\,,$$ $(v,s)\sim(w,t)$ $q(vt-ws)=0$ some S$. Elements $M_p$ are written as fractions $v/s$. The usual rules for operating fractions turn $R_
 a commutative ring and $M$ is an $R$-Module, then A primE idEal $P$ oF $R$ is AssoCiated to $M$, if theRE is aN $x\in M$ such that $p={{\mathop{\maThrm{aNn\,}}}}X$. we shALl Make uSe of the FOlLOWinG fAcT: if $r$ iS A NOetheRiaN ring anD $M$ is a finitE $R$-mOdUle, then there ARe Finitely maNy pRimes associaTed To $M$, and FuRthERmore, EacH zeroDivisoR On $M$ is cOntained iN oNE of theM, See [@eiseN tHeOrem 3.1].

thus, in our setting, ${{\mAThOP{\mathfrak{m}}}}$ is a sUbset oF tHE fINIte UniOn of the assOcIated PRimes. NoW, ThE PRIme AVoidance lemma [@Eisen TheoreM 3.3] StaTes thaT ${{\mAthOP{\mathfRak{m}}}}$ iS cONtaIned in one of The aSsociated Primes, ANd hence, ITself is An assoCiaTed PrimE. thErEfoRe, ${{\MAthOP{\mAthFRak{M}}}}x=0$ for somE nOnZero $x\In M$ aND WE Put $L=XR$.

COnveRsely, Suppose $L\subseT M$ iS a noNZerO submOdule Such ThAt ${{\matHop{\matHfrak{M}}}}L=0$. then, every $r\in {{\matHop{\mAthfrak{m}}}}\bAckSlAsh\{0\}$ Is A zeroDIvisor. sinCe $M\Not=0$ is a fInite $R$-mODulE, NAKAYaMa’s lemma [@eisen CorolLaRY 4.8] ImPlies thaT $M\not={{\mAThOp{\MAthfrak{m}}}}m$. SO, ${\maThop{\MAThrm{dEpth}}\NOlImits _{{{\matHop{\matHFrAk{M}}}}}} M=0$.

For thE pRoof of thEorEm \[tHm\_coh\_STalk\] We shalL need a nuMber oF lemmas that are aLGebraic in natuRE. RECAlL The nOtiOn of localizAtioN At a pRime. sUpPosE $r$ is a rIng, $p\sUbSEt r$ A prime ideal, and $M$ an $R$-mOdUle. ConSider The multiplicaTively closED SEt $S=R\backSlasH P$, tHEn the localizatIon of $m$ at $p$ is $$M_p=M\tIMes S/\sim\,,$$ wHere $(v,S)\sim(w,t)$ meAns $q(vt-ws)=0$ fOR Some $q\in S$. eleMenTs oF $M_p$ ARE wRitten as fractIONs $v/s$. thE usual rUleS for opeRatIng WitH frAcTions turn $r_
 a commutative ring and $M $ is an $R $-mod ule , t he n aprim e ideal $p$ of $R$is associated to $M$,if th er e  isa n$x\in  M$ suc h  t h a t $ p= {{ \ma th o p{ \math rm{ ann\,}} }}x$. We s hal lmake use oft he  following  fa ct: if $R$ i s a  Noeth er ian ringand  $M$is a f i nite $ R$-module ,t hen th e re aref i ni tely  many primes asso c ia t ed to $M$, and  furth er m or e ,  ea chzerodiviso ron $M $  is con t ai n e d  in one of them,see [@eisen The orem 3 .1 ].Thus,in ou rs ett ing, ${{\ma thop {\mathfra k{m}}} } $ is as ubset o f thefin ite  uni o nof  th ea sso c ia ted pri mes. Now ,th e pri me a v o i d ance  le mma[@eis en Theorem 3. 3]stat e s t hat $ {{\ma thop {\ mathf rak{m} }}}$is  contained in o ne o f the ass oci at edpr imes, and he nce , i tself i s an as s oci at e d pr ime. Therefore, ${ {\ m a th op{\math frak{m } }} }x = 0$ for s om e n onze r o  $x\i n M$ an d we put  $L=xR $ .
C onverse ly , supp os e $ L\s ubset M$ i s a no nzero su bmodu l e such that ${ { \mathop{\math f ra k { m} } }}L= 0$.  Then, ever y $r \ in { {\ma t ho p{\ m athfr ak{m} }} } \b a ckslash\{0\}$ is aze rodivi sor.Since $M\not= 0$ is a fi n i t e $R$-mo dule ,  N a kayama’s lemma  [@ei sen Coroll a ry 4.8]impli es that$M\not={{ \ m athop{\m ath fra k{m }}} } M $.  So, ${\matho p { \mat hr m{depth }}\ nolimit s _ {{{ \ma tho p{ \mathfrak {m}}}}}}  M =0 $. 
For  thep roof ofTh eor em  \[ thm\_ c oh\_st alk\]  wesh al l  ne ed a nu m be r of L em ma s th atar e alg ebra i c i n natur e. Recall  th e  not io nof loca lization at a  p rime. Supp os e $ R$ isa ring, $p \subset R$ a prime idea l , and $ M$an $R $-mo dule. Con sid er the  mu l tiplic ativel y clo se d s e t  $S=R \ b ac ksl as h p$, then t helocal iz atio n of $M $ at $p$ is $$M_p= M \ti mes S/\sim\,, $$wher e $( v,s ) \s i m(w ,t ) $ m e a ns $q(vt-ws)=0$  for some$q \ in  S$. Eleme n tsof  $M_p$are wri ttena s fract ions $v/s $. The us ua l ru l e s f or operati ng withfractions turn$ R_ 
 a_commutative ring_and $M$ is an_$R$-module, then_a_prime ideal_$p$_of $R$ is_associated to $M$,_if there is an_$x\in M$ such_that_$p={{\mathop{\mathrm{ann\,}}}}x$. We shall make use of the following fact: if $R$ is a Noetherian_ring_and $M$_is_a_finite $R$-module, then there are_finitely many primes associated to_$M$, and_furthermore, each zerodivisor on $M$ is contained in_one_of them, see_[@eisen Theorem 3.1].

Thus, in our setting, ${{\mathop{\mathfrak{m}}}}$ is a_subset of the finite union of_the associated primes._Now,_the_prime avoidance lemma [@eisen_Theorem 3.3] states that ${{\mathop{\mathfrak{m}}}}$ is_contained in one of the associated_primes, and hence, itself is an associated_prime. Therefore, ${{\mathop{\mathfrak{m}}}}x=0$ for some nonzero_$x\in M$ and we put_$L=xR$.

Conversely, suppose_$L\subset M$ is a nonzero_submodule such that_${{\mathop{\mathfrak{m}}}}L=0$. Then,_every $r\in {{\mathop{\mathfrak{m}}}}\backslash\{0\}$_is a zerodivisor. Since $M\not=0$ is_a finite $R$-module,_Nakayama’s lemma [@eisen Corollary 4.8] implies_that_$M\not={{\mathop{\mathfrak{m}}}}M$. So, ${\mathop{\mathrm{depth}}\nolimits__{{{\mathop{\mathfrak{m}}}}}}_M=0$.

For_the proof_of Theorem \[thm\_coh\_stalk\]_we_shall need_a_number of Lemmas that are algebraic_in_nature. Recall the notion of localization at_a prime. Suppose $R$_is_a ring, $p\subset R$_a prime ideal, and $M$_an $R$-module. Consider the multiplicatively closed_set $S=R\backslash_p$, then_the localization of $M$ at $p$ is $$M_p=M\times S/\sim\,,$$ where $(v,s)\sim(w,t)$_means $q(vt-ws)=0$ for some $q\in S$._Elements of $M_p$ are_written as_fractions_$v/s$. The usual_rules_for operating_with fractions turn $R_