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