WikiSort.ru - Не сортированное

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

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

Пусть ${\displaystyle G}$  конечно порождённая линейная группа^[en]* над некоторым полем. Тогда для ${\displaystyle G}$ выполняется в точности одно из следующих утверждений

• Либо ${\displaystyle G}$ почти разрешима, то есть  содержит разрешимую подгруппу конечного индекса.
• Либо ${\displaystyle G}$ содержит подгруппу, изоморфную свободной группе с двумя образующими.

Следствия

• Линейная группа не аменабельна, тогда и только тогда, когда она содержит неабелеву свободную группу.
  • Иначе говоря, гипотеза фон Неймана справедлива и для линейных групп.
• Альтернатива Титса является важным компонентом в доказательстве теоремы Громова о группах полиномиального роста. 

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

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

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

• Гиперболические группы
• Группа классов преобразований поверхности^[1][2]
• ${\displaystyle Out(F_{n})}$ ^[en][3]

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

• Группа Григорчука;
• Группа F Томпсона.

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

В доказательстве рассматривают замыкание ${\displaystyle {\bar {G}}}$ группы ${\displaystyle G}$ в топологии Зарисского. Если ${\displaystyle {\bar {G}}}$ разрешима, то и группа ${\displaystyle G}$ разрешима. В противном случае переходят к рассмотрению образа ${\displaystyle G}$ в компоненте Леви ${\displaystyle {\bar {G}}}$ . Если она некомпактна, то пинг-понг лемма^[en] завершает доказательство. Если она компактна, то либо все собственные значения элементов в образе ${\displaystyle G}$ корни единицы, а значит, образ ${\displaystyle G}$ конечен, или можно найти вложение, для которого применима пинг-понг лемма.

Примечания

Ссылки

• Tits, J. (1972). “Free subgroups in linear groups”. Journal of Algebra. 20 (2): 250—270. DOI:10.1016/0021-8693(72)90058-0.