Whitehead test modules

Trlifaj, Jan

doi:10.1090/S0002-9947-96-01494-8

Whitehead test modules
HTML articles powered by AMS MathViewer

by Jan Trlifaj PDF

Trans. Amer. Math. Soc. 348 (1996), 1521-1554 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

Skew Field Constructions

Riccardo Colpi and Jan Trlifaj, Classes of generalized $*$-modules, Comm. Algebra 22 (1994), no. 10, 3985–3995. MR 1280103, DOI 10.1080/00927879408825060

Tilting modules and tilting torsion theories

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

Classification and non-classification results for abelian groups

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

A combinatorial principle equivalent to the existence of non-free Whitehead groups

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

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

On the endomorphism ring of an infinite dimensional vector space

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

An Artin problem for division ring extensions and the pure semisimplicity conjecture

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

Every $\ast$-module is finitely generated

169