Abstract:

We will prove that the contravariant Ext_R^1(-, G) functor preserves direct
products if and only if Ext_R^1 (M,G) = 0 for all R-modules M, under the
assumption that R is an hereditary ring.