 usual one.

By Proposition \[prop:reflexible\], the characteristic ideals ${\rm char}_{R}(M)$ and ${\rm char}_{R}(N)$ are reflexive. Hence, by Lemma \[lem:inequality\] and the condition (G$_{1}$), we may assume that $R$ is a Gorenstein local ring with $\dim(R) \leq 1$.

By the horseshoe lemma, a projective resolution of $M$ can be built up inductively with the $n$-th item in the resolution of $M$ equal to the direct sum of the $n$-th items in projective resolutions of $N$ and $M/N$. Hence one can take the following commutative diagram with exact lows: $$\xymatrix{
0 \ar[r] & Y \ar[r]^-{\beta} \ar@{^{(}->}[d] & R^{r} \ar[r] \ar@{^{(}->}[d] & N \ar[r] \ar@{^{(}->}[d] & 0 
\\
0 \ar[r] & X \ar[r]^-{\alpha} \ar[d] & R^{r+s} \ar[r] \ar[d] & M \ar[r] \ar[d] & 0
\\
0 \ar[r] & X/Y \ar[r] & R^{s} \ar[r] & M/N \ar[r] & 0. 
}$$ Here $r$ is a positive integer and the homomorphism $R^{r} {\lhook\joinrel\longrightarrow}R^{r+s}$ is a split injection.

Since $R$ is Gorenstein and $\dim(R) \leq 1$, the module $\operatorname{Ext}_{R}^{1}(X/Y,R) \stackrel{\sim}{\longrightarrow} \operatorname{Ext}_{R}^{2}(M/N,R)$ vanishes. Hence by taking $R$-duals to the above commutative diagram, we get exact sequences of $R$-modules $$\xymatrix{
0 \ar[r] & (R^{*})^{s} \ar[r] \ar[d] & (R^{*})^{r+s} \ar[r] \ar[d]^-{\alpha^{*}} & (R^{*})^{r} \ar[r] \ar[d]^-{\beta^{*}} &
usual one. 

 By Proposition   \[prop: reflexible\ ], the characteristic ideals $ { \rm char}_{R}(M)$ and $ { \rm char}_{R}(N)$ are reflexive. Hence, by Lemma   \[lem: inequality\ ] and the circumstance (G$_{1}$), we may wear that $ R$ is a Gorenstein local ring with $ \dim(R) \leq 1$. 

 By the horseshoe lemma, a projective resolution of $ M$ can be build up inductively with the $ n$-th detail in the resolution of $ M$ equal to the lineal sum of the $ n$-th items in projective resolutions of $ N$ and $ M / N$. therefore one can remove the keep up commutative diagram with exact low: $ $ \xymatrix { 
 0 \ar[r ] & Y \ar[r]^-{\beta } \ar@{^{(}->}[d ] & R^{r } \ar[r ] \ar@{^{(}->}[d ] & N \ar[r ] \ar@{^{(}->}[d ] & 0 
 \\ 
 0 \ar[r ] & X \ar[r]^-{\alpha } \ar[d ] & R^{r+s } \ar[r ] \ar[d ] & M \ar[r ] \ar[d ] & 0 
 \\ 
 0 \ar[r ] & X / Y \ar[r ] & R^{s } \ar[r ] & M / N \ar[r ] & 0. 
 } $ $ Here $ r$ is a positivist integer and the homomorphism $ R^{r } { \lhook\joinrel\longrightarrow}R^{r+s}$ is a split injection. 

 Since $ R$ is Gorenstein and $ \dim(R) \leq 1 $, the faculty $ \operatorname{Ext}_{R}^{1}(X / Y, R) \stackrel{\sim}{\longrightarrow } \operatorname{Ext}_{R}^{2}(M / N, R)$ vanishes. Hence by take $ R$-duals to the above commutative diagram, we catch exact sequences of $ R$-modules $ $ \xymatrix { 
 0 \ar[r ] & (R^{*})^{s } \ar[r ] \ar[d ] & (R^{*})^{r+s } \ar[r ] \ar[d]^-{\alpha^ { * } } & (R^{*})^{r } \ar[r ] \ar[d]^-{\beta^ { * } } &
 uskal one.

By Proposition \[prok:reflexible\], the ckqractecistic jdeals ${\ro char}_{R}(M)$ and ${\rm char}_{R}(N)$ are rxflezive. Yence, by Lemma \[lem:inequxlity\] and the coneitiib (G$_{1}$), we may assume bkat $R$ ls a Yocenstein local ting with $\dik(R) \leq 1$.

By the vofszshoe lemma, a projective resolution jf $M$ cam he built up inquctpvqly sptm the $n$-th item in the resolution of $M$ exual to the dorect sum of the $n$-th items in orojective resolutlons of $N$ abd $M/G$. Hence one cxn take tht yollowing ckmmutative diagram with exact luws: $$\xvmatrix{
0 \ar[r] & T \ag[t]^-{\beta} \ar@{^{(}->}[d] & R^{c} \ar[r] \wr@{^{(}->}[d] & N \ar[r] \av@{^{(}->}[c] & 0 
\\
0 \as[r] & X \at[r]^-{\alpha} \ar[d] & R^{v+s} \ar[c] \ar[e] & M \ar[r] \ar[d] & 0
\\
0 \ar[r] & X/B \ar[r] & R^{s} \ar[r] & M/N \ar[t] & 0. 
}$$ Here $s$ ns a positive integer abd thg hommmoroyiso $R^{d} {\khkok\joijrem\longrightzrrow}R^{r+s}$ is a split injection.

Sonsv $R$ is Gorensfein agd $\dim(R) \leq 1$, the module $\operatorname{Ext}_{R}^{1}(X/J,R) \sfackrel{\sim}{\longrightarroq} \operatorname{Ext}_{R}^{2}(M/N,R)$ vanishes. Hence by taking $R$-duals to the above commutative giagrem, we gct ebqch sequences of $R$-modules $$\xymatrix{
0 \ar[r] & (R^{*})^{s} \ar[r] \wd[d] & (G^{*})^{r+s} \ar[r] \ar[d]^-{\alpha^{*}} & (R^{*})^{r} \ar[r] \ar[d]^-{\neha^{*}} &
usual one. By Proposition \[prop:reflexible\], the characteristic char}_{R}(M)$ ${\rm char}_{R}(N)$ reflexive. Hence, by (G$_{1}$), may assume that is a Gorenstein ring with $\dim(R) \leq 1$. By horseshoe lemma, a projective resolution of $M$ can be built up inductively with $n$-th item in the resolution of $M$ equal to the direct sum of $n$-th in resolutions $N$ and $M/N$. Hence one can take the following commutative diagram with exact lows: $$\xymatrix{ 0 & Y \ar[r]^-{\beta} \ar@{^{(}->}[d] & R^{r} \ar[r] \ar@{^{(}->}[d] N \ar[r] \ar@{^{(}->}[d] & \\ 0 \ar[r] & X \ar[d] R^{r+s} \ar[r] & \ar[r] & 0 \\ \ar[r] & X/Y \ar[r] & R^{s} \ar[r] & M/N \ar[r] & 0. }$$ Here $r$ is a integer and $R^{r} {\lhook\joinrel\longrightarrow}R^{r+s}$ a injection. $R$ is Gorenstein \leq 1$, the module $\operatorname{Ext}_{R}^{1}(X/Y,R) \stackrel{\sim}{\longrightarrow} by taking $R$-duals to the above commutative diagram, get exact of $R$-modules $$\xymatrix{ 0 \ar[r] & \ar[r] \ar[d] & (R^{*})^{r+s} \ar[r] \ar[d]^-{\alpha^{*}} & (R^{*})^{r} \ar[d]^-{\beta^{*}} &
 usual one.

By Proposition \[prop:Reflexible\], The chAraCteRiStic IdeaLs ${\rm char}_{R}(M)$ and ${\rM Char}_{r}(N)$ are reflexive. Hence, by LEmma \[lEm:INequALiTy\] and The condITiON (g$_{1}$), we MaY aSsuMe THaT $R$ is a gorEnstein Local ring wIth $\DiM(R) \leq 1$.

By the hoRSeShoe lemma, a ProJective resolUtiOn of $M$ cAn Be bUIlt up IndUctivEly witH The $n$-th Item in the ReSOlutioN Of $M$ equaL TO tHe diRect sum of the $n$-th itEMs IN projective resOlutioNs OF $N$ AND $M/N$. henCe one can taKe The foLLowing cOMmUTATivE Diagram with exAct lows: $$\xymaTRix{
0 \Ar[r] & Y \ar[R]^-{\bEta} \AR@{^{(}->}[d] & R^{r} \ar[R] \ar@{^{(}->}[d] & N \Ar[R] \Ar@{^{(}->}[d] & 0 
\\
0 \Ar[r] & X \ar[r]^-{\alphA} \ar[d] & r^{r+s} \ar[r] \ar[d] & m \ar[r] \ar[D] & 0
\\
0 \Ar[r] & X/Y \ar[R] & r^{s} \ar[r] & M/N \Ar[r] & 0. 
}$$ HerE $r$ iS a pOsitIVe InTegEr ANd tHE hOmoMOrpHism $R^{r} {\lhOoK\jOinreL\lonGRIGHtarRow}r^{r+s}$ iS a splIt injection.

SiNce $r$ is GORenStein And $\diM(R) \leQ 1$, tHe modUle $\opeRatorNaMe{Ext}_{R}^{1}(X/Y,R) \stackrEl{\siM}{\longrighTarRoW} \opErAtornAMe{Ext}_{R}^{2}(m/N,R)$ VanIshes. HeNce by taKIng $r$-dUALS tO the above commutatiVe DIAgRam, we get Exact sEQuEnCEs of $R$-modUlEs $$\xYmatRIX{
0 \ar[r] & (R^{*})^{S} \ar[r] \AR[d] & (r^{*})^{r+s} \ar[r] \ar[D]^-{\alpha^{*}} & (r^{*})^{R} \aR[r] \Ar[d]^-{\beta^{*}} &
 usual one.

By Propositio n \[prop:r eflex ibl e\] ,thechar acteristic ide a ls $ {\rm char}_{R}(M)$ and  ${\r mc har} _ {R }(N)$  are re f le x i ve.  H en ce,  b y  L emma\[l em:ineq uality\] a ndth e condition( G$ _{1}$), we  ma y assume tha t $ R$ isaGor e nstei n l ocalring w i th $\d im(R) \le q1 $.

By the hor s e sh oe l emma, a projectiv e  r e solution of $M $ canbe bu i l t u p i nductively  w ith t h e $n$-t h  i t e m  in the resolutio n of $M$ eq u alto the  d ire c t sumof th e$ n$- th items in  pro jective r esolut i ons of$ N$ and$M/N$.  He nce  one ca ntak et hef ol low i ngcommutat iv ediagr am w i t h exac t l ows:  $$\x ymatrix{
0 \a r[r ] &Y  \a r[r]^ -{\be ta}\a r@{^{ (}->}[ d] &R^ {r} \ar[r] \ar@ {^{( }->}[d] &  N\a r[r ]\ar@{ ^ {(}->} [d]  &0 
\\
0  \ar[r] & X  \ a r [ r] ^-{\alpha} \ar[d]&R ^ {r +s} \ar[ r] \ar [ d]  & M \ar[r]  \ ar[ d] & 0 
\\
0  \ar [ r]  & X/Y \ ar[r]&  R ^{ s} \ar[ r]  & M/N  \ ar[ r]& 0.}$$Here $ r$ is aposit i ve integer and the homomorph i sm $ R^ { r} { \lh ook\joinrel \lon g righ tarr o w} R^{ r +s}$is asp l it injection.

Since $ R$  is Go renst ein and $\dim (R) \leq 1 $ , the modu le $ \ op e ratorname{Ext} _{R}^ {1}(X/Y,R) \stackre l{\si m}{\long rightarro w }  \operat orn ame {Ex t}_ { R }^ {2}(M/N,R)$ v a n ishe s.  Hencebytaking$R$ -du als  to  t he abovecommutat iv edi ag ram , weg et exact  s equ en ces  of $ R $-modu les $ $\xy ma tr i x{0 \ar[r ]  & ( R^{* }) ^{ s} \ ar[ r]  \ar[ d] & (R^ {*})^{r +s} \ar[r ] \ a r[d] ^- {\ alpha^{ *}} & (R^{*}) ^{ r} \ar[r]\a r[d ]^-{\b e t a^{*}} & 
 usual_one.

By Proposition \[prop:reflexible\],_the characteristic ideals ${\rm_char}_{R}(M)$ and_${\rm_char}_{R}(N)$ are_reflexive._Hence, by Lemma \[lem:inequality\]_and the condition_(G$_{1}$), we may assume_that $R$ is_a_Gorenstein local ring with $\dim(R) \leq 1$.

By the horseshoe lemma, a projective resolution of_$M$_can be_built_up_inductively with the $n$-th item_in the resolution of $M$_equal to_the direct sum of the $n$-th items in_projective_resolutions of $N$_and $M/N$. Hence one can take the following commutative_diagram with exact lows: $$\xymatrix{
0 \ar[r]_& Y \ar[r]^-{\beta}_\ar@{^{(}->}[d]_&_R^{r} \ar[r] \ar@{^{(}->}[d] &_N \ar[r] \ar@{^{(}->}[d] & 0 
\\
0_\ar[r] & X \ar[r]^-{\alpha} \ar[d] &_R^{r+s} \ar[r] \ar[d] & M \ar[r] \ar[d]_& 0
\\
0 \ar[r] & X/Y \ar[r]_& R^{s} \ar[r] & M/N_\ar[r] &_0. 
}$$ Here $r$ is_a positive integer_and the_homomorphism $R^{r} {\lhook\joinrel\longrightarrow}R^{r+s}$_is a split injection.

Since $R$ is_Gorenstein and $\dim(R)_\leq 1$, the module $\operatorname{Ext}_{R}^{1}(X/Y,R) \stackrel{\sim}{\longrightarrow}_\operatorname{Ext}_{R}^{2}(M/N,R)$_vanishes. Hence by_taking_$R$-duals_to the_above commutative diagram,_we_get exact_sequences_of $R$-modules $$\xymatrix{
0 \ar[r] & (R^{*})^{s}_\ar[r]_\ar[d] & (R^{*})^{r+s} \ar[r] \ar[d]^-{\alpha^{*}} & (R^{*})^{r}_\ar[r] \ar[d]^-{\beta^{*}} &