Divisibility Theory of Arithmetical Rings with One Minimal Prime Ideal

Continuing the study of divisibility theory of arithmetical rings started in 1 Ánh, P. N., Márki, L., Vámos, P. (2012). Divisibility theory in commutative rings: Bezout monoidss. Trans. Amer. Math. Soc. 364:3967–3992.Crossref], Web of Science ®] , Google Scholar]] and 2 Ánh, P. N., Siddoway, M. (2010). Divisibility theory of semi-hereditary rings. Proc. Amer. Math. Soc. 138:4231–4242.Crossref], Web of Science ®] , Google Scholar]], we show that the divisibility theory of arithmetical rings with one minimal prime ideal is axiomatizable as Bezout monoids with one minimal m-prime filter. In particular, every Bezout monoid with one minimal m-prime filter is order-isomorphic to the partially ordered monoid with respect to inverse inclusion, of principal ideals in a Bezout ring with a smallest prime ideal. Although this result can be considered as a satisfactory answer to the divisibility theory of both semihereditary domains and valuation rings, the general representation theory of Bezout monoids is still open.