In this paper we use a homological approach to obtain upper bounds for a few homological invariants of FI_G-modules V. These upper bounds are expressed in terms of the generating degree and torsion degree, which measure the top and socle of V under actions of non-invertible morphisms in the category respectively.

Let A be a finite dimensional algebra and D^b(A) be the bounded derived category of finitely generated left A-modules. In this paper we consider lengths of compact exceptional objects in D^b(A), proving a sufficient condition such that these lengths are bounded by the number of isomorphism classes of simple A-modules. Moreover, we show that algebras satisfying this condition is bounded derived simple.

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

Let $\Lambda$ be a finite dimensional algebra and $G$ be a finite group whose elements act on $\Lambda$ as algebra automorphisms. Under the assumption that $\Lambda$ has a complete set $E$ of primitive orthogonal idempotents, closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that the skew group algebra $\Lambda G$ and $\Lambda$ have the same finitistic dimension and the same strong global dimension if the action of $S$ on $E$ is free. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce that $\Lambda G$ is piecewise hereditary if and only if $S$ acts freely on $E$ and $\Lambda$ is piecewise hereditary as well.