Representations over PID’s with three distinguished submodules

Files, Steve; Göbel, Rüdiger

doi:10.1090/S0002-9947-00-02281-9

Representations over PID’s with three distinguished submodules
HTML articles powered by AMS MathViewer

by Steve Files and Rüdiger Göbel PDF

Trans. Amer. Math. Soc. 352 (2000), 2407-2427 Request permission

Abstract:

Let $R$ be a principal ideal domain. The $R$-representations with one distinguished submodule are classified by a theorem of Gauß in the case of finite rank, and by the “Stacked Bases Theorem" of Cohen and Gluck in the case of infinite rank. Results of Hill and Megibben carry this classification even further. The $R$-representations with two distinguished pure submodules have recently been classified by Arnold and Dugas in the finite-rank case, and by the authors for countable rank. Although wild representation type prevails for $R$-representations with three distinguished pure submodules, an extensive category of such objects was recently classified by Arnold and Dugas. We carry their groundbreaking work further, simplifying the proofs of their main results and applying new machinery to study the structure of finite- and infinite-rank representations with two, three, and four distinguished submodules. We also apply these results to the classification of Butler groups, a class of torsion-free abelian groups that has been the focus of many investigations over the last sixteen years.

References

U. Albrecht and P. Hill, Butler groups of infinite rank and axiom $3$, Czechoslovak Math. J. 37(112) (1987), no. 2, 293–309. MR 882600
David M. Arnold, A class of pure subgroups of completely decomposable abelian groups, Proc. Amer. Math. Soc. 41 (1973), 37–44. MR 325806, DOI 10.1090/S0002-9939-1973-0325806-2
David M. Arnold, Finite rank torsion free abelian groups and rings, Lecture Notes in Mathematics, vol. 931, Springer-Verlag, Berlin-New York, 1982. MR 665251
David M. Arnold, Representations of partially ordered sets and abelian groups, Abelian group theory (Perth, 1987) Contemp. Math., vol. 87, Amer. Math. Soc., Providence, RI, 1989, pp. 91–109. MR 995268, DOI 10.1090/conm/087/995268
D. Arnold and M. Dugas, Butler groups with finite typesets and free groups with distinguished subgroups, Comm. Algebra 21 (1993), no. 6, 1947–1982. MR 1215554, DOI 10.1080/00927879308824661
D. Arnold and M. Dugas, Representations of finite posets and near-isomorphism of finite rank Butler groups, Rocky Mountain J. Math. 25 (1995), no. 2, 591–609. MR 1336552, DOI 10.1216/rmjm/1181072239
D. M. Arnold and C. I. Vinsonhaler, Endomorphism rings of Butler groups, J. Austral. Math. Soc. Ser. A 42 (1987), no. 3, 322–329. MR 877802
D. Arnold and C. Vinsonhaler, Finite rank Butler groups: a survey of recent results, Abelian groups (Curaçao, 1991) Lecture Notes in Pure and Appl. Math., vol. 146, Dekker, New York, 1993, pp. 17–41. MR 1217256
K. Benabdallah and M. A. Ouldbeddi, On finite essential extensions of torsion free abelian groups, Canad. J. Math. 48 (1996), no. 5, 918–929. MR 1414063, DOI 10.4153/CJM-1996-047-8
L. Bican and L. Salce, Butler groups of infinite rank, Abelian group theory (Honolulu, Hawaii, 1983) Lecture Notes in Math., vol. 1006, Springer, Berlin, 1983, pp. 171–189. MR 722617, DOI 10.1007/BFb0103701
Sheila Brenner, Decomposition properties of some small diagrams of modules, Symposia Mathematica, Vol. XIII (Convegno di Gruppi Abeliani, INDAM, Rome, 1972) Academic Press, London, 1974, pp. 127–141. MR 0360712
Sheila Brenner, On four subspaces of a vector space, J. Algebra 29 (1974), 587–599. MR 342525, DOI 10.1016/0021-8693(74)90092-1
Sheila Brenner and M. C. R. Butler, Endomorphism rings of vector spaces and torsion free abelian groups, J. London Math. Soc. 40 (1965), 183–187. MR 174593, DOI 10.1112/jlms/s1-40.1.183
M. C. R. Butler, A class of torsion-free abelian groups of finite rank, Proc. London Math. Soc. (3) 15 (1965), 680–698. MR 218446, DOI 10.1112/plms/s3-15.1.680
M. C. R. Butler, Torsion-free modules and diagrams of vector spaces, Proc. London Math. Soc. (3) 18 (1968), 635–652. MR 230767, DOI 10.1112/plms/s3-18.4.635
M. C. R. Butler, Some almost split sequences in torsionfree abelian group theory, Abelian group theory (Oberwolfach, 1985) Gordon and Breach, New York, 1987, pp. 291–301. MR 1011319
Joel M. Cohen and Herman Gluck, Stacked bases for modules over principal ideal domains, J. Algebra 14 (1970), 493–505. MR 254028, DOI 10.1016/0021-8693(70)90097-9
A. L. S. Corner, Every countable reduced torsion-free ring is an endomorphism ring, Proc. London Math. Soc. (3) 13 (1963), 687–710. MR 153743, DOI 10.1112/plms/s3-13.1.687
A. L. S. Corner and Rüdiger Göbel, Prescribing endomorphism algebras, a unified treatment, Proc. London Math. Soc. (3) 50 (1985), no. 3, 447–479. MR 779399, DOI 10.1112/plms/s3-50.3.447
Manfred Dugas and Rüdiger Göbel, Every cotorsion-free algebra is an endomorphism algebra, Math. Z. 181 (1982), no. 4, 451–470. MR 682667, DOI 10.1007/BF01182384
Manfred Dugas and Rüdiger Göbel, Endomorphism rings of $B_2$-groups of infinite rank, Israel J. Math. 101 (1997), 141–156. MR 1484873, DOI 10.1007/BF02760926
Manfred Dugas and Rüdiger Göbel, Classification of modules with two distinguished pure submodules and bounded quotients, Results Math. 30 (1996), no. 3-4, 264–275. MR 1419943, DOI 10.1007/BF03322195
Nelson Dunford, A mean ergodic theorem, Duke Math. J. 5 (1939), 635–646. MR 98
Manfred Dugas, Paul Hill, and K. M. Rangaswamy, Butler groups of infinite rank. II, Trans. Amer. Math. Soc. 320 (1990), no. 2, 643–664. MR 963246, DOI 10.1090/S0002-9947-1990-0963246-8
Manfred Dugas and K. M. Rangaswamy, Infinite rank Butler groups, Trans. Amer. Math. Soc. 305 (1988), no. 1, 129–142. MR 920150, DOI 10.1090/S0002-9947-1988-0920150-X
Manfred Dugas and Bernhard Thomé, Countable Butler groups and vector spaces with four distinguished subspaces, J. Algebra 138 (1991), no. 1, 249–272. MR 1102576, DOI 10.1016/0021-8693(91)90199-I
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
Steve Files and Rüdiger Göbel, Gauss’ theorem for two submodules, Math. Z. 228 (1998), no. 3, 511–536. MR 1637784, DOI 10.1007/PL00004630
László Fuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36, Academic Press, New York-London, 1970. MR 0255673
Laszlo Fuchs and Menachem Magidor, Butler groups of arbitrary cardinality, Israel J. Math. 84 (1993), no. 1-2, 239–263. MR 1244670, DOI 10.1007/BF02761702
L. Fuchs and C. Metelli, Indecomposable Butler groups of large cardinalities, Arch. Math. (Basel) 57 (1991), no. 4, 339–344. MR 1124495, DOI 10.1007/BF01198957
I. M. Gel′fand and V. A. Ponomarev, Problems of linear algebra and classification of quadruples of subspaces in a finite-dimensional vector space, Hilbert space operators and operator algebras (Proc. Internat. Conf., Tihany, 1970) Colloq. Math. Soc. János Bolyai, vol. 5, North-Holland, Amsterdam, 1972, pp. 163–237. MR 0357428
Rüdiger Göbel and Warren May, Four submodules suffice for realizing algebras over commutative rings, J. Pure Appl. Algebra 65 (1990), no. 1, 29–43. MR 1065061, DOI 10.1016/0022-4049(90)90098-3
Rüdiger Göbel and Warren May, Endomorphism algebras of peak $I$-spaces over posets of infinite prinjective type, Trans. Amer. Math. Soc. 349 (1997), no. 9, 3535–3567. MR 1344206, DOI 10.1090/S0002-9947-97-01574-2
E. L. Green and I. Reiner, Integral representations and diagrams, Michigan Math. J. 25 (1978), no. 1, 53–84. MR 497882
Alfred W. Hales, Analogues of the stacked bases theorem, Abelian group theory (Proc. Second New Mexico State Univ. Conf., Las Cruces, N.M., 1976) Lecture Notes in Math., Vol. 616, Springer, Berlin, 1977, pp. 399–405. MR 0507065
Paul Hill, Simultaneous decompositions of an abelian group and a subgroup, Quart. J. Math. Oxford Ser. (2) 36 (1985), no. 144, 425–433. MR 816484, DOI 10.1093/qmath/36.4.425
Paul Hill and Charles Megibben, Generalizations of the stacked bases theorem, Trans. Amer. Math. Soc. 312 (1989), no. 1, 377–402. MR 937245, DOI 10.1090/S0002-9947-1989-0937245-8
Irving Kaplansky, Infinite abelian groups, Revised edition, University of Michigan Press, Ann Arbor, Mich., 1969. MR 0233887
R. H. J. Germay, Généralisation de l’équation de Hesse, Ann. Soc. Sci. Bruxelles Sér. I 59 (1939), 139–144 (French). MR 86
E. L. Lady, Almost completely decomposable torsion free abelian groups, Proc. Amer. Math. Soc. 45 (1974), 41–47. MR 349873, DOI 10.1090/S0002-9939-1974-0349873-6
E. L. Lady, Nearly isomorphic torsion free abelian groups, J. Algebra 35 (1975), 235–238. MR 369568, DOI 10.1016/0021-8693(75)90048-4
Wayne Lewis, Almost completely decomposable groups with two critical types, Comm. Algebra 21 (1993), no. 2, 607–614. MR 1199693, DOI 10.1080/00927879308824583
A. Mader, Almost completely decomposable abelian groups, book in print at Gordon and Breach, London 1998.
A. Mader, O. Mutzbauer, and K. M. Rangaswamy, A generalization of Butler groups, Abelian group theory and related topics (Oberwolfach, 1993) Contemp. Math., vol. 171, Amer. Math. Soc., Providence, RI, 1994, pp. 257–275. MR 1293146, DOI 10.1090/conm/171/01777
A. Mader and C. Vinsonhaler, Classifying almost completely decomposable abelian groups, J. Algebra 170 (1994), no. 3, 754–780. MR 1305264, DOI 10.1006/jabr.1994.1364
James D. Reid, A note on torsion free abelian groups of infinite rank, Proc. Amer. Math. Soc. 13 (1962), 222–225. MR 133356, DOI 10.1090/S0002-9939-1962-0133356-4
Daniel Simson, Linear representations of partially ordered sets and vector space categories, Algebra, Logic and Applications, vol. 4, Gordon and Breach Science Publishers, Montreux, 1992. MR 1241646
C. Vinsonhaler, A survey of balanced Butler groups and representations, Abelian groups and modules (Colorado Springs, CO, 1995) Lecture Notes in Pure and Appl. Math., vol. 182, Dekker, New York, 1996, pp. 113–122. MR 1415625