We present unified -theoretic characterizations of Prüfer -multiplication domains (PMDs). A module-theoretic perspective shows that torsion submodules are -pure, and for -)finitely generated modules , the canonical sequence -splits, resolving an open question of Geroldinger–Kim–Loper. In a -version of Hattori-Davis theory, these conditions are equivalent to being -torsion for all -modules , equivalently -w.gl.dim, or being -torsion for all and torsion-free , or the Davis map having -torsion kernel. From an overring viewpoint, is a PMD if and only if for every and every -maximal ideal , the localization is a flat epimorphism, so that each overring is -flat and the inclusion is -epimorphic. Finally, is a PMD if and only if every pure -injective divisible -module is injective.

生成讲解博客的中文版本

生成AI智能校验的中文版本