When n > 1 {\displaystyle n>1} , invariant part of U ( G ) ⊗ n {\displaystyle U({\mathcal {G}})^{\otimes n}} is strictly larger than Z ( U ( G ) ⊗ n ) {\displaystyle Z(U({\mathcal {G}})^{\otimes n})}
