Tensor identity for an induced character

ID: tensor-identity-for-an-induced-character

For a subgroup , a character of and a character of ,
It follows directly from the induced-character formula because .

New to topics? Read the docs here!