×

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\).

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)
Full Text: DOI

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.