Выдержка из книги
Шевалле К.N.
Теория групп ли Ч.2
Элементами множества О являются тогда все те автоморфизмы пространства V, для которых P ( s) 0 при всех Р.а. Очевидно, что множество О есть группа; последнее утверждение показывает, что это - алгебраическая группа.
