A ring R is semiperfect if and only if, for every (cyclic) R-module Al, eve
ry maximal submodule has (ample) supplements in M. A non-local commutative
domain R is h-local if and only if, for every (cyclic) torsion R-module Al,
every maximal submodule of M has (ample) supplements in M.