Унипотентность образа представления группы F2 при отображении примитивных элементов в унипотентные матрицы с малыми клетками Жордана

Abstract

Доказано, что образ линейного представления $\rho$ свободной группы ранга 2 является унипотентной подгруппой, если $(\rho(p)-E)^5=0$ для любого примитивного элемента p и $(\rho(a)-E)^2=(\rho(b)-E)^3=0$ для каких-то ассоциированных примитивных элементов a и b.