Let ℜ be the class of commutative rings R with comparable regular elements, that is, given two non zero-divisors in R, one divides the other. Applying the notion of V-valuation due to Harrison and Vitulli, we define the class V-val of V-valuated rings, which is contained in ℜ and contains the class of Manis valuation rings. We prove that these inclusions of classes are both proper. We investigate Prüfer rings inside ℜ, showing that there exist Prüfer rings which lie in ℜ but not in V-val; we prove that a ring R is a Prüfer valuation ring if and only if it is Prüfer and V-valuated, if and only if its lattice of regular ideals is a chain. Finally, we introduce and investigate the ideal I∞ of a ring R ∈ ℜ, which corresponds to the counterimage of ∞, whenever R is V-valuated.

A proper ideal I of a ring R is said to be strongly irreducible if for each pair of ideals A and B of R, implies that either or . In this paper we study strongly irreducible ideals in different rings. The relations between strongly irreducible ideals of a ring and strongly irreducible ideals of localizations of the ring are also studied. Furthermore, a topology similar to the Zariski topology related to strongly irreducible ideals is introduced. This topology has the Zariski topology defined by prime ideals as one of its subspace topologies.

It is shown that an integral domain R has the property that every pure submodule of a finite direct sum of ideals of R is a summand if and only if R is an h-local Prüfer domain; equivalently, (J + K:I) = (J:I) + (K:I) for all ideals I, J and K of R. These results are extended to submodules of the quotient field of an integral domain.

Let D be an atomic integral domain (i.e., a domain in which each nonzero nonunit of D can be written as a product of irreducible elements) and k any positive integer. D is known as a half factorial domain (HFD) if for any irreducible elements α1, …, αn, β1, …, βm of D the equality α1… αn = β1… βm implies that n = m. In [5] the present authors define D to be a k-half factorial domain (k-HFD) if the equality above along with the fact that n or m ≤ k implies that n = m. In this paper we consider the k-HFD property in Dedekind domains with small class group and prove the following Theorem: if D is a Dedekind domain with class group of order less than 16 then D is k-HFD for some integer k > 1, if, and only if, D is HFD.