Let be a -ring and put . We determine the -weak global dimension of every -Prüfer ring. Its only possible values are , , and : the value is when is a field, it is when is strong and is a nonfield Prüfer domain, and it is infinite when is not strong. No nilpotence assumption on is needed. The proof is based on the canonical kernel . In the local non-strong case, is a nonzero torsion divisible module over the valuation domain , and its self-Tor groups satisfy It follows that , and a filtered-colimit argument transfers this obstruction to cyclic quotients by nonnil principal ideals. We also prove the parallel trichotomy for the -global dimension of -Dedekind rings. For strong -rings we obtain a change-of-rings theorem without assuming that the quotient map splits. If , and is the total quotient ring, then Using Ferrand’s flat patching theorem and Milnor’s projective patching theorem, we prove that every torsion -module , regarded as an -module through , satisfies Consequently, for every strong -ring,

生成讲解博客的中文版本

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