Non-existence of a short algorithm for multiplication of $3\times 3$ matrices whose group is $S_4\times S_3$, II

Доказано, что не существует алгоритма для умножения $3\times 3$ матриц мультипликативной длины $23$, инвариантного относительно некоторой группы, изоморфной $S_4\times S_3$. Доказательство использует описание орбит этой группы на разложимых тензорах в тензорном кубе $(M_3(\mathbb{C}))^{\otimes 3}$, полученное ранее.