Infinitely generated projective modules over pullbacks of rings
HTML articles powered by AMS MathViewer
- by Dolors Herbera and Pavel Příhoda PDF
- Trans. Amer. Math. Soc. 366 (2014), 1433-1454 Request permission
Abstract:
We use pullbacks of rings to realize the submonoids $M$ of $(\mathbb {N} _0\cup \{\infty \})^k$, which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective right $R$-modules over a suitable semilocal ring. For these rings, the behavior of countably generated projective left $R$-modules is determined by the monoid $D(M)$ defined by reversing the inequalities determining the monoid $M$. These two monoids are not isomorphic in general. As a consequence of our results we show that there are semilocal rings such that all its projective right modules are free but this fails for projective left modules. This answers in the negative a question posed by Fuller and Shutters. We also provide a rich variety of examples of semilocal rings having nonfinitely generated projective modules that are finitely generated modulo the Jacobson radical.References
- Lidia Angeleri Hügel and Manuel Saorín, Modules with perfect decompositions, Math. Scand. 98 (2006), no. 1, 19–43. MR 2221542, DOI 10.7146/math.scand.a-14981
- Hyman Bass, Big projective modules are free, Illinois J. Math. 7 (1963), 24–31. MR 143789
- M. C. R. Butler, J. M. Campbell, and L. G. Kovács, On infinite rank integral representations of groups and orders of finite lattice type, Arch. Math. (Basel) 83 (2004), no. 4, 297–308. MR 2096802, DOI 10.1007/s00013-004-1074-3
- Roberta Corisello and Alberto Facchini, Homogeneous semilocal rings, Comm. Algebra 29 (2001), no. 4, 1807–1819. MR 1853126, DOI 10.1081/AGB-100002133
- Andreas Dress, On the decomposition of modules, Bull. Amer. Math. Soc. 75 (1969), 984–986. MR 244227, DOI 10.1090/S0002-9904-1969-12326-8
- Nikolay Dubrovin, Pavel Příhoda, and Gena Puninski, Projective modules over the Gerasimov-Sakhaev counterexample, J. Algebra 319 (2008), no. 8, 3259–3279. MR 2408317, DOI 10.1016/j.jalgebra.2007.08.009
- Alberto Facchini and Dolors Herbera, $K_0$ of a semilocal ring, J. Algebra 225 (2000), no. 1, 47–69. MR 1743650, DOI 10.1006/jabr.1999.8092
- Alberto Facchini, Dolors Herbera, and Iskhak Sakhajev, Finitely generated flat modules and a characterization of semiperfect rings, Comm. Algebra 31 (2003), no. 9, 4195–4214. MR 1995530, DOI 10.1081/AGB-120022787
- Alberto Facchini, Dolors Herbera, and Iskhak Sakhajev, Flat modules and lifting of finitely generated projective modules, Pacific J. Math. 220 (2005), no. 1, 49–67. MR 2195062, DOI 10.2140/pjm.2005.220.49
- K. R. Fuller and W. A. Shutters, Projective modules over non-commutative semilocal rings, Tohoku Math. J. (2) 27 (1975), no. 3, 303–311. MR 435142, DOI 10.2748/tmj/1203529242
- V. N. Gerasimov and I. I. Sakhaev, A counterexample to two conjectures on projective and flat modules, Sibirsk. Mat. Zh. 25 (1984), no. 6, 31–35 (Russian). MR 772362
- Dolors Herbera and Pavel Příhoda, Big projective modules over noetherian semilocal rings, J. Reine Angew. Math. 648 (2010), 111–148. MR 2774307, DOI 10.1515/CRELLE.2010.081
- Florian Kainrath and Günter Lettl, Geometric notes on monoids, Semigroup Forum 61 (2000), no. 2, 298–302. MR 1832189, DOI 10.1007/PL00006026
- Daniel Lazard, Liberté des gros modules projectifs, J. Algebra 31 (1974), 437–451 (French). MR 349757, DOI 10.1016/0021-8693(74)90124-0
- Günter Lettl, Subsemigroups of finitely generated groups with divisor-theory, Monatsh. Math. 106 (1988), no. 3, 205–210. MR 971923, DOI 10.1007/BF01318681
- John Milnor, Introduction to algebraic $K$-theory, Annals of Mathematics Studies, No. 72, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1971. MR 0349811
- Pavel Příhoda, Projective modules are determined by their radical factors, J. Pure Appl. Algebra 210 (2007), no. 3, 827–835. MR 2324609, DOI 10.1016/j.jpaa.2006.12.004
- Pavel Příhoda, Fair-sized projective modules, Rend. Semin. Mat. Univ. Padova 123 (2010), 141–167. MR 2683295, DOI 10.4171/RSMUP/123-7
- Pavel Příhoda and Gena Puninski, Classifying generalized lattices: some examples as an introduction, J. Lond. Math. Soc. (2) 82 (2010), no. 1, 125–143. MR 2669644, DOI 10.1112/jlms/jdq031
- Gennadi Puninski, Some model theory over a nearly simple uniserial domain and decompositions of serial modules, J. Pure Appl. Algebra 163 (2001), no. 3, 319–337. MR 1852123, DOI 10.1016/S0022-4049(00)00140-7
- Claus Michael Ringel, Infinite length modules. Some examples as introduction, Infinite length modules (Bielefeld, 1998) Trends Math., Birkhäuser, Basel, 2000, pp. 1–73. MR 1789209, DOI 10.1007/978-3-0348-8426-6_{1}
- Wolfgang Rump, Large lattices over orders, Proc. London Math. Soc. (3) 91 (2005), no. 1, 105–128. MR 2149531, DOI 10.1112/S0024611504015151
- I. I. Sakhaev, On lifting finite generacy of a projective module modulo its radical, Mat. Zametki 49 (1991), no. 3, 97–108, 160 (Russian); English transl., Math. Notes 49 (1991), no. 3-4, 293–301. MR 1110313, DOI 10.1007/BF01158306
Additional Information
- Dolors Herbera
- Affiliation: Departament de Matemàtiques, Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Spain
- Email: dolors@mat.uab.cat
- Pavel Příhoda
- Affiliation: Faculty of Mathematics and Physics, Department of Algebra, Charles University, Sokolovská 83, 18675 Praha 8, Czech Republic
- Email: prihoda@karlin.mff.cuni.cz
- Received by editor(s): December 1, 2011
- Received by editor(s) in revised form: January 16, 2012, and January 23, 2012
- Published electronically: August 16, 2013
- Additional Notes: The final version of this paper was written while the first author was visiting NTNU (Trondheim, Norway). She thanks her host for the kind hospitality. She was also partially supported by DGI MICIIN (Spain) through Project MTM2011-28992-C02-01, and by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya through Project 2005SGR00206
The second author was supported by GAČR 201/09/0816 and research project MSM 0021620839 - © Copyright 2013
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 366 (2014), 1433-1454
- MSC (2010): Primary 16L30, 16D40
- DOI: https://doi.org/10.1090/S0002-9947-2013-05798-4
- MathSciNet review: 3145737