Альтернатива Титса: различия между версиями
imported>РобоСтася м checkwiki fixes (1, 2, 9, 17, 22, 26, 38, 48, 50, 52, 54, 64, 65, 66, 76, 81, 86, 88, 89, 101) |
(нет различий)
|
Текущая версия от 13:51, 14 сентября 2024
Альтернатива Титса — теорема о строении конечно порожденных линейных групп. Названа в честь Жака Титса.
Формулировка
Пусть конечно порождённая линейная группа над некоторым полем. Тогда для выполняется в точности одно из следующих утверждений
- Либо почти разрешима, то есть содержит разрешимую подгруппу конечного индекса.
- Либо содержит подгруппу, изоморфную свободной группе с двумя образующими.
Следствия
- Линейная группа не аменабельна, тогда и только тогда, когда она содержит неабелеву свободную группу.
- Иначе говоря, гипотеза фон Неймана справедлива и для линейных групп.
- Альтернатива Титса является важным компонентом в доказательстве теоремы Громова о группах полиномиального роста.
Вариации и обобщения
Говорят, что группа удовлетворяет альтернативе Титса, если для каждая подгруппы почти разрешима или содержит неабелеву свободную подгруппу. Иногда в определении дополнительно предполагают, что конечно порождена.
Примеры групп, удовлетворяющих альтернативе Титса, включают линейные группы, а также:
Примеры групп, не удовлетворяющих альтернативе Титса:
О доказательстве
В доказательстве рассматривают замыкание группы в топологии Зарисского. Если разрешима, то и группа разрешима. В противном случае переходят к рассмотрению образа в компоненте Леви . Если она некомпактна, то Шаблон:Iw завершает доказательство. Если она компактна, то либо все собственные значения элементов в образе корни единицы, а значит, образ конечен, или можно найти вложение, для которого применима пинг-понг лемма.