Symmetric power (source code)

= Symmetric power
{title2=$S^nV$}
{wiki}

The nth symmetric power $S^nV$ is the quotient of $V^{\otimes n}$ that identifies tensors differing by a permutation of their factors. Equivalently, over characteristic zero it is the subspace of symmetric tensors.