English

Einfach-teilbare und einfach-torsionsfreie R-Moduln

Commutative Algebra 2019-11-15 v1 Rings and Algebras

Abstract

Let (R,m)(R, \mathfrak{m}) be a commutative Noetherian local ring with total quotient ring KK. An RR-module MM is called simple divisible, if MM is divisible 0\neq 0, but every proper submodule 0UM0 \neq U \subsetneqq M is not divisible. Dually, MM is called simple torsion free, if MM ist torsion free 0\neq 0, but, for every proper submodule 0UM0 \neq U \subsetneqq M, the factor module M/UM/U is not torsion free. Our first result is that M0M \neq 0 is simple torsion free iff MM is a submodule of κ(p)=Rp/pRp\kappa(\mathfrak{p}) = R_{\mathfrak{p}}/\mathfrak{p} R_{\mathfrak{p}} for a maximal element p\mathfrak{p} in Ass(R)\operatorname{Ass}(R). The structure of simple divisible modules is more complicated and was examined primarily by E. Matlis (1973) over 1-dimensional local CMCM-rings and by A. Facchini (1989) over any integral domain. Our main results are: If the injective hull E(R/q)E(R/\mathfrak{q}) is simple divisible (qSpec(R)\mathfrak{q} \in \operatorname{Spec}(R)), then the ring RqR_{\mathfrak{q}} is analytically irreducible and essentially complete. Especially for q=m\mathfrak{q} = \mathfrak{m}, the simple divisible submodules of E(R/m)E(R/\mathfrak{m}) correspond exactly to the maximal ideals of the ring R^RK\hat{R} \otimes_R K, and E(R/m)E(R/\mathfrak{m}) itself is simple divisible iff R^RK\hat{R} \otimes_R K is a field.

Keywords

Cite

@article{arxiv.1911.06141,
  title  = {Einfach-teilbare und einfach-torsionsfreie R-Moduln},
  author = {Helmut Zöschinger},
  journal= {arXiv preprint arXiv:1911.06141},
  year   = {2019}
}

Comments

in German