Serres недвижимость FA - Serres property FA

В математика, Недвижимость FA является собственностью группы впервые определено Жан-Пьер Серр.

Группа грамм называется обладающим свойством FA, если каждое действие из грамм на дерево имеет глобальный фиксированная точка.

Серр показывает, что если группа имеет свойство FA, то она не может разделиться как амальгамированный продукт или же Расширение HNN; действительно, если грамм содержится в смешанном продукте, значит, он содержится в одном из факторов. В частности, конечно порожденный группа со свойством FA имеет конечное абелианизация.

Свойство FA эквивалентно для счетный грамм к трем свойствам: грамм не является составным продуктом; грамм не имеет Z как факторгруппа; грамм является конечно порожденный. Для общих групп грамм третье условие можно заменить требованием, чтобы грамм не быть объединением строго возрастающей последовательности подгруппы.

Примеры групп со свойством FA включают SL₃(Z) и в целом грамм(Z) куда грамм односвязный простой Группа Шевалле ранга не ниже 2. Группа SL₂(Z) является исключением, так как он изоморфен объединенному произведению циклических групп C₄ и C₆ вдоль C₂.

Любой факторгруппа группы со свойством FA обладает свойством FA. Если некоторая подгруппа конечных индекс в грамм имеет свойство FA, то и грамм, но обратное, как правило, неверно. Если N это нормальная подгруппа из грамм и оба N и грамм/N имеют свойство FA, то также грамм.

Теорема Вататани гласит, что Имущество Каждан (Т) влечет свойство FA, но не наоборот. Действительно, любая подгруппа конечного индекса в T-группе обладает свойством FA.

Примеры

Следующие группы обладают свойством FA:

Конечно порожденная торсионная группа;
SL₃(Z);
Группа Шварца ${ displaystyle left langle {a, b: a ^ {A} = b ^ {B} = (ab) ^ {C} = 1} right rangle}$ для целых чисел А,B,C ≥ 2;
SL₂(р) куда р кольцо целых чисел поле алгебраических чисел который не Q или мнимое квадратичное поле.

Следующие группы не обладают свойством FA:

SL₂(Z);
SL₂(р_D) куда р_D - это кольцо целых чисел мнимого квадратичного поля дискриминанта, отличного от −3 или −4.

Serres недвижимость FA - Serres property FA

Примеры

Рекомендации