Induced-tensor decomposition for the symmetric group on four points (source code)

= Induced-tensor decomposition for the symmetric group on four points

For the standard inclusions $S_2,S_3\leq S_4$,
$$
\left(S^{(2)}\!\uparrow_{S_2}^{S_4}\right)
\otimes
\left(S^{(1^3)}\!\uparrow_{S_3}^{S_4}\right)
\cong S^{(4)}\oplus5S^{(3,1)}\oplus4S^{(2,2)}\oplus7S^{(2,1,1)}\oplus3S^{(1^4)}.
$$