  In this paper, we study the relative homological dimension based on the class
of projectively coresolved Gorenstein flat modules (PGF-modules), that were
introduced by Saroch and Stovicek. The resulting PGF-dimension of modules has
several properties in common with the Gorenstein projective dimension, the
relative homological theory based on the class of Gorenstein projective
modules. In particular, there is a hereditary Hovey triple in the category of
modules of finite PGF-dimension, whose associated homotopy category is
triangulated equivalent to the stable category of PGF-modules. Studying the
finiteness of the PGF global dimension reveals a connection between classical
homological invariants of left and right modules over the ring, that leads to
generalizations of certain results by Jensen, Gedrich and Gruenberg that were
originally proved in the realm of commutative Noetherian rings.
