Weakly based modules over Dedekind domains. (English) Zbl 1308.13013
A subset \(X\) of a left \(R\)- module \(M\) is weakly independent provided that whenever \(a_1 x_1+\cdots+a_n x_n=0\) for pairwise distinct elements \(x_1+\cdots+x_n\) from \(X\), then none of \(a_1,\dots,a_n\) is invertible in \(R\). Weakly independent generating sets (called weak bases) are exactly generating sets minimal with respect to inclusion. The aim of the paper is to characterize modules over Dedekind domains possessing a weak basis. The authors characterize them as follows: Let \(R\) be a Dedekind domain and let \(M\) be a \(\chi\)-generated \(R\)-module, for some infinite cardinal \(\chi\). Then \(M\) has a weak basis if and only if at least one of the following conditions is satisfied:
(1) There are two different prime ideals \(P\), \(Q\) of \(R\) such that \(\dim_{R/P} (M/PM) = \dim_{R/Q} (M/QM) =\chi\);
(2) There are a prime ideal \(P\) of \(R\) and a decomposition \(M \cong F\oplus N\) where \(F\) is a free module and \(\dim_{R/P} (\tau N/P\tau N) \)= gen\((N)\);
(3) There is a projection of \(M\) onto an \(R\)-module \(\oplus _{P \in \mathrm{Spec}(R)} V_{p}\), where \(V_{P}\) is a vector space over \(R/P\) with \(\dim_{R/P} (V_{P}) < \chi\) for each \(P \in \mathrm{Spec}(R)\) and \(\sum_{P \in \mathrm{Spec}(R))}\dim_{(R/P} (V_{P)} = \chi\).
(1) There are two different prime ideals \(P\), \(Q\) of \(R\) such that \(\dim_{R/P} (M/PM) = \dim_{R/Q} (M/QM) =\chi\);
(2) There are a prime ideal \(P\) of \(R\) and a decomposition \(M \cong F\oplus N\) where \(F\) is a free module and \(\dim_{R/P} (\tau N/P\tau N) \)= gen\((N)\);
(3) There is a projection of \(M\) onto an \(R\)-module \(\oplus _{P \in \mathrm{Spec}(R)} V_{p}\), where \(V_{P}\) is a vector space over \(R/P\) with \(\dim_{R/P} (V_{P}) < \chi\) for each \(P \in \mathrm{Spec}(R)\) and \(\sum_{P \in \mathrm{Spec}(R))}\dim_{(R/P} (V_{P)} = \chi\).
Reviewer: Jebrel M. Habeb (Irbid)
MSC:
13C05 | Structure, classification theorems for modules and ideals in commutative rings |
13C12 | Torsion modules and ideals in commutative rings |
13F05 | Dedekind, Prüfer, Krull and Mori rings and their generalizations |
13F30 | Valuation rings |
13G05 | Integral domains |
16D70 | Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) |
References:
[1] | Anderson, F. W.; Fuller, K. R., Rings and Categories of Modules (1993), Springer |
[2] | Atiyah, M. F.; Macdonald, I. G., Introduction to Commutative Algebra (1969), Westview Press · Zbl 0175.03601 |
[3] | Bourbaki, N., Eléments de mathematique: Chapitre 8, Modules et anneaux semi-simples (1958), Hermann · Zbl 1245.16001 |
[4] | Crawley, P.; Hales, A. W., The structure of abelian p-groups given by certain presentations I, II, J. Algebra. J. Algebra, J. Algebra, 18, 264-268 (1971) · Zbl 0219.20034 |
[5] | Grätzer, G., Universal Algebra (1968), D. Van Nostrand Company, Inc. · Zbl 0182.34201 |
[6] | Göbel, R.; Trlifaj, J., Approximations and Endomorphism Algebras of Modules (2006), W. de Gruyter: W. de Gruyter Berlin, New York · Zbl 1121.16002 |
[7] | Hrbek, M.; Růžička, P., Characterization of abelian groups having a minimal generating set, Quaest. Math., 37 (2014), in press |
[8] | Gerasimov, V.; Sakhaev, I., A counterexample to two conjectures on projective and flat modules, Sib. Math. J., 24, 855-859 (1984) · Zbl 0588.16017 |
[9] | Kaplansky, I., Modules over Dedekind rings and valuation rings, Math. Ann., 188, 4, 270-284 (1970) |
[10] | Matsumura, H., Commutative Ring Theory (1989), Cambridge University Press · Zbl 0666.13002 |
[11] | Nashiers, B.; Nichols, W., A note on perfect rings, Manuscripta Math., 70, 307-310 (1991) · Zbl 0721.16009 |
[12] | Nashiers, B.; Nichols, W., On Steinitz properties, Arch. Math., 57, 247-253 (1991) · Zbl 0766.16005 |
[13] | Passman, D. S., A Course in Ring Theory (2004), AMS Chelsea Publishing |
[14] | Rotman, J. J., An Introduction to Homological Algebra (2008), Springer · Zbl 1157.18001 |
[15] | Růžička, P., Abelian groups with a minimal generating set, Quaest. Math., 33, 2, 147-153 (2010) · Zbl 1274.20052 |
[16] | Tuganbaev, A. A.; Krylov, P. A., Modules over Discrete Valuation Rings, de Gruyter Exp. Math. (2008) · Zbl 1229.13018 |
[17] | Walker, E. A., Ulmʼs theorem for totally projective groups, Proc. Amer. Math. Soc., 37, 2 (1973) · Zbl 0257.20039 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.