rm char}_{R}(M) := \operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow {\bigcap}^{r}_{R}R^{r} = R \right).$$

\[rem:flat\] If $R'$ is a flat $R$-algebra, then we have ${\rm char}_{R}(M)R' = {\rm char}_{R'}(R' \otimes_{R}M)$.

\[rem:indep-char\] The ideal ${\rm char}_{R}(M)$ is independent of the choice of the exact sequence $0 \longrightarrow N \longrightarrow R^{r} \longrightarrow M \longrightarrow 0$.

In fact, by Remark \[rem:flat\], we may assume that $R$ is a local noetherian ring. Then any free resolution of $M$ is isomorphic to the direct sum of the minimal free resolution of $M$ and a trivial complex. Hence it suffices to show that $$\operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow {\bigcap}^{r}_{R}R^{r} = R \right) = 
\operatorname{im}\left({\bigcap}^{r+s}_{R}(N \oplus R^{s}) \longrightarrow {\bigcap}^{r+s}_{R}R^{r+s} = R \right).$$ The homomorphism $(R^{r+s})^{*} = (R^{r})^{*} \oplus  (R^{s})^{*} \longrightarrow N^{*} \oplus (R^{s})^{*} = (N \oplus R^{s})^{*}$ induces a commutative diagram $$\xymatrix{
{\bigwedge}^{r}_{R}(R^{r})^{*} \otimes  \bigwedge^{s}_{R}(R^{s})^{*} \ar[r] \ar[d]^-{=} & 
{\bigwedge}^{r}_{R}(N)^{*} \otimes  {\bigwedge}^{s}_{R}(R^{s})^{*}  \ar@{^{(}->}[d] 
\\
 {\bigwedge}^{r+s}_{R}(R^{r+s})^{*}  \ar[r] & {\bigwedge}^{r+s}_{R}(N \oplus R^{s})^{*}.   
}$$ By taking $R$-duals to this commutative diagram, we obtain the following commutative diagram: $$\xymatrix{
{\bigcap}^{r+s}_{R
rm char}_{R}(M): = \operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow { \bigcap}^{r}_{R}R^{r } = R \right).$$ 

 \[rem: flat\ ] If $ R'$ is a flat $ R$-algebra, then we have $ { \rm char}_{R}(M)R' = { \rm char}_{R'}(R' \otimes_{R}M)$. 

 \[rem: indep - char\ ] The ideal $ { \rm char}_{R}(M)$ is independent of the option of the accurate succession $ 0 \longrightarrow N \longrightarrow R^{r } \longrightarrow M \longrightarrow 0$. 

 In fact, by Remark   \[rem: flat\ ], we may assume that $ R$ is a local noetherian ring. Then any free resoluteness of $ M$ is isomorphic to the direct union of the minimal barren resolution of $ M$ and a fiddling complex. Hence it suffice to show that $ $ \operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow { \bigcap}^{r}_{R}R^{r } = R \right) = 
 \operatorname{im}\left({\bigcap}^{r+s}_{R}(N \oplus R^{s }) \longrightarrow { \bigcap}^{r+s}_{R}R^{r+s } = R \right).$$ The homomorphism $ (R^{r+s})^ { * } = (R^{r})^ { * } \oplus   (R^{s})^ { * } \longrightarrow N^ { * } \oplus (R^{s})^ { * } = (N \oplus R^{s})^{*}$ induces a commutative diagram $ $ \xymatrix { 
 { \bigwedge}^{r}_{R}(R^{r})^ { * } \otimes   \bigwedge^{s}_{R}(R^{s})^ { * } \ar[r ] \ar[d]^-{= } & 
 { \bigwedge}^{r}_{R}(N)^ { * } \otimes   { \bigwedge}^{s}_{R}(R^{s})^ { * }   \ar@{^{(}->}[d ] 
 \\ 
  { \bigwedge}^{r+s}_{R}(R^{r+s})^ { * }   \ar[r ] & { \bigwedge}^{r+s}_{R}(N \oplus R^{s})^ { * }.   
 } $ $ By lead $ R$-duals to this commutative diagram, we obtain the following commutative diagram: $ $ \xymatrix { 
 { \bigcap}^{r+s}_{R
rm fhar}_{R}(M) := \operatorname{im}\lent({\bigcap}^{r}_{R}N \longtithtarrmw {\bigdap}^{r}_{R}R^{r} = R \right).$$

\[rem:flat\] If $R'$ is a flet $R$-qlgebea, then we have ${\rm chaf}_{R}(M)R' = {\rm bhar}_{R'}(R' \otumes_{C}M)$.

\[rem:indep-char\] Tis ideal ${\rm chzv}_{R}(M)$ iv independent on the choica of the exact sdqbence $0 \longrightarrow N \longrightarrjw R^{r} \lpnhrightarrow M \jonggidhtadgoc 0$.

In fact, by Remark \[rem:flat\], we mzy assuke that $R$ is s local noetherian ring. Thfn ajy free resolution of $M$ is isimor[yic to the dkrect sum of the minimzl free resolution of $M$ and a tfiviak complex. Yebce ht suffices to srow that $$\opevstornake{im}\lefy({\bigcap}^{r}_{R}N \lonnrighvarriw {\bigcap}^{r}_{R}R^{r} = R \righv) = 
\operatorname{im}\lefj({\bigcap}^{r+s}_{R}(T \kplus R^{s}) \longrighraerow {\tigcdp}^{r+s}_{F}E^{r+s} = R \rmghf).$$ The jomkmorphism $(D^{r+s})^{*} = (R^{r})^{*} \oplys  (R^{s})^{*} \longrightarrpw B^{*} \oplus (R^{s})^{*} = (N \oplus R^{f})^{*}$ induces a commutative diagram $$\xymatriq{
{\bigsedge}^{r}_{R}(R^{r})^{*} \otimes  \bigweege^{s}_{R}(R^{s})^{*} \ar[r] \ar[d]^-{=} & 
{\bigwgdge}^{r}_{R}(N)^{*} \otymes  {\bigwedge}^{s}_{R}(R^{s})^{*}  \ar@{^{(}->}[d] 
\\
 {\bigwedge}^{r+s}_{R}(R^{r+s})^{*}  \ar[r] & {\bigfedge}^{c+s}_{F}(N \ipjjw G^{s})^{*}.   
}$$ By taking $R$-duals to this commutative diwfrsm, we obtain the following volmijative diagram: $$\xymatxjx{
{\gigcap}^{r+s}_{R
rm char}_{R}(M) := \operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow {\bigcap}^{r}_{R}R^{r} = \[rem:flat\] $R'$ is flat $R$-algebra, then {\rm \otimes_{R}M)$. \[rem:indep-char\] The ${\rm char}_{R}(M)$ is of the choice of the exact $0 \longrightarrow N \longrightarrow R^{r} \longrightarrow M \longrightarrow 0$. In fact, by Remark we may assume that $R$ is a local noetherian ring. Then any free of is to direct sum of the minimal free resolution of $M$ and a trivial complex. Hence it suffices show that $$\operatorname{im}\left({\bigcap}^{r}_{R}N \longrightarrow {\bigcap}^{r}_{R}R^{r} = R \right) \operatorname{im}\left({\bigcap}^{r+s}_{R}(N \oplus R^{s}) \longrightarrow = R \right).$$ The homomorphism = \oplus (R^{s})^{*} N^{*} (R^{s})^{*} (N \oplus R^{s})^{*}$ a commutative diagram $$\xymatrix{ {\bigwedge}^{r}_{R}(R^{r})^{*} \otimes \bigwedge^{s}_{R}(R^{s})^{*} \ar[r] \ar[d]^-{=} & {\bigwedge}^{r}_{R}(N)^{*} \otimes {\bigwedge}^{s}_{R}(R^{s})^{*} \ar@{^{(}->}[d] \\ {\bigwedge}^{r+s}_{R}(R^{r+s})^{*} \ar[r] {\bigwedge}^{r+s}_{R}(N \oplus By taking to commutative we obtain the diagram: $$\xymatrix{ {\bigcap}^{r+s}_{R
rm char}_{R}(M) := \operatorname{im}\lefT({\bigcap}^{r}_{R}N \LongrIghTarRoW {\bigCap}^{r}_{r}R^{r} = R \right).$$

\[rem:flAT\] If $R'$ Is a flat $R$-algebra, then we hAve ${\rm ChAR}_{R}(M)R' = {\RM cHar}_{R'}(R' \Otimes_{R}m)$.

\[ReM:INdeP-cHaR\] ThE iDEaL ${\rm chAr}_{R}(m)$ is indePendent of tHe cHoIce of the exacT SeQuence $0 \longRigHtarrow N \longRigHtarroW R^{R} \loNGrighTarRow M \lOngrigHTarrow 0$.

in fact, by REmARk \[rem:fLAt\], we may ASSuMe thAt $R$ is a local noetheRIaN Ring. Then any freE resolUtIOn OF $m$ is IsoMorphic to tHe DirecT Sum of thE MiNIMAl fREe resolution oF $M$ and a triviAL coMplex. HEnCe iT SufficEs to sHoW ThaT $$\operatornaMe{im}\Left({\bigcaP}^{r}_{R}N \loNGrightaRRow {\bigcAp}^{r}_{R}R^{r} = r \riGht) = 
\OperAToRnAme{Im}\LEft({\BIgCap}^{R+S}_{R}(N \Oplus R^{s}) \lOnGrIghtaRrow {\BIGCAp}^{r+s}_{r}R^{r+S} = R \riGht).$$ ThE homomorphism $(r^{r+s})^{*} = (r^{r})^{*} \opLUs  (R^{S})^{*} \longRightArroW N^{*} \Oplus (r^{s})^{*} = (N \oplUs R^{s})^{*}$ iNdUces a commutativE diaGram $$\xymatRix{
{\BiGweDgE}^{r}_{R}(R^{r})^{*} \OTimes  \bIgwEdgE^{s}_{R}(R^{s})^{*} \ar[R] \ar[d]^-{=} & 
{\bigWEdgE}^{r}_{r}(n)^{*} \OTiMes  {\bigwedge}^{s}_{R}(R^{s})^{*}  \ar@{^{(}->}[d] 
\\
 {\BiGWEdGe}^{r+s}_{R}(R^{r+s})^{*}  \Ar[r] & {\bigWEdGe}^{R+S}_{R}(N \oplus r^{s})^{*}.   
}$$ by tAkinG $r$-Duals To thIS cOmmutatiVe diagRAm, We Obtain tHe FollowInG coMmuTativE DiagRam: $$\xymAtrix{
{\bigCap}^{r+s}_{r
rm char}_{R}(M) := \operat orname{im} \left ({\ big ca p}^{ r}_{ R}N \longright a rrow  {\bigcap}^{r}_{R}R^{r } = R  \ r ight ) .$ $

\[ rem:fla t \] I f $ R' $isaf la t $R$ -al gebra,then we ha ve${ \rm char}_{R } (M )R' = {\rm  ch ar}_{R'}(R'\ot imes_{ R} M)$ . 

\[r em: indep -char\ ]  The i deal ${\r mc har}_{ R }(M)$ i s in depe ndent of the choi c eo f the exact se quence  $ 0  \ l o ngr igh tarrow N \ lo ngrig h tarrowR ^{ r } \lo n grightarrow M  \longright a rro w 0$.
I n f a ct, by  Rema rk \[r em:flat\],we m ay assume  that$ R$ is a local n oether ian  ri ng.T he nany  f r eer es olu t ion  of $M$is  i somor phic t o thedir ectsum o f the minimal  fr ee r e sol ution  of $ M$ a nd  a tr ivialcompl ex . Hence it suff ices  to showtha t$$\ op erato r name{i m}\ lef t({\big cap}^{r } _{R }N \ l on grightarrow {\bigc ap } ^ {r }_{R}R^{ r} = R \r ig h t) = 
\o pe rat orna m e {im}\ left ( {\ bigcap}^ {r+s}_ { R} (N  \oplus  R ^{s})\l ong rig htarr o w {\ bigcap }^{r+s}_ {R}R^ { r+s} = R \righ t ).$$ The homo m or p h is m  $(R ^{r +s})^{*} =(R^{ r })^{ *} \ o pl us(R^{s })^{* }\ lo n grightarrow N^{*} \ op lus (R ^{s}) ^{*} = (N \op lus R^{s}) ^ { * }$ induc es a co m mutative diagr am $$ \xymatrix{ {\bigwed ge}^{ r}_{R}(R ^{r})^{*} \ otimes \bi gwe dge ^{s } _ {R }(R^{s})^{*}\ a r[r]  \ ar[d]^- {=}  & 
{\b igw edg e}^ {r} _{ R}(N)^{*}  \otimes  {\ bi gw edg e}^{s } _{R}(R^{ s} )^{ *}   \ ar@{^ { (}->}[ d] 
\ \
 { \b ig w edg e}^{r+s } _{ R } (R^{ r+ s} )^{* } \a r[r]& {\ b igw edge}^{ r+s}_{R}( N \ o plus  R ^{ s})^{*} .   
}$$ By t ak ing $R$-du al s t o this c ommutati ve diagram, we obtain t h e follo win g com muta tive diag ram : $$\x yma t rix{
{ \bigca p}^{r +s }_{ R 
rm char}_{R}(M)_:= \operatorname{im}\left({\bigcap}^{r}_{R}N_\longrightarrow {\bigcap}^{r}_{R}R^{r} = R_\right).$$

\[rem:flat\] If_$R'$_is a_flat_$R$-algebra, then we_have ${\rm char}_{R}(M)R'_= {\rm char}_{R'}(R' \otimes_{R}M)$.

\[rem:indep-char\]_The ideal ${\rm_char}_{R}(M)$_is independent of the choice of the exact sequence $0 \longrightarrow N \longrightarrow R^{r}_\longrightarrow_M \longrightarrow_0$.

In_fact,_by Remark \[rem:flat\], we may assume_that $R$ is a local_noetherian ring._Then any free resolution of $M$ is isomorphic_to_the direct sum_of the minimal free resolution of $M$ and a_trivial complex. Hence it suffices to_show that $$\operatorname{im}\left({\bigcap}^{r}_{R}N_\longrightarrow_{\bigcap}^{r}_{R}R^{r}_= R \right) =_
\operatorname{im}\left({\bigcap}^{r+s}_{R}(N \oplus R^{s}) \longrightarrow {\bigcap}^{r+s}_{R}R^{r+s} =_R \right).$$ The homomorphism $(R^{r+s})^{*} =_(R^{r})^{*} \oplus  (R^{s})^{*} \longrightarrow N^{*} \oplus_(R^{s})^{*} = (N \oplus R^{s})^{*}$ induces_a commutative diagram $$\xymatrix{
{\bigwedge}^{r}_{R}(R^{r})^{*} \otimes_ \bigwedge^{s}_{R}(R^{s})^{*}_\ar[r] \ar[d]^-{=} & 
{\bigwedge}^{r}_{R}(N)^{*} \otimes_ {\bigwedge}^{s}_{R}(R^{s})^{*} _\ar@{^{(}->}[d] 
\\
_{\bigwedge}^{r+s}_{R}(R^{r+s})^{*}  \ar[r]_& {\bigwedge}^{r+s}_{R}(N \oplus R^{s})^{*}.  _
}$$ By taking_$R$-duals to this commutative diagram, we_obtain_the following commutative_diagram:_$$\xymatrix{
{\bigcap}^{r+s}_{R