Totalseparierte Moduln (1504.00168v1)

Abstract: Let $(R, \mathfrak{m})$ be a noetherian local ring, $M$ a separated $R$-module (i.e. $\bigcap\limits_{n\geq 1}\mathfrak{m}^n M = 0$) and $\widehat{M} = \lim\limits_{\leftarrow} M/\mathfrak{m}^n M$ its completion. Generally, $M$ is not pure in $\widehat{M}$ and $\widehat{M}$ is not pure-injective. But if $M$ is totally separated, i.e. $X\underset{R}{\otimes} M$ is separated for all finitely generated $R$-modules $X$, the situation improves: In this case, $M$ is pure in $\widehat{M}$ and, under additional conditions, $\widehat{M}$ is even pure-injective, e.g. if $M\cong X^{(I)}$ holds with $X$ finitely generated or $M \cong\coprod_{i=1}^{\infty} R/\mathfrak{m}^i$. In section 2, we investigate the question under which conditions both $M$ and $\widehat{M}$ are totally separated and establish a close connection to the class of strictly pure-essential extensions. In section 3, we replace the completion $\widehat{M}$ in the case $M = \coprod_{i\in I}M_i$ with the $\mathfrak{m}$-adic closure $A$ of $M$ in $P = \prod_{i\in I} M_i$, i.e. with $A = \bigcap_{n \geq 1}(M + \mathfrak{m}^n P)$. We give criteria so that $A/M$ is radical and show that this always holds in the countable case $M = \coprod_{i=1}^{\infty} M_i$. Finally, we deal with the case that $A$ is even totally separated and additionally determine the coassociated prime ideals of $A/M$.