Virtual character (source code)

= Virtual character
{wiki}

= Generalized character
{synonym}

= Generalised character
{synonym}

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