В задачах комбинаторики, встречающихся и в системах искусственного интеллекта, и в квантовой механике, и в теории алгоритмов, применением группы перестановок доказывают наиболее общие их решения. Возможности теории групп продемонстрированы в статье на примере нового доказательства теоремы Гарримана, устанавливающей связь между компонентами одного ранга редуцированной матрицы плотности (РМП).
