On finitely injective modules and locally pure-injective modules over Prüfer domains

Over Matlis valuation domains there exist finitely injective modules which are not direct sums of injective modules, as well as complete locally pure-injective modules which are not the completion of a direct sum of pure-injective modules. Over Prüfer domains which are either almost maximal, or -local Matlis, finitely injective torsion modules and complete torsion-free locally pure-injective modules correspond to each other under the Matlis equivalence. Almost maximal Prüfer domains are characterized by the property that every torsion-free complete module is locally pure-injective. It is derived that semi-Dedekind domains are Dedekind.