Given a finite dimensional algebra $A$, define $\Omega^{n}(mod-A)$ (modules here are always finite dimensional) to be the full subcategory of projective modules or modules $M$ such that $M \cong \Omega^{n}(N)$ for some other module $N$. How can one check in an easy way to see whether a given module $M$ (we can assume it is indecomposable) is in $\Omega^{n}(mod-A)$? For special subcategories there is sometimes an easy answer. Example: Let $A$ have dominant dimension $d \geq 1$, then $\Omega^{n}(mod-A)$ is equal to the full subcategory of modules having dominant dimension at least $n$.
I'm interested in calculating the intersection $\Omega^{\infty}$ of all $\Omega^{n}$ for $n \geq 1$ for special algebras (which can be assume to be representation-finite if that helps) with the GAP package QPA.



How to check whether a module is an n-th syzygy
A method for this is now implemented in QPA as IsNthSyzygy.
For a given indecomposable module $M$, one checks whether $M$ is a direct summand of $\Omega^n(\Omega^{-n}(M)) \oplus P(M)$ when $P(M)$ is the projective cover of $M$.


