On products in algebraic $K$-theory of crossed Hopf algebras

Some multiplication is constructed for algebraic $K$-functors of the crossed products of a commutative algebra and a Hopf cocommutative algebra; the question on these functors to be Frobenius functors with respect to the constructed multiplication is studied.