Выдержка из книги
Спрингер Т.N.
Теория инвариантов
Рассмотрим в Rd линейную оболочку G-орбиты вектора ed Xd. Обозначим эту оболочку через Wd она является ненулевым G-инвариантным подпространством в Rd. Как следует из леммы 3.1.3 ( 1), Wd лежит в любом ненулевом G-ин-вариантном подпространстве пространства Rd. Значит, G-модуль Wd неприводим и в Rd нет никаких других ненулевых неприводимых подмодулей.
