Guruhlarning yakuniy xususiyatlari - Finiteness properties of groups

Yilda matematika, cheklash xususiyatlari a guruh turli xillardan foydalanishga imkon beradigan xususiyatlar to'plamidir algebraik va topologik masalan, asboblar guruh kohomologiyasi, guruhni o'rganish. Bu asosan cheksiz guruhlarni o'rganish uchun qiziqish uyg'otadi.

Sonlik xususiyatlariga ega bo'lgan guruhlarning alohida holatlari nihoyatda hosil bo'lgan va yakuniy taqdim etilgan guruhlar.

Topologik yakuniylik xususiyatlari

Berilgan tamsayı n ≥ 1, guruh ${ displaystyle Gamma}$ deb aytilgan turdagi F_n agar mavjud bo'lsa asferik CW kompleksi kimning asosiy guruh bu izomorfik ga ${ displaystyle Gamma}$ (a bo'shliqni tasniflash uchun ${ displaystyle Gamma}$) va kimning n- skelet cheklangan. Guruh tipga mansub deyiladi F_∞ agar u turdagi bo'lsa F_n har bir kishi uchun n. Bu turdagi F agar u cheklangan asferik CW kompleksi mavjud bo'lsa, u asosiy guruhdir.

Ning kichik qiymatlari uchun n ushbu shartlar ko'proq klassik talqinlarga ega:

• guruh turi F₁ agar va faqat shunday bo'lsa nihoyatda hosil bo'lgan (the Keyli grafigi bu tasniflangan makonning cheklangan 1-skeleti);

• guruh turi F₂ agar va faqat shunday bo'lsa yakuniy taqdim etilgan (yordamida Ceyley majmuasi Cayley grafigi o'rniga).

Ma'lumki, har bir kishi uchun n ≥ 1 turdagi guruhlar mavjud F_n ular turi bo'lmagan F_n+1. Sonli guruhlar turga kiradi F_∞ lekin turi emas F. Tompson guruhi ${ displaystyle F}$ tipdagi torsiyasiz guruhga misol F_∞ lekin turi emas F.^[1]

Ning qayta tuzilishi F_n Xususiyat shundaki, agar u mavjud bo'lsa, guruh unga ega bo'ladi harakat qiladi tegishli ravishda to'xtovsiz, erkin va ixcham tarzda CW kompleksida kimga tegishli homotopiya guruhlari ${ displaystyle pi _ {1}, ldots, pi _ {n}}$ g'oyib bo'lmoq. Gomotopiyani gomologiya bilan almashtirish orqali yana bir cheklanish xususiyati shakllantirilishi mumkin: guruh turi deyiladi FH_n agar u yuqoridagi kabi CW kompleksida ishlasa n birinchi gomologik guruhlar yo'qoladi.

Algebraik yakuniylik xususiyatlari

Ruxsat bering ${ displaystyle Gamma}$ guruh bo'ling va ${ displaystyle mathbb {Z} Gamma}$ uning guruh halqasi. Guruh ${ displaystyle Gamma}$ FP turiga mansub deyiladi_n agar mavjud bo'lsa a qaror ahamiyatsiz narsalardan ${ displaystyle mathbb {Z} Gamma}$-modul ${ displaystyle mathbb {Z}}$ shunday n birinchi atamalar cheklangan ravishda hosil qilinadi loyihaviy ${ displaystyle mathbb {Z} Gamma}$-modullar.^[2] Turlari FP_∞ va FP aniq tarzda aniqlanadi.

O'rniga proektiv modullar bilan bir xil bayonot bepul modullar sinflarni belgilaydi FL_n uchun n ≥ 1, FL_∞ va FL.

Shuningdek, sinflarni aniqlash mumkin FP_n(R) va FL_n(R) har qanday kishi uchun komutativ uzuk R, guruh halqasini almashtirish orqali ${ displaystyle mathbb {Z} Gamma}$ tomonidan ${ displaystyle R Gamma}$ yuqoridagi ta'riflarda.

Shartlardan biri F_n yoki FH_n nazarda tutmoq FP_n va FL_n (har qanday komutativ halqa ustida). Guruh turi FP₁ va agar u cheklangan tarzda yaratilgan bo'lsa,^[2] lekin har qanday kishi uchun n ≥ 2 turdagi guruhlar mavjud FP_n lekin emas F_n.^[3]

Guruh kohomologiyasi

Agar guruh turi bo'lsa FP_n keyin uning kohomologiya guruhlari ${ displaystyle H ^ {i} ( Gamma)}$ uchun nihoyatda hosil qilingan ${ displaystyle 0 leq i leq n}$. Agar u turdagi bo'lsa FP u holda cheklangan kohomologik o'lchov mavjud. Shunday qilib, cheklanish xususiyatlari guruhlarning kohomologiya nazariyasida muhim rol o'ynaydi.

Misollar

Cheklangan guruhlar

Cheklangan guruh ${ displaystyle G}$ da birlik sharida erkin harakat qiladi ${ displaystyle mathbb {R} ^ { mathbb {N}}}$, har bir o'lchamdagi sonli hujayralar bilan CW-kompleks tuzilishini saqlab qolish.^[4] Ushbu birlik sferasi shartli bo'lganligi sababli, har bir cheklangan guruh F turiga kiradi_∞.

A ahamiyatsiz cheklangan guruh hech qachon turga kirmaydi F chunki u cheksiz kohomologik o'lchovga ega. Bu shuni anglatadiki, ahamiyatsiz bo'lmagan guruh torsion kichik guruh hech qachon tipik emas F.

Nilpotent guruhlar

Agar ${ displaystyle Gamma}$ a burilishsiz, cheklangan tarzda hosil qilingan nilpotent guruh keyin u F turiga kiradi.^[5]

Tozalash xususiyatlarining geometrik shartlari

Salbiy egri guruhlar (giperbolik yoki Mushuk (0) guruhlar) har doim turga kiradi F_∞.^[6][7] Bunday guruh tipga kiradi F agar va faqat agar u burilishsiz bo'lsa.

Masalan, kokompakt S-arifmetik guruhlar yilda algebraik guruhlar ustida raqam maydonlari F turiga kiradi_∞. Borel-Serre kompaktifikatsiyasi shuni ko'rsatadiki, bu kokompakt bo'lmagan arifmetik guruhlar uchun ham tegishli.

Arifmetik guruhlar tugadi funktsiya maydonlari juda xilma-xillik xususiyatlariga ega: agar ${ displaystyle Gamma}$ ning oddiy algebraik guruhidagi arifmetik guruhdir daraja ${ displaystyle r}$ global funktsiya maydoni (masalan ${ displaystyle mathbb {F} _ {q} (t)}$) keyin u F turiga kiradi_r lekin F turiga kirmaydi_{r + 1}.^[8]

Izohlar

Adabiyotlar