On the Auslander-Bridger-Yoshino theory for complexes of finitely generated projective modules

Let R be a two-sided noetherian ring. Auslander and Bridger developed a theory of projective stabilization of the category of finitely generated R-modules, which is called the stable module theory. Recently, Yoshino established a stable ''complex'' theory, i.e., a theory of a certain stabilization of the homotopy category of complexes of finitely generated projective R-modules. We introduce higher versions of several notions introduced by Yoshino, such as *torsionfreeness and *reflexivity. Also, we prove the Auslander-Bridger approximation theorem for complexes of finitely generated projective R-modules.