Invariant factor theorem for Prüfer domains of finite character

Abstract

Steinitz's well-known Invariant Factor Theorem, which gives a simultaneous decomposition of a projective module and a submodule, is extended to the rings described in the title.