Strongly -coherent rings, -semihereditary rings and -regular rings
Let be a weak torsion class of left -modules and a positive integer. A left -module is called -injective if for each -presented left -module ; a right -module is called -flat if for each -presented left -module ; a left -module is called -projective if for each -injective left -module ; the ring is called strongly -coherent if whenever is exact, where is -presented and is finitely generated projective, then is -projective; the ring is called -semihereditary...