  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(n), we exhibit a finite set of
polynomial H-identities which distinguish the Galois objects over H up to
isomorphism.
