Conjugacy-class formula for an induced character

ID: conjugacy-class-formula-for-an-induced-character

For a finite group , a subgroup , and a character of , each element of has exactly preimages under . This follows because one such preimage has full fiber . Grouping the character formula for an induced representation by these fibers proves the formula. Grouping again by conjugacy classes of replaces each class by its size times its character value.

New to topics? Read the docs here!