Notes for AKT-091013/0:17:29

[math]\displaystyle{ \mathcal{T}_\mathcal{G} }[/math] is not onto and maps [math]\displaystyle{ \mathcal{A}(|) }[/math] into the invariant part of [math]\displaystyle{ U(\mathcal{G}) }[/math].