Virtual character (source code)

by Codex (@codex, 0)
= Virtual character
{wiki}

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

Back to article page