Let k be a field, C a bialgebra with bijective antipode, A a right C-comodule algebra, G any subgroup of the monoid of grouplike elements of C. We give necessary and sufficient conditions for the projectivity and flatness ...