\"Uber die von einem Ideal I \subset R erzeugten R-Moduln III

Publication date 12 April 2018

Structure, classification theorems for modules and ideals in commutative rings (13C05) Injective and flat modules and ideals in commutative rings (13C11) Quasi-Frobenius rings (16L60) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90)

Abstract: Let

(R, m a t h f r a k m)

be a commutative noetherian local ring and

I

an ideal of

R

. For every

R

-module

M

,

g a m m a_{I} (M) = s u m o p e r a t o r n a m e B i f, |, f i n o p e r a t o r n a m e {H o m}_{R} (I, M)

is called the trace of

I

in

M

. It is easy to see that

o p e r a t o r n a m e {E x t}_{R}^{1} (R / I, M) = 0

always implies

I M = g a m m a_{I} (M)

. If the second condition holds for all ideals

I

of

R

, we say that

M

is excellent. In part 1, we show a number of conditions for these modules, which are well-known for injective modules. In the second part, we examine the special case

M = R

. In particular, we show that for every prime ideal

m a t h f r a k p

the equality

m a t h f r a k p = g a m m a_{m a t h f r a k p} (R)

holds iff

R_{m a t h f r a k p}

is not a discrete valuation ring. From the results by Matlis (1973) about 1-dimensional local CM-rings and with the help of the first neighborhood ring

L a m b d a

, it follows immediately that

g a m m a_{m a t h f r a k m^{n}} (R) = L a m b d a^{- 1}

for almost all

n g e q 1

. In the third part, we examine the dual construction

and reduce the main results about

o p e r a t o r n a m e {T o r}_{1}^{R} (M, R / I) = 0

and

k a p p a_{I} (M) = M [I]

to part 1 by considering the Matlis dual

M^{c} i r c = o p e r a t o r n a m e {H o m}_{R} (M, E)

and the equalities

g a m m a_{I} (M^{c} i r c) = o p e r a t o r n a m e {A n n}_{M^{c} i r c} (k a p p a_{I} (M))

,

k a p p a_{I} (M^{c} i r c) = o p e r a t o r n a m e {A n n}_{M^{c} i r c} (g a m m a_{I} (M))

.

This page was built for publication: \"Uber die von einem Ideal $I \subset R$ erzeugten $R$-Moduln III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6300274)