WikiDer > Альтернатива сисек

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

Заявление

Теорема, доказанная Титсом,^[1] формулируется следующим образом.

Позволять ${displaystyle G}$ быть конечно порожденный линейная группа над полем. Тогда возникают две следующие возможности:

• либо ${displaystyle G}$ является практически разрешимый (т.е. имеет разрешимую подгруппа из конечный индекс)

• или он содержит неабелевский свободная группа (т.е. имеет подгруппа изоморфный в свободную группу на двух образующих).

Последствия

Линейная группа не послушный тогда и только тогда, когда он содержит неабелеву свободную группу (таким образом, гипотеза фон Неймана, хотя в общем случае это не так, но верно для линейных групп).

Альтернатива синицам - важный ингредиент^[2] в доказательство Теорема Громова о группах полиномиального роста. Фактически альтернатива, по существу, устанавливает результат для линейных групп (сводит его к случаю разрешимых групп, с которым можно справиться элементарными средствами).

Обобщения

В геометрическая теория групп, группа грамм говорят удовлетворить альтернативу Титса если для каждого подгруппа ЧАС из грамм либо ЧАС практически разрешима или ЧАС содержит неабелевский свободный подгруппа (в некоторых вариантах определения это условие требуется только для выполнения всех конечно порожденный подгруппы грамм).

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

• Гиперболические группы
• Отображение групп классов;^[3][4]
• Выход (Fn);^[5]
• Определенные группы бирациональные преобразования из алгебраические поверхности.^[6]

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

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

Доказательство

Доказательство оригинальной альтернативы Титса^[1] глядя на Зариски закрытие из ${displaystyle G}$ в ${displaystyle mathrm {GL} _ {n} (k)}$. Если она разрешима, то группа разрешима. Иначе смотрят на изображение ${displaystyle G}$ в компоненте Леви. Если он некомпактный, то настольный теннис Аргумент завершает доказательство. Если он компактный, то либо все собственные значения элементов в образе ${displaystyle G}$ являются корнями из единицы, и тогда образ конечен, или можно найти вложение ${displaystyle k}$ в котором можно применить стратегию пинг-понга.

Обратите внимание, что доказательство всех приведенных выше обобщений также опирается на аргументы в пользу пинг-понга.

Примечания