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

Abstract

Доказано, что образ представления свободной группы F2 ( x y , ) в GL n C ( , ) является унипотентной подгруппой, если ( ) ( ) 5 ρ p E − = 0 для любого примитивного элемента p и ( ) ( ) 2 ρ ξ − E = 0, ( ) ( ) 3 ρ η − E = 0 для каких-то ассоцииро- ванных примитивных элементов ξ и η группы 2 F .