On cohomological periodicity for infinite groups.
We introduce the right (left) Gorenstein subcategory relative to an additive subcategory of an abelian category , and prove that the right Gorenstein subcategory is closed under extensions, kernels of epimorphisms, direct summands and finite direct sums. When is self-orthogonal, we give a characterization for objects in , and prove that any object in with finite -projective dimension is isomorphic to a kernel (or a cokernel) of a morphism from an object in with finite -projective dimension...