On Modules Whose Proper Homomorphic Images Are of Smaller Cardinality

Oman, Greg ; Salminen, Adam

Canadian mathematical bulletin, Tome 55 (2012) no. 2, pp. 378-389

Résumé

Let $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$ . We call $M$ $\text{H}$ -smaller ( $\text{HS}$ for short) if and only if $M$ is infinite and $\left| M/N \right|\,<\,\,\left| M \right|$ for every nonzero submodule $N$ of $M$ . After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: suppose $M$ is faithful over $R$ , $R$ is a domain (we will show that we can restrict to this case without loss of generality), and $K$ is the quotient field of $R$ . If $M$ is $\text{HS}$ over $R$ , then $R$ is $\text{HS}$ as a module over itself, $R\,\subseteq \,M\,\subseteq \,K$ , and there exists a generating set $S$ for $M$ over $R$ with $\left| S \right|\,<\,\left| R \right|$ . We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on Jónsson modules.

Détail

DOI : 10.4153/CMB-2011-120-0

Mots-clés : 13A99, 13C05, 13E05, 03E50, Noetherian ring, residually finite ring, cardinal number, continuum hypothesis, valuation ring, Jónsson module

Bibliographie

[1] [1] Chew, K. and Lawn, S., Residually finite rings. Canad. J. Math. 22(1970), 92–101. Google Scholar | DOI

[2] [2] Coleman, E., Jonsson groups, rings, and algebras. Irish Math. Soc. Bull. No. 36 (1996), 34–45. Google Scholar

[3] [3] Gilmer, R., Multiplicative Ideal Theory. Queen's Papers in Pure and Applied Mathematics 90. Queen's University, Kingston, ON, 1992. Google Scholar

[4] [4] Gilmer, R. and Heinzer, W., An application of Jónsson modules to some questions concerning proper subrings. Math. Scand. 70(1992), no. 1, 34–42. Google Scholar

[5] [5] Gilmer, R. and Heinzer, W., Cardinality of generating sets for ideals of a commutative ring. Indiana Univ. Math. J. 26(1977), no. 4, 791–798. Google Scholar | DOI

[6] [6] Gilmer, R. and Heinzer, W., Cardinality of generating sets for modules over a commutative ring. Math. Scand. 52(1983), no. 1, 41–57. Google Scholar

[7] [7] Gilmer, R. and Heinzer, W., On Jónsson algebras over a commutative ring. J. Pure Appl. Algebra 49(1987), no. 1-2, 133–159. Google Scholar | DOI

[8] [8] Gilmer, R. and Heinzer, W., On Jónsson modules over a commutative ring. Acta Sci. Math. 46(1983), no. 1-4, 3–15. Google Scholar

[9] [9] Jensen, B. A. and Miller, D. W., Commutative semigroups which are almost finite. Pacific J. Math. 27(1968), 533–538. Google Scholar

[10] [10] Kaplansky, I., Infinite Abelian Groups. The University of Michigan Press, Ann Arbor, Michigan, 1954. Google Scholar

[11] [11] Kearnes, K. and Oman, G., Cardinalities of residue fields of Noetherian integral domains. Comm. Algebra 38(2010), no. 10, 3580–3588. Google Scholar | DOI

[12] [12] Levitz, K. and Mott, J., Rings with finite norm property. Canad. J. Math. 24(1972), 557–565. Google Scholar | DOI

[13] [13] Oman, G., Jónsson modules over commutative rings. In: Commutative Rings: New Research. Nova Science Publishers, New York, 2009, pp. 1–6. Google Scholar

[14] [14] Oman, G., Jónsson modules over Noetherian rings. Comm. Algebra 38(2010), no. 9, 3489–3498. Google Scholar | DOI

[15] [15] Oman, G., Some results on Jónsson modules over a commutative ring. Houston J. Math. 35(2009), no. 1, 1–12. Google Scholar

[16] [16] Orzech, M. and Ribes, L., Residual finiteness and the Hopft property in rings. J. Algebra 15(1970), 81–88. Google Scholar | DOI

[17] [17] Tucci, R., Commutative semigroups whose proper homomorphic images are all of smaller cardinality. Kyungpook Math. J. 46 2006), no. 2, 231–233. Google Scholar

[18] [18] Varadarajan, K., Residual finiteness in rings and modules. J. Ramanujan Math. Soc. 8(1993), no. 1-2, 29–48. Google Scholar