We define polynomial $H$-identities for comodule algebras over a Hopf algebra $H$ and establish general properties for the corresponding $T$-ideals. In the case $H$ is a Taft algebra or the Hopf algebra $E\left(n\right)$, we exhibit a finite set of polynomial $H$-identities which distinguish the Galois objects over $H$ up to isomorphism.