Search

Let $R$ be a commutative Noetherian local ring, $\mathfrak{G}$ a Gabriel topology on $R$, and $\mathfrak{G}^\ast$ the set of all maximal elements of Spec($R)\backslash \mathfrak{G}$. We determine all simple $\mathfrak{G}$-torsion free $R$-modules $M$, as well as all simple $\mathfrak{G}$-divisible Artinian $R$-modules $N$. A central role is played by the set $\mathfrak{G}^{\ast}$: Its elements correspond exactly to the maximal ideals of the quotient ring $R_{\mathfrak{G}}$, if $\mathfrak{G}$ is perfect., Comment: in German

Krull's Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen's career in mathematics. This article traces a conceptual history of Lorenzen's successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations., Comment: in German [with an edition of Lorenzen's correspondence with Hasse, Krull, and Aubert, together with some relevant documents]

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

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is easy to see that $\operatorname{Ext}_R^1(R/I,M) = 0$ always implies $IM = \gamma_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 $\mathfrak{p}$ the equality $\mathfrak{p} = \gamma_{\mathfrak{p}}(R)$ holds iff $R_{\mathfrak{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 $\Lambda$, it follows immediately that $\gamma_{\mathfrak{m}^n} (R) = \Lambda^{-1}$ for almost all $n \geq 1$. In the third part, we examine the dual construction $\kappa_I(M) = \bigcap \{ \operatorname{Ke} f \,|\, f\in \operatorname{Hom}_R(M,I^\circ) \}$ and reduce the main results about $\operatorname{Tor}_1^R(M, R/I) = 0$ and $\kappa_I(M) = M[I]$ to part 1 by considering the Matlis dual $M^\circ = \operatorname{Hom}_R(M, E)$ and the equalities $\gamma_I(M^\circ) = \operatorname{Ann}_{M^\circ}(\kappa_I(M))$, $\kappa_I(M^\circ) = \operatorname{Ann}_{M^\circ}(\gamma_I(M))$., Comment: in German

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. Let $\mathcal{P}$ be the class of all $I$-generated $R$-modules $M$ (i.e. there is an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$) and let $\mathcal{S}$ be the class of all $I^{\circ}$-cogenerated $R$-modules $N$ (i.e. there is a monomorphism $N \hookrightarrow (I^{\circ})^{\Lambda}$ with $I^{\circ} = \operatorname{Hom}_R(I,E)$). We give a complete description of all injective and flat modules in $\mathcal{P}$ and $\mathcal{S}$. We show that $(\mathcal{S},\mathcal{P})$ forms a dual pair in the sense of Mehdi--Prest(2015) and that $\mathcal{P}$ is always closed under pure submodules. We determine all ideals $I$ for which $\mathcal{P}$ is closed under submodules, $\mathcal{S}$ is closed under factor modules and $\mathcal{P}$ (resp. $\mathcal{S}$) is closed under group extensions. In the last section, we examine the submodules $\gamma(M) = \sum\{U \subset M \,|\, U \in \mathcal{P}\}$ and $\kappa(M) = \bigcap \{V \subset M \,|\, M/V \in \mathcal{S}\}$ for all $R$-modules $M$, and we specify their explicit structure in special cases., Comment: in German

Let $(R, \mathfrak m)$ be a commutative noetherian local ring. We investigate under which conditions an $R$-module $M$ is generated by an ideal $I$, i.e. there exists an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$. If $M$ is uniserial, i.e. $\mathcal{L}(M)$ is totally ordered and finite, this is equivalent to $\mathfrak{m}^{n-1} \cdot I \not\subset \operatorname{Ann}_R(M) \cdot I$ ($\operatorname{length}(M) = n \geq 1$). If $M$ is cyclic and $I = \mathfrak{m}$, this is equivalent to: Either it is $M \cong R/\mathfrak{p}$ ($R/\mathfrak{p}$ a discrete valuation ring) or $M \cong C/\operatorname{So}(C)$ ($C$ a uniserial $R$-module). If $A$ is free and $B$ is a submodule of $A$, then the Matlis dual $(A/B)^{\circ} = operatorname{Hom}_R(A/B, E)$ is $I$-generated if and only if $B = (IB) :_A I$. In the case $I = \mathfrak{m}$, this condition leads to the "basically full ideals" considered by Heinzer, Ratliff~Jr. and Rush. By studying the dual condition $M = I(M :_X I)$ in the last section, we can generalize some results of that work., Comment: 9 pages, in German

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$., Comment: 12 pages, in German