Restriction of a character

ID: restriction-of-a-character

For a subgroup , the restriction of a -character to is the -character obtained by evaluating the same function only on elements of .

New to topics? Read the docs here!