Мне кажется, что гипотеза, скорее всего, неверна. Щас подумаю над контрпримером.
Такой пример. Пусть

- абелева

-группа типа

,

- элемент порядка

,

- порядка

. Возьмем систему образующих

. Тогда она будет неприводимой, но условия гипотезы не выполняются.