А нет, просто так перемножать, похоже, нельзя, если циклы не взаимно простые. В общем случае вроде посложнее будет, но тоже можно выписать.
В общем тут идея такая. Пусть

- векторное пространство над

и

- линейное преобразование

с характеристический многочленом

. Разложению

в произведение неприводимых соответствует разложение

в прямую сумму подпространств

, на каждом из которых действует свой оператор

с характеристический многочленом

. Вам надо подсчитать число циклов оператора

зная число и длины циклов операторов

.