On a non-vanishing Ext
Abstract
Description
The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved under Jensen's Diamond Principle. In this note, the same is verified using the ZFC axioms alone.