Группа Григорчука (Ijrhhg Ijnikjcrtg)

Перейти к навигации Перейти к поиску

Группа Григорчука — первый пример конечнопорождённой группы промежуточного роста (то есть её рост быстрее полиномиального, но медленнее экспоненциального).

Пример построен Ростиславом Ивановичем Григорчуком, промежуточный рост доказан им в работе 1984 года[1][2]. Тем самым был дан ответ на вопрос Милнора, заданный в 1968 году[3].

Построение

[править | править код]
Бесконечное полное двоичное дерево T2, узлы которого помечены строками из нулей и единиц.

Группа строится через своё действие на бесконечном полном двоичном дереве.

Бесконечное полное двоичное дерево

[править | править код]

Рассмотрим бесконечное полное двоичное корневое дерево Т2 и его автоморфизмы. Это дерево изоморфно любому своему поддереву, поэтому любой его автоморфизм может быть применён и к любому поддереву.

Каждая вершина дерева Т2 может быть помечена элементом множества Σ* всех конечных строк в алфавите Σ = {0,1}, включая пустую строку Ø. Пустая строка Ø соответствует корневой вершине Т2. Метка левого потомка каждого узла получается добавлением 0, правого — 1.

Любой автоморфизм дерева T2 сохраняет путь от корневого узла до любого другого и не перемещает ни один узел с одного уровня на другой. Выполнение этих свойств достаточно, чтобы перестановка множества вершин дерева была автоморфизмом дерева. Поэтому группа всех автоморфизмов Aut(Т2) соответствует группе всех таких перестановок σ множества строк Σ*, которые сохраняют длину строки (то есть длина x должна равняться длине σ(х)) и сохраняют отношение «начальный сегмент строки» (то есть если строка х является начальным сегментом строки y, то σ(х) является начальным сегментом σ(y)).

Образующие

[править | править код]

Группа Григорчука G определяется как подгруппа группы Aut(Т2), порождённая определёнными четырьмя элементами а, b, с, d, то есть .

С точки зрения преобразования строк, состоящих из 0 и 1, автоморфизмы а, b, с, d определяются рекурсивно следующим образом:

  • a(0x) = 1x, a(1x) = 0x;
  • b(0x) = 0a(x), b(1x) = 1c(x);
  • c(0x) = 0a(x), c(1x) = 1d(x);
  • d(0x) = 0x, d(1x) = 1b(x)

для каждого x в Σ*. Например:

  • a(11101) = 01101
  • b(11101) = 1c(1101) = 11d(101) = 111b(01) = 1110a(1) = 11100
  • c(11101) = 1d(1101) = 11b(101) = 111c(01) = 1110a(1) = 11100
  • d(11101) = 1b(1101) = 11c(101) = 111d(01) = 11101
Действие образующих группы Григорчука на дерево T2. Треугольники обозначают бесконечные поддеревья, в которых не происходит изменений.

С точки зрения преобразования двоичного дерева элемент a меняет местами левое и правое поддеревья того дерева, на которое он действует. Остальные элементы действуют отдельно на каждое из этих двух поддеревьев, эти элементы могут быть рекурсивно представлены парами (два элемента пары соответствуют действию на левое и правое поддеревья):

  • b = (a,c),
  • c = (a,d),
  • d = (1,b).

Здесь b = (a, c) означает, что b не меняет корень Т2, действует на левое поддерево как a, а на правое — как c. Здесь 1 обозначает тождественное отображение.

В не рекурсивном представлении действие элементов b, c, d выглядит так: начиная от корня, продвигаемся вниз, выбирая на каждом шаге правого потомка; при этом всякий раз к левому поддереву применяется операция a (меняющая местами два его поддерева), кроме каждого третьего шага, начиная с третьего, второго и первого шага для b, c и d, соответственно[4].

Свойства образующих

[править | править код]

Ниже приведены основные следствия из этого построения[5].

  • Каждый из элементов a, b, c, d имеет порядок 2 в G.
  • Элементы b, c, d попарно коммутируют, и bc = cb = d, bd = db = c, dc = dc = b.
  • Группа G порождается a и любыми двумя из трёх элементов b, c, d (например, ).
  • В приведённых выше рекурсивных обозначениях .
  • Стабилизатор StG[1] в G — это подгруппа, порождённая b, c, d, aba, aca, ada. Подгруппа StG[1] является нормальной подгруппой индекса 2 в G, и
    G = StG[1] a StG[1].
  • Каждый элемент G может быть записан как (положительное) слово из букв a, b, c, d без подслов формы aa, bb, cc, dd, cd, dc, bc, cb, bd, db.
    • Такие слова называются сокращёнными.
    • «Положительное слово» здесь означает, что в соответствующей записи отсутствуют элементы a−1, b−1 и т. д. Поскольку у всех этих образующих порядок равен 2, т. е. они сами себе обратны, то это необременительное условие.
  • Сокращённое слово представляет собой элемент из стабилизатора StG[1] тогда и только тогда, когда это слово включает в себя чётное число вхождений a.
  • Если w — сокращённое слово чётной длины с положительным чётным числом появлений a, то есть некоторые слова u, v, записанные через a, b, c, d (не обязательно сокращённые), такие, что в G есть w = (u, v) и |u| ≤ |w|/2, |v| ≤ |w|/2.
    • Если w — сокращённое слово нечётной длины с положительным чётным числом вхождений a, то подобное утверждение тоже верно, но неравенства принимают вид: |u| ≤ (|w| + 1)/2, |v| ≤ (|w| + 1)/2.

Последнее свойство играет ключевую роль во многих доказательствах, поскольку оно позволяет использовать индукцию по длине слова.

  • Группа бесконечна[2].
  • Группа является остаточно конечной[2].
  • Группа является -группой, то есть каждый элемент в имеет конечный порядок, который равен степени [1].
  • Группа имеет промежуточный рост[2].
    • В частности, группа аменабельна[2].
    • Григорчук доказал, что рост группы , , заключён между и .
    • В 1998 году Бартольди снизил показатель верхней границы с до
    [6],
    где  — действительный корень многочлена [7].
    • В 2011 году Бартольди и Эршлер определяют многочлен , , единственным вещественным корнем которого является [8].
    • В 2018 году Эршлер и Жэнь нашли точное предельное значение показателя степени в показателе экспоненты в
    ,
    где  — действительный корень многочлена [9]; то есть предельная нижняя граница совпадает с верхней границей .
  • Каждая факторгруппа по нетривиальной нормальной группе конечна.
  • Каждая конечно порождённая подгруппа замкнута в про-конечной топологии на [10].
  • Каждая максимальная подгруппа[англ.] в имеет конечный индекс[11].
  • Группа конечно порождённая, но не конечно заданная[2][12].
  • Централизатор элемента конечно порожден тогда и только тогда, когда элемент сопряжен с порождающим элементом [13].
  • Индексы членов нижнего центрального ряда ограничены сверху числом 4[14].
  • Найдены примеры максимальных локально конечных подгрупп, они оказались бесконечными[15].

Примечания

[править | править код]
  1. 1 2 Р. И. Григорчук, “К проблеме Бернсайда о периодических группах” Архивная копия от 25 января 2021 на Wayback Machine, Функц. анализ и его прил., 14:1 (1980), 53—54
  2. 1 2 3 4 5 6 Р. И. Григорчук, “Степени роста конечно-порожденных групп и теория инвариантных средних” Архивная копия от 20 сентября 2016 на Wayback Machine, Изв. АН СССР. Сер. матем., 48:5 (1984), 939—985
  3. John Milnor, Problem No. 5603, American Mathematical Monthly, vol. 75 (1968), pp. 685—686.
  4. Rostislav Grigorchuk, Igor Pak. Groups of intermediate growth: an introduction : [англ.] : [арх. 13 октября 2014] // L'Enseignement Mathématique. — 2008. — Vol. 54. — P. 251-272. — arXiv:math/0607384. — doi:10.5169/seals-109938.
  5. Pierre de la Harpe. Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago. ISBN 0-226-31719-6; Ch. VIII, The first Grigorchuk group, pp. 211–264.
  6. Laurent Bartholdi. The Growth of Grigorchuk's Torsion Group. Internat. Math. Res. Notices (1998) no. 20, pp. 1049-1054; available at arXiv, 13 Dec 2000 Архивная копия от 20 августа 2023 на Wayback Machine
  7. Laurent Bartholdi, Anna Erschler. Growth of permutational extensions. Invent. Math. 189(2), 431–455 (2012); available at arXiv, 14 December 2010, revised 31 July, 9 August and 19 October 2011, 4 Nov 2011 Архивная копия от 27 августа 2023 на Wayback Machine
  8. Anna Erschler & Tianyi Zheng. Growth of periodic Grigorchuk groups // Inventiones mathematicae. — 2020. — Vol. 219. — P. 1069–1155. — doi:10.1007/s00222-019-00922-0.; available at arXiv, [v1] 25 Feb 2018 Архивная копия от 22 августа 2023 на Wayback Machine, [v2] 6 Sep 2019
  9. R. I. Grigorchuk, and J. S. Wilson. A structural property concerning abstract commensurability of subgroups. Архивная копия от 24 мая 2011 на Wayback Machine Journal of the London Mathematical Society (2), vol. 68 (2003), no. 3, pp. 671—682.
  10. Е. Л. Первова. Всюду плотные подгруппы одной группы автоморфизмов дерева // Тр. МИАН. — 2000. — Т. 231. — С. 356—367.
  11. И. Г. Лысёнок, «Система определяющих соотношений для группы Григорчука» Архивная копия от 13 февраля 2018 на Wayback Machine, Матем. заметки, 38:4 (1985), 503—516
  12. А.В. Рожков. Централизаторы элементов в одной группе автоморфизмов деревьев // Изв. РАН. Сер. мат.. — 1993. — Т. 57, № 6. — С. 82—105. Архивировано 26 октября 2020 года.
  13. А.В. Рожков. Нижний центральный ряд одной группы автоморфизмов дерева // Мат. заметки.. — 1996. — Т. 60, № 2. — С. 225—237. Архивировано 23 июля 2018 года.
  14. А. В. Рожков. Максимальные локально конечные подгруппы в группе Григорчука // Мат. заметки.. — 1998. — Т. 63, № 4. — С. 617–624. Архивировано 25 ноября 2020 года.