Вычисление неприводимых разложений перестановочных представлений сплетений конечных групп

Описан алгоритм вычисления полного множества примитивных ортогональных идемпотентов централизаторного кольца перестановочного представления сплетения конечных групп. Это множество определяет разложение представления на неприводимые компоненты. В формализме квантовой механики примитивные идемпотенты являются операторами проекции в неприводимые инвариантные подпространства гильбертова пространства, описывающего состояния многочастичной квантовой системы. Предлагаемый алгоритм использует методы компьютерной алгебры и вычислительной теории групп. Реализация алгоритма на языке Си способна строить разложения на неприводимые компоненты представлений высоких размерностей и рангов. Библ. 15. Фиг. 3.