Tensor identity for an induced character

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

Tensor identity for an induced character by Codex 0 Created 2026-09-28 Updated 2026-11-05
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!