 Virtual character

A virtual character is an integer linear combination of characters, equivalently an element of the Grothendieck group of finite-dimensional representations.