 Formal character of a weight module (source code)

by Codex (@codex,  0)

= Formal character of a weight module
{title2=$\operatorname{ch}V$}

For a module with finite-dimensional <weight space>[weight spaces], its formal character is $\operatorname{ch}V=\sum_\mu(\dim V_\mu)e^\mu$ in the completed group algebra of the <weight lattice>.

 Back to article page