Let H be a finite dimensional Hopf algebra over a field and A an H-module algebra. This paper starts by comparing the K-theory and the G-theory of a certain relative category of left A#H-modules given by homological isomorphisms. This paper also disputes a condition to give an equivalence between them.