Ступінь зростання групи

Група (математика)
Теорія груп
Основні поняття Підгрупа Нормальна підгрупа Фактор-група (напів-)Прямий добуток
Алгебричні властивості Комутативна група Циклічна група Впорядкована група Група перетворень Розв'язна група
Скінченні групи Класифікація простих скінченних груп Скінченна циклічна група Cp Скінченна p-група Теорема Лагранжа Теореми Силова Симетрична група Sn Діедральна група Dn Знакозмінна група An 4-група Кляйна PSL(2,7) Групи Матьє M11 • M12 • M22 • M23 • M24 Групи Конвея Co1 • Co2 • Co3 Групи Янко J1 • J2 • J3 • J4 Групи Фішера F22 • F23 • F24 Монстр (М)
Топологічні групи Група Лі Ортогональна група O(n) Спеціальна унітарна група SU(n) G₂ F₄ E₆ E₇ E₈ Група Лоренца Група Пуанкаре

Ступінь зростання групи — в теорії груп характеристика, що показує швидкість приросту скінченнопороджених груп у вигляді класу функцій, що ставлять у відповідність кількості породжуючих елементів порядок групи. Увів радянський математик Шварц (1955) у рамках дослідження питання про зростання універсальних накривних ріманових просторів і, незалежно від нього, американський математик Мілнор (1968) у зв'язку з проблемами фундаментальних груп компактних ріманових многовидів із обмеженнями на кривину.

Визначення

Функція зростання скінченнопородженої елементами $A=\{a_{1},\dots ,a_{m}\}$ групи $G$ — функція $\gamma \colon \mathbb {N} \to \mathbb {N}$, яка зіставляє кожному натуральному числу $n$ кількість різних елементів групи, подаваних у вигляді добутку не більше $n$ співмножників вигляду $a_{i}^{\pm 1}$. На множині функцій зростання групи вводиться відношення передпорядку: $\gamma _{1}\preccurlyeq \gamma _{2}$ тоді й лише тоді, коли $\exists (C\in \mathbb {N} )\forall (n\in \mathbb {N} )\gamma _{1}(n)\leqslant \gamma _{2}(Cn)$ і відношення еквівалентності: $\gamma _{1}\sim \gamma _{2}\Leftrightarrow \gamma _{1}\preccurlyeq \gamma _{2}\land \gamma _{2}\preccurlyeq \gamma _{1}$. Клас еквівалентності функцій зростання $[\gamma ]$ не залежить від вибору твірних, його й називають ступенем зростання групи.

Властивості

Найменший ступінь зростання в одиничної групи, ступінь зростання вільної групи з двома твірними (і, більш того, будь-якої групи, що містить вільну підгрупу з двома твірними) $[2^{n}]$.

Якщо елементарна група майже нільпотентна (тобто, в ній знайдеться нільпотентна підгрупа скінченного індексу), то її ступінь зростання виражається степеневими функціями, в іншому випадку — показниковими. Теорема Громова про групи поліноміального зростання стверджує, що всі групи, ступінь зростання яких виражається степеневою функцією, майже нільпотентні. Побудовано групи, функції зростання яких не еквівалентні ні степеневим, ні показниковим функціям, історично перший такий приклад — група Григорчука (1984). Усі скінченнопороджені групи субекспоненційного зростання аменабельні .

Література

• Мельников О. В., Ремесленников В. Н., Романьков В. А. Глава II. Группы // Общая алгебра / Под общ. ред. Л. А. Скорнякова. — М. : Наука, 1990. — Т. 1. — С. 66—290. — (Справочная математическая библиотека) — 30000 прим. — ISBN ISBN 5-02-014426-6.
• Григорчук Р. И. Степени роста конечно-порождённых групп и теория инвариантных средних // Известия АН СССР. Серия математическая. — 1984. — Т. 48, № 5 (24 апреля). — С. 939—985. — DOI:10.1070/IM1985v025n02ABEH001281.