Проблема, заключающаяся в том, чтобы выяснить, можно ли указать такой единый общий метод ( алгоритм), к-рый по произвольной системе U, U1 ,. . ., Uq целочисленных матриц позволял бы за конечное число шагов ответить на вопрос, представима ли матрица Uчерез остальные матрицы U1 ,. . ., Uq с помощью операции умножения. Наибольший интерес представляет случай, когда матрицы U, U1 , . . ., Uq являются квадратными и имеют один и тот же порядок. Так сформулированная П. м. п. наз. общей. Фиксируя матрицы U1 , . .., Uq и оставляя матрицу Uпеременной, получают т.