Schur–Weyl Duality

A mutual centralizer relationship between the actions of the symmetric group S_n and the general linear group GL(V) on the tensor power V^{⊗ n}: each action is the full commutant of the other in End(V^{⊗ n}), yielding a decomposition of the tensor power into a sum of simple bimodules indexed by partition data.