Cтраница 2
Отбросим теперь предположение, что модуль V существует. Предыдущее рассуждение указывает нам, где в K [ G ] искать максимальный вектор веса Я. [16]
Понятие максимального вектора зависит, разумеется, от выбора группы В. В дальнейшем мы без специальных оговорок исключаем случай У 0 ( но не случай dim V - 1); поэтому максимальные векторы всегда существуют. [17]