The induced bundle and equivariant K-theory

In group representation theory, the induced representation is a major general operation for passing from a representation of a subgroup H to a representation of the whole group G itself. We would like to prove a formula for a map generalizing the formula for the induced character of representations and use that formula to obtain a decomposition of the Hopf algebra.