Totalseparierte Moduln

Abstract: Let

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

be a noetherian local ring,

M

a separated

R

-module (i.e.

) and

w i d e h a t M = l i m l i m i t s_{l e f t a r r o w} M / m a t h f r a k m^{n} M

its completion. Generally,

M

is not pure in

w i d e h a t M

and

w i d e h a t M

is not pure-injective. But if

M

is totally separated, i.e.

X u n d e r s e t R o t i m e s M

is separated for all finitely generated

R

-modules

X

, the situation improves: In this case,

M

is pure in

w i d e h a t M

and, under additional conditions,

w i d e h a t M

is even pure-injective, e.g. if

M c o n g X^{(I)}

holds with

X

finitely generated or

M c o n g c o p r o d_{i = 1}^{i n f t y} R / m a t h f r a k m^{i}

. In section 2, we investigate the question under which conditions both

M

and

w i d e h a t M

are totally separated and establish a close connection to the class of strictly pure-essential extensions. In section 3, we replace the completion

w i d e h a t M

in the case

M = c o p r o d_{i i n I} M_{i}

with the

m a t h f r a k m

-adic closure

A

of

M

in

P = p r o d_{i i n I} M_{i}

, i.e. with

. We give criteria so that

A / M

is radical and show that this always holds in the countable case

M = c o p r o d_{i = 1}^{i n f t y} M_{i}

. Finally, we deal with the case that

A

is even totally separated and additionally determine the coassociated prime ideals of

A / M

.

This page was built for publication: Totalseparierte Moduln