Gorenstein analogs of a projectivity criterion over group algebras | Synapse