Let R be a ring
with unit element and without zero-divisors and let H(R) = {x|0≠x ∈ R}
where x is the mapping from the set of all nonzero principal right ideals of R
into itself defined by x(aR) = xaR. H(R) is a partially ordered semigroup
that can be considered as a generalization of the group of divisibility of a
commutative integral domain. We study those rings R for which H(R) is totally
ordered.