Character ring

From Groupprops

Template:Functor from groups

Definition

Definition with symbols

Given a group , a field , and a subring of , the character ring of with respect to and , is the ring of -linear combinations of characters of representations of over .

If is not specified, we assume it to be the smallest subring (viz the subring generated by 1, which is either or a prime field of the same characteristic as the whole field).