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