# Character ring

From Groupprops

## 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).