Альтернатива Тітса

Матеріал з testwiki
Перейти до навігації Перейти до пошуку

Шаблон:Теорія груп Альтернати́ва Ті́тса — теорема про будову скінченно породжених лінійних груп. Названа на честь Шаблон:Нп.

Формулювання

Нехай G скінченно породжена лінійна група над деяким полем. Тоді для G виконується рівно одне з таких тверджень

Наслідки

Варіації та узагальнення

Кажуть, що група G задовольняє альтернативу Тітса, якщо кожна підгрупа H<G майже розв'язна або містить неабелеву вільну підгрупу. Іноді у визначенні додатково припускають, що H скінченно породжена.

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

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

Про доведення

У доведенні розглядають замикання G¯ групи G у топології Зариського. Якщо G¯ розв'язна, то й група G розв'язна. В іншому випадку переходять до розгляду образу G в компоненті Леві G¯. Якщо вона некомпактна, то пінг-понг лема завершує доведення. Якщо вона компактна, то або всі власні значення елементів у образі G є коренями одиниці, отже, образ G скінченний, або можна знайти вкладення, для якого застосовна пінг-понг лема.

Примітки

Шаблон:Reflist

Посилання