Schur functor (source code)

= Schur functor
{c}
{title2=$D_\lambda:V\longmapsto h_tV^{\otimes n}$}
{wiki}

For a <partition of an integer> $\lambda\vdash n$, applying a <Young symmetrizer> of that shape to the <tensor power> of each <vector space> gives a Schur functor. The construction respects <linear maps> because their <tensor powers> commute with place permutations. For single rows it gives <symmetric powers>, and for single columns <exterior powers>.