Divisibility theory of semi-hereditary rings

Authors:
P. N. Ánh and M. Siddoway

Journal:
Proc. Amer. Math. Soc. **138** (2010), 4231-4242

MSC (2000):
Primary 13A05, 13D05, 13F05; Secondary 06F05

DOI:
https://doi.org/10.1090/S0002-9939-2010-10465-3

Published electronically:
July 9, 2010

MathSciNet review:
2680049

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The semigroup of finitely generated ideals partially ordered by inverse inclusion, i.e., the *divisibility theory* of semi-hereditary rings, is precisely described by semi-hereditary Bezout semigroups. A *Bezout semigroup* is a commutative monoid with 0 such that the divisibility relation is a partial order inducing a distributive lattice on with multiplication distributive on both meets and joins, and for any there is with . is *semi-hereditary* if for each there is with . The dictionary is therefore complete: abelian lattice-ordered groups and semi-hereditary Bezout semigroups describe divisibility of Prüfer (i.e., semi-hereditary) domains and semi-hereditary rings, respectively. The construction of a semi-hereditary Bezout ring with a pre-described semi-hereditary Bezout semigroup is inspired by Stone's representation of Boolean algebras as rings of continuous functions and by Gelfand's and Naimark's analogous representation of commutative -algebras.

**1.**D. D. Anderson, Multiplication ideals, multiplication rings, and the ring ,*Canad. J. Math.***28**(1976), 760 - 768. MR**0424794 (54:12752)****2.**P. N. Ánh, L. Márki, P. Vámos, Divisibility theory in commutative rings: Bezout semigroups, manuscript.**3.**B. Bosbach, Representable divisibility semigroups,*Proc. Edinburgh Math. Soc.***34**(1991), 45-64. MR**1093175 (92m:20056)****4.**R. G. Douglas,*Banach algebra techniques in operator theory*, GTM 179, ed., Springer-Verlag, New York, 1998. MR**1634900 (99c:47001)****5.**H. Cartan and S. Eilenberg,*Homological algebra*, Princeton, 1956. MR**0077480 (17:1040e)****6.**A. M. W. Glass and W. Charles Holland (eds),*Lattice-ordered groups: advances and techniques*, Kluwer Academic Publishers, 1989. MR**1036072 (91i:06017)****7.**F. Halter-Koch, A characterization of Krull rings with zero divisors,*Archivum Math.***29**(1993), 119 - 122. MR**1242634 (94h:13012)****8.**F. Halter-Koch,*Ideal systems. An introduction to multiplicative ideal theory*, Marcel Dekker, 1998. MR**1828371 (2001m:13005)****9.**F. Halter-Koch, Construction of ideal systems with nice Noetherian properties, in*Non-Noetherian commutative ring theory*(eds. S. T. Chapman and S. Glaz), pp. 271 - 285, Kluwer, 2000. MR**1858166 (2002h:13002)****10.**M. Henriksen and M. Jerison, The space of minimal prime ideals of a commutative ring,*Trans. Amer. Math. Soc.***115**(1965), 110 - 130. MR**0194880 (33:3086)****11.**N. Jacobson,*Structure of rings*, revised edition, AMS, 1964. MR**0222106 (36:5158)****12.**P. Jaffard,*Les système d'idéaux*, Dunod, Paris, 1960. MR**0114810 (22:5628)****13.**C. U. Jensen, A remark on arithmetical rings,*Proc. Amer. Math. Soc.***15**(1964), 951-953. MR**0179197 (31:3446)****14.**E. Matlis, The minimal prime spectrum of a reduced ring,*Ill. J. Math.***27**(1983), 353-391. MR**698302 (84h:13010)****15.**M. H. Stone, Applications of the theory of Boolean rings to general topology,*Trans. Amer. Math. Soc.***41**(1937), 375-481. MR**1501905**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
13A05,
13D05,
13F05,
06F05

Retrieve articles in all journals with MSC (2000): 13A05, 13D05, 13F05, 06F05

Additional Information

**P. N. Ánh**

Affiliation:
Rényi Institute of Mathematics, Hungarian Academy of Sciences, 1364 Budapest, Pf. 127, Hungary

Email:
anh@renyi.hu

**M. Siddoway**

Affiliation:
Department of Mathematics and Computer Science, Colorado College, Colorado Springs, Colorado 80903

Email:
msiddoway@coloradocollege.edu

DOI:
https://doi.org/10.1090/S0002-9939-2010-10465-3

Keywords:
Bezout rings,
Stone space,
semi-hereditary,
rings of continuous functions.

Received by editor(s):
December 11, 2009

Received by editor(s) in revised form:
February 25, 2010

Published electronically:
July 9, 2010

Additional Notes:
The first author was partially supported by the Hungarian National Foundation for Scientific Research grants no. K61007 and NK72523, Colorado College and UC-Colorado Springs during his stay at Colorado College in the Fall of 2006.

The second author was supported as the Verner Z. Reed Professor of Natural Science at Colorado College from 2007 to the present.

Communicated by:
Birge Huisgen-Zimmermann

Article copyright:
© Copyright 2010
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.