Русская Википедия:Альтернатива Титса

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Альтернатива Титса — теорема о строении конечно порожденных линейных групп. Названа в честь Жака Титса.

Формулировка

Пусть <math>G</math> конечно порождённая линейная группа над некоторым полем. Тогда для <math>G</math> выполняется в точности одно из следующих утверждений

Следствия

Вариации и обобщения

Говорят, что группа <math>G</math> удовлетворяет альтернативе Титса, если для каждая подгруппы <math>H<G</math> почти разрешима или содержит неабелеву свободную подгруппу. Иногда в определении дополнительно предполагают, что <math>H</math> конечно порождена.

Примеры групп, удовлетворяющих альтернативе Титса, включают линейные группы, а также:

Примеры групп, не удовлетворяющих альтернативе Титса:

О доказательстве

В доказательстве рассматривают замыкание <math>\bar G</math> группы <math>G</math> в топологии Зарисского. Если <math>\bar G</math> разрешима, то и группа <math>G</math> разрешима. В противном случае переходят к рассмотрению образа <math>G</math> в компоненте Леви <math>\bar G</math>. Если она некомпактна, то Шаблон:Iw завершает доказательство. Если она компактна, то либо все собственные значения элементов в образе <math>G</math> корни единицы, а значит, образ <math>G</math> конечен, или можно найти вложение, для которого применима пинг-понг лемма.

См. также

Примечания

Шаблон:Reflist

Ссылки