Divisibility theory in commutative rings: Bezout monoids

Ánh, P.; Márki, L.; Vámos, P.

doi:10.1090/S0002-9947-2012-05424-9

Divisibility theory in commutative rings: Bezout monoids
HTML articles powered by AMS MathViewer

by P. N. Ánh, L. Márki and P. Vámos PDF

Trans. Amer. Math. Soc. 364 (2012), 3967-3992 Request permission

Abstract:

A ubiquitous class of lattice ordered semigroups introduced by Bosbach in 1991, which we will call Bezout monoids, seems to be the appropriate structure for the study of divisibility in various classical rings like GCD domains (including UFD’s), rings of low dimension (including semihereditary rings), as well as certain subdirect products of such rings and certain factors of such subdirect products. A Bezout monoid is a commutative monoid $S$ with 0 such that under the natural partial order (for $a,b\in S$, $a\leq b\in S\Longleftrightarrow bS\subseteq aS$), $S$ is a distributive lattice, multiplication is distributive over both meets and joins, and for any $x, y\in S$, if $d=x\wedge y$ and $dx_1=x$, then there is a $y_1\in S$ with $dy_1=y$ and $x_1\wedge y_1=1$. In the present paper, Bezout monoids are investigated by using filters and $m$-prime filters. We also prove analogues of the Pierce and the Grothendieck sheaf representations of rings for Bezout monoids. The question as to whether Bezout monoids describe divisibility in Bezout rings (rings whose finitely generated ideals are principal) is still open.

References

D. D. Anderson, Abstract commutative ideal theory without chain condition, Algebra Universalis 6 (1976), no. 2, 131–145. MR 419310, DOI 10.1007/BF02485825
D. D. Anderson, Multiplication ideals, multiplication rings, and the ring $R(X)$, Canadian J. Math. 28 (1976), no. 4, 760–768. MR 424794, DOI 10.4153/CJM-1976-072-1
P. N. Ánh and M. Siddoway, Divisibility theory of semi-hereditary rings, Proc. Amer. Math. Soc. 138 (2010), no. 12, 4231–4242. MR 2680049, DOI 10.1090/S0002-9939-2010-10465-3
Karl Egil Aubert, Theory of $x$-ideals, Acta Math. 107 (1962), 1–52. MR 148773, DOI 10.1007/BF02545781
Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
Bruno Bosbach, Komplementäre Halbgruppen: Axiomatik und Arithmetik, Fund. Math. 64 (1969), 257–287 (German). MR 260902, DOI 10.4064/fm-64-3-257-287
Bruno Bosbach, Zur Theorie der Teilbarkeitshalbgruppen, Semigroup Forum 3 (1971/72), no. 1, 1–30 (German, with English summary). MR 289384, DOI 10.1007/BF02572938
B. Bosbach, Concerning bricks, Acta Math. Acad. Sci. Hungar. 38 (1981), no. 1-4, 89–104. MR 634572, DOI 10.1007/BF01917525
Bruno Bosbach, Representable divisibility semigroups, Proc. Edinburgh Math. Soc. (2) 34 (1991), no. 1, 45–64. MR 1093175, DOI 10.1017/S0013091500004995
B. Bosbach, Archimedean Prüfer structures alias filter Archimedean $d$-semigroups, Acta Math. Hungar. 95 (2002), no. 1-2, 53–73. MR 1906209, DOI 10.1023/A:1015660116363
Bruno Bosbach, Ideal divisibility monoids, Results Math. 41 (2002), no. 1-2, 40–67. MR 1888719, DOI 10.1007/BF03322755
Victor Camillo, Distributive modules, J. Algebra 36 (1975), no. 1, 16–25. MR 573061, DOI 10.1016/0021-8693(75)90151-9
A. H. Clifford, Naturally totally ordered commutative semigroups, Amer. J. Math. 76 (1954), 631–646. MR 62118, DOI 10.2307/2372706
R. P. Dilworth, Abstract commutative ideal theory, Pacific J. Math. 12 (1962), 481–498. MR 143781
M. L. Dubreil-Jacotin, L. Lesieur, and R. Croisot, Leçons sur la théorie des treillis des structures algébriques ordonnées et des treillis géométriques, Gauthier-Villars, Paris, 1953 (French). MR 0057838
Ladislaus Fuchs, Über die Ideale arithmetischer Ringe, Comment. Math. Helv. 23 (1949), 334–341 (German). MR 32583, DOI 10.1007/BF02565607
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
Leonard Gillman and Melvin Henriksen, Rings of continuous functions in which every finitely generated ideal is principal, Trans. Amer. Math. Soc. 82 (1956), 366–391. MR 78980, DOI 10.1090/S0002-9947-1956-0078980-4
Robert Gilmer, Multiplicative ideal theory, Pure and Applied Mathematics, No. 12, Marcel Dekker, Inc., New York, 1972. MR 0427289
A. Grothendieck, Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. 4 (1960), 228 (French). MR 217083
Franz Halter-Koch, Ideal systems, Monographs and Textbooks in Pure and Applied Mathematics, vol. 211, Marcel Dekker, Inc., New York, 1998. An introduction to multiplicative ideal theory. MR 1828371, DOI 10.1515/9783110801194
Melvin Henriksen, Some remarks on elementary divisor rings. II, Michigan Math. J. 3 (1955/56), 159–163. MR 92772
Paul Jaffard, Comtribution à l’étude des groupes ordonnés, J. Math. Pures Appl. (9) 32 (1953), 203–280 (French). MR 57869
Paul Jaffard, Les systèmes d’idéaux, Travaux et Recherches Mathématiques, IV, Dunod, Paris, 1960 (French). MR 0114810
Chr. U. Jensen, A remark on arithmetical rings, Proc. Amer. Math. Soc. 15 (1964), 951–954. MR 179197, DOI 10.1090/S0002-9939-1964-0179197-5
C. U. Jensen, Arithmetical rings, Acta Math. Acad. Sci. Hungar. 17 (1966), 115–123. MR 190163, DOI 10.1007/BF02020446
Irving Kaplansky, Elementary divisors and modules, Trans. Amer. Math. Soc. 66 (1949), 464–491. MR 31470, DOI 10.1090/S0002-9947-1949-0031470-3
Klaus Keimel, Darstellung von Halbgruppen und universellen Albebren durch Schnitte in Garben; beireguläre Halbgruppen, Math. Nachr. 45 (1970), 81–96 (German). MR 282907, DOI 10.1002/mana.19700450105
Max D. Larsen, William J. Lewis, and Thomas S. Shores, Elementary divisor rings and finitely presented modules, Trans. Amer. Math. Soc. 187 (1974), 231–248. MR 335499, DOI 10.1090/S0002-9947-1974-0335499-1
Max. D. Larsen and Paul J. McCarthy, Multiplicative theory of ideals, Pure and Applied Mathematics, Vol. 43, Academic Press, New York-London, 1971. MR 0414528
P. Lorenzen, Abstrakte Begründung der multiplikativen Idealtheorie, Math. Z. 45 (1939), 533–553 (German). MR 604, DOI 10.1007/BF01580299
Eben Matlis, The minimal prime spectrum of a reduced ring, Illinois J. Math. 27 (1983), no. 3, 353–391. MR 698302
Jack Ohm, Semi-valuations and groups of divisibility, Canadian J. Math. 21 (1969), 576–591. MR 242819, DOI 10.4153/CJM-1969-065-9
R. S. Pierce, Modules over commutative regular rings, Memoirs of the American Mathematical Society, No. 70, American Mathematical Society, Providence, R.I., 1967. MR 0217056
Thomas S. Shores, On generalized valuation rings, Michigan Math. J. 21 (1974), 405–409. MR 366892
Thomas S. Shores and Roger Wiegand, Rings whose finitely generated modules are direct sums of cyclics, J. Algebra 32 (1974), 152–172. MR 352080, DOI 10.1016/0021-8693(74)90178-1
Bo Stenström, Rings of quotients, Die Grundlehren der mathematischen Wissenschaften, Band 217, Springer-Verlag, New York-Heidelberg, 1975. An introduction to methods of ring theory. MR 0389953
W. Stephenson, Modules whose lattice of submodules is distributive, Proc. London Math. Soc. (3) 28 (1974), 291–310. MR 338082, DOI 10.1112/plms/s3-28.2.291
M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc. 41 (1937), no. 3, 375–481. MR 1501905, DOI 10.1090/S0002-9947-1937-1501905-7
Morgan Ward and R. P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), no. 3, 335–354. MR 1501995, DOI 10.1090/S0002-9947-1939-1501995-3
Albrecht Wolf, Sheaf representations of arithmetical algebras, Recent advances in the representation theory of rings and $C^{\ast }$-algebras by continuous sections (Sem., Tulane Univ., New Orleans, La., 1973), Mem. Amer. Math. Soc., No. 148, Amer. Math. Soc., Providence, R.I., 1974, pp. 87–93. MR 0369223