Вполне приводимая матричная группа

матричная группа Gнад произвольным фиксированным полем Р, все матрицы к-рой одновременным сопряжением посредством нек-рой матрицы над Рможно привести к клеточно-диагональному виду, т. е. к виду [img: http://localhost:8080/file/010319-166.jpg] где [img: http://localhost:8080/file/010319-167.jpg] - квадратные матрицы, а на остальных местах стоят нули, причем каждая матричная группа [img: http://localhost:8080/file/010319-168.jpg] неприводима (см. Неприводимая матричная группа). На языке преобразований: группа G линейных преобразований конечномерного векторного пространства Vнад полем наз. вполне приводимой, если выполнено любое из трех следующих равносильных условий: 1) любое подпространство из V, инвариантное относительно G, имеет прямое дополнение, инвариантное относительно G(см. Инвариантное подпространство); 2) V разлагается в прямую сумму минимальных инвариантных относительно G подпространств; 3) Vпорождается минимальными инвариантными относительно Gподпространствами. Всякая конечная матричная группа G над. полем, характеристика к-рого не делит порядок G, вполне приводима. Всякая нормальная подгруппа вполне приводимой матричной группы сама вполне приводима.