Whitehead test modules
HTML articles powered by AMS MathViewer
- by Jan Trlifaj
- Trans. Amer. Math. Soc. 348 (1996), 1521-1554
- DOI: https://doi.org/10.1090/S0002-9947-96-01494-8
- PDF | Request permission
Abstract:
A (right $R$-) module $N$ is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module $M$, $Ext_R(M,N) = 0$ implies $M$ is projective. Dually, i-test modules are defined. For example, $\Bbb Z$ is a p-test abelian group iff each Whitehead group is free. Our first main result says that if $R$ is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring $R$, there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.
A non-semisimple ring $R$ is said to be fully saturated ($\kappa$-saturated) provided that all non-projective ($\leq \kappa$-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, $GT(1,n,p,S,T)$. The four parameters involved here are skew-fields $S$ and $T$, and natural numbers $n, p$. For rings of type I, we have several partial results: e.gu̇sing a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of $\ast$-modules.
References
- Frank W. Anderson and Kent R. Fuller, Rings and categories of modules, 2nd ed., Graduate Texts in Mathematics, vol. 13, Springer-Verlag, New York, 1992. MR 1245487, DOI 10.1007/978-1-4612-4418-9
- Ibrahim Assem, Torsion theories induced by tilting modules, Canad. J. Math. 36 (1984), no. 5, 899–913. MR 762747, DOI 10.4153/CJM-1984-051-5
- Olga Taussky, An algebraic property of Laplace’s differential equation, Quart. J. Math. Oxford Ser. 10 (1939), 99–103. MR 83, DOI 10.1093/qmath/os-10.1.99
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3 P.M.Cohn, Skew Field Constructions, Cambridge Univ.Press, Cambridge, 1977. 57:3190
- Riccardo Colpi and Jan Trlifaj, Classes of generalized $*$-modules, Comm. Algebra 22 (1994), no. 10, 3985–3995. MR 1280103, DOI 10.1080/00927879408825060 R. Colpi and J. Trlifaj, Tilting modules and tilting torsion theories, J. Algebra (to appear).
- Riccardo Colpi and Claudia Menini, On the structure of $*$-modules, J. Algebra 158 (1993), no. 2, 400–419. MR 1226797, DOI 10.1006/jabr.1993.1138
- John Cozzens and Carl Faith, Simple Noetherian rings, Cambridge Tracts in Mathematics, No. 69, Cambridge University Press, Cambridge-New York-Melbourne, 1975. MR 0396660 P.C.Eklof, Classification and non-classification results for abelian groups, Proc. Conf. “Abelian Groups and Modules”, Padova 1994, Kluwer, Dordrecht, 1995 (to appear).
- Paul C. Eklof and Alan H. Mekler, Almost free modules, North-Holland Mathematical Library, vol. 46, North-Holland Publishing Co., Amsterdam, 1990. Set-theoretic methods. MR 1055083
- Paul C. Eklof and Saharon Shelah, On Whitehead modules, J. Algebra 142 (1991), no. 2, 492–510. MR 1127077, DOI 10.1016/0021-8693(91)90321-X P.C.Eklof and S.Shelah, A combinatorial principle equivalent to the existence of non-free Whitehead groups, Proc.Conf.“Abelian Groups”, Oberwolfach 1993, Contemporary Mathematics, vol. 171 Amer. Math. Soc., Providence, 1994, pp. 79-98.
- Carl Faith, Algebra: rings, modules and categories. I, Die Grundlehren der mathematischen Wissenschaften, Band 190, Springer-Verlag, New York-Heidelberg, 1973. MR 0366960
- László Fuchs and Luigi Salce, Modules over valuation domains, Lecture Notes in Pure and Applied Mathematics, vol. 97, Marcel Dekker, Inc., New York, 1985. MR 786121
- K. R. Goodearl, von Neumann regular rings, 2nd ed., Robert E. Krieger Publishing Co., Inc., Malabar, FL, 1991. MR 1150975 K.R.Goodearl, The Orsatti-Rodinò and Trlifaj counting methods for simple modules over regular rings.
- Dieter Happel, Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, vol. 119, Cambridge University Press, Cambridge, 1988. MR 935124, DOI 10.1017/CBO9780511629228
- Wilfrid Hodges, In singular cardinality, locally free algebras are free, Algebra Universalis 12 (1981), no. 2, 205–220. MR 608664, DOI 10.1007/BF02483879
- Walter Leighton and W. T. Scott, A general continued fraction expansion, Bull. Amer. Math. Soc. 45 (1939), 596–605. MR 41, DOI 10.1090/S0002-9904-1939-07046-8
- Joachim Lambek, Lectures on rings and modules, Blaisdell Publishing Co. [Ginn and Co.], Waltham, Mass.-Toronto, Ont.-London, 1966. With an appendix by Ian G. Connell. MR 0206032
- R. J. Nunke, Modules of extensions over Dedekind rings, Illinois J. Math. 3 (1959), 222–241. MR 102538 A.Orsatti and N.Rodinò, On the endomorphism ring of an infinite dimensional vector space, Proc.Conf.“Abelian Groups and Modules”, Padova 1994, Kluwer, Dordrecht, 1995 (to appear).
- Barbara L. Osofsky, Homological dimensions of modules, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 12, American Mathematical Society, Providence, R.I., 1973. MR 0447210
- A. H. Schofield, Representation of rings over skew fields, London Mathematical Society Lecture Note Series, vol. 92, Cambridge University Press, Cambridge, 1985. MR 800853, DOI 10.1017/CBO9780511661914
- Saharon Shelah, Infinite abelian groups, Whitehead problem and some constructions, Israel J. Math. 18 (1974), 243–256. MR 357114, DOI 10.1007/BF02757281
- Saharon Shelah, A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Israel J. Math. 21 (1975), no. 4, 319–349. MR 389579, DOI 10.1007/BF02757993
- Saharon Shelah, Whitehead groups may be not free, even assuming CH. I, Israel J. Math. 28 (1977), no. 3, 193–204. MR 469757, DOI 10.1007/BF02759809
- Saharon Shelah, Whitehead groups may not be free, even assuming CH. II, Israel J. Math. 35 (1980), no. 4, 257–285. MR 594332, DOI 10.1007/BF02760652
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955 D.Simson, An Artin problem for division ring extensions and the pure semisimplicity conjecture (to appear).
- Sverre O. Smalø, Torsion theories and tilting modules, Bull. London Math. Soc. 16 (1984), no. 5, 518–522. MR 751824, DOI 10.1112/blms/16.5.518
- Jan Trlifaj, Associative rings and the Whitehead property of modules, Algebra Berichte [Algebra Reports], vol. 63, Verlag Reinhard Fischer, Munich, 1990. MR 1053965
- Jan Trlifaj, Nonperfect rings and a theorem of Eklof and Shelah, Comment. Math. Univ. Carolin. 32 (1991), no. 1, 27–32. MR 1118286
- Jan Trlifaj, Almost $\ast$-modules need not be finitely generated, Comm. Algebra 21 (1993), no. 7, 2453–2462. MR 1218507, DOI 10.1080/00927879308824686 J.Trlifaj, Every $\ast$-module is finitely generated, J. Algebra 169 (1994), 392-398.
Bibliographic Information
- Jan Trlifaj
- Affiliation: address Department of Algebra, Faculty of Mathematics and Physics, Charles University, Sokolovská 83, 186 00 Prague 8, The Czech Republic
- MR Author ID: 174420
- ORCID: 0000-0001-5773-8661
- Email: trlifaj@karlin.mff.cuni.cz
- Additional Notes: Research supported by grant GAUK-44.
- © Copyright 1996 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 348 (1996), 1521-1554
- MSC (1991): Primary 16E30; Secondary 03E35, 20K35
- DOI: https://doi.org/10.1090/S0002-9947-96-01494-8
- MathSciNet review: 1322958