Flatness, LCM-stability, and related module-theoretic properties (Q1116982): Difference between revisions

Eine Kennzeichnung eines flachen \(R\)-Moduls \(E\) besteht darin, daß sich \(E\) als \(n\)-flach für alle \(n\geq 2\) erweist, d.h. zu jeder Relation \(\sum^{n}_{i=1}r_ ix_ i=0 \) \((r_ i\in R\), \(x_ i\in E\), \((i=1,\ldots,n))\) lassen sich \(s_{ij}\in R\), \(y_ j\in E\) \((j=1,\ldots,m)\) finden mit \(\sum_{i}s_{ij}x_ i=0 \) \((j=1,\ldots,m)\), \(\sum_{j}r_ is_{ij}=0 \) \((i=1,\ldots,n)\). Ein torsionsfreier Modul \(E\) über einem Integritätsbereich \(R\) wird kgV-stabil (LCM-stable) über \(R\) genannt, falls \(E(Ra\cap Rb)=Ea\cap Eb\) für alle \(a,b\in R\) gilt. Diese Eigenschaft ist eine Konsequenz der Flachheit, die Umkehrung ist falsch; genau die 2-flachen Moduln sind kgV-stabil. Die Autoren zeigen für ein endlich erzeugtes Ideal \(I\) eines Integritätsbereiches \(R\): schon dann ist \(I\) flach, wenn es \(n\)-flach für mindestens ein \(n\geq 2\) ist. Damit erweisen sich für solche Ideale kgV-Stabilität und Flachheit als äquivalente Begriffe. Ein von zwei Elementen erzeugtes Ideal \(I=(a,b)\) eines Integritätsbereiches \(R\) ist genau dann flach wenn \(Ia\cap Ib=I(Ra\cap Rb)\) gilt (vgl. [\textit{D. E. Dobbs}, Can. Math. Bull. 29, 25--32 (1986; Zbl 0591.13006)]). Eine analoge Charakterisierung flacher Ideale, die von drei Elementen erzeugt werden, gibt es nicht. Hierzu wird ein Beispiel eines nicht-flachen Ideals \(J=(a,b,c)\) eines Integritätsbereiches \(R\) angegeben, für das \(Jab\cap Jbc\cap Jca=J(Rab\cap Rbc\cap Rca)\) gilt. Ferner werden \(R\)-Moduln \(E\) mit den Eigenschaften (*) \((I\cap J)E=IE\cap JE\) für alle Ideale \(I, J\) von \(R\), (**) \((\cap I_{\alpha})E=\cap (I_{\alpha}E) \) für alle Familien \(\{I_{\alpha}\}\) von \(R\)-Idealen betrachtet. Es wird gezeigt, daß flache (bzw. projektive) Moduln die Eigenschaft (*) (bzw. (**)) besitzen. Falls \(R\) ein kohärenter (bzw. Noetherscher) Ring ist und \(\{E_{\alpha}\}\) ein Familie von \(R\)-Moduln, welche alle der Eigenschaft (*) (bzw. (**)) genügen, so besitzt auch das direkte Produkt \(\prod E_{\alpha} \) die entsprechende Eigenschaft.