Surjunktiv guruh - Surjunctive group

Savol, Veb Fundamentals.svgMatematikada hal qilinmagan muammo:
Har bir guruh birlashtiriladimi?
(matematikada ko'proq hal qilinmagan muammolar)

Matematikada a surjunktiv guruh a guruh shunday har bir in'ektsion uyali avtomat uning hujayralari ham guruh elementlari bilan shubhali. Tomonidan ajratilgan guruhlar tomonidan tanishtirildi Gottschalk (1973). Har bir guruh surjunktivmi yoki yo'qmi noma'lum.

Ta'rif

A uyali avtomat hujayralarning muntazam tizimidan iborat bo'lib, ularning har biri cheklangan belgini o'z ichiga oladi alifbo, deb nomlangan yagona qoida bilan birgalikda o'tish funktsiyasi qo'shni hujayralar qiymatlari asosida barcha hujayralarni bir vaqtning o'zida yangilash uchun. Ko'pincha hujayralar chiziq shaklida yoki kattaroq o'lchamda joylashgan butun sonli to‘r, ammo hujayralarning boshqa tartiblari ham mumkin. Hujayralardan talab qilinadigan narsa shundaki, ular har bir hujayraning boshqa hujayralar bilan bir xil ko'rinadigan tuzilishini hosil qilishi: simmetriya har ikkala katakchani boshqa hujayralarga olib boradigan hujayralar joylashuvi va qoidalar to'plami. Matematik jihatdan buni a tushunchasi bilan rasmiylashtirish mumkin guruh, assotsiativ va teskari ikkilik operatsiya bilan birgalikda elementlar to'plami. Guruh elementlari avtomat yacheykalari sifatida ishlatilishi mumkin, bunda guruh ishlashi natijasida hosil bo'lgan nosimmetrikliklar mavjud. Masalan, hujayralarning bir o'lchovli chizig'ini shu tarzda qo'shimchalarning guruhi deb ta'riflash mumkin butun sonlar, va undan yuqori o'lchovli butun sonli kataklarni bepul abeliya guruhlari.

Uyali avtomatning barcha mumkin bo'lgan holatlarini guruh bo'yicha to'plash har bir guruh elementini alfavitdagi belgilaridan biriga moslashtiradigan funktsiyalar sifatida tavsiflanishi mumkin. diskret topologiya va davlatlar to'plamiga quyidagilarni berish mumkin mahsulot topologiyasi (a deb nomlangan prodiscrete topologiyasi chunki u diskret topologiyalarning hosilasi) .Hujayrali avtomatning o'tish funktsiyasi bo'lishi uchun holatlardan holatlarga funktsiya bo'lishi kerak doimiy funktsiya bu topologiya uchun va bo'lishi kerak ekvariant guruh harakati bilan, ya'ni o'tish funktsiyasini qo'llashdan oldin hujayralarni siljitish funktsiyani qo'llash bilan bir xil natijani keltirib chiqaradi va keyin hujayralarni siljitadi. Bunday funktsiyalar uchun Kertis-Xedlund-Lindon teoremasi har bir guruh elementidagi o'tish funktsiyasining qiymati faqat qo'shni elementlarning cheklangan to'plamining oldingi holatiga bog'liqligini ta'minlaydi.

Davlat o'tish funktsiyasi - bu sur'ektiv funktsiya har bir shtat oldingisiga ega bo'lganda (bo'lishi mumkin emas) Adan bog'i ). Bu in'ektsiya funktsiyasi hech bir davlat bir xil vorisga ega bo'lmaganda. Surjunktiv guruh - bu uning elementlari uyali avtomatlarning hujayralari sifatida ishlatilganda, uyali avtomatning har qanday in'ektsion o'tish funktsiyasi ham sur'ektiv xususiyatga ega bo'lgan guruhdir. agar har bir sonli to'plam uchun qo'shimcha bo'lsa , har qanday doimiy ekvariantli in'ektsiya funktsiyasi shuningdek, sur'ektivdir.[1] In'ektsionlikdan surgulyatsiyaga taalluqli shakl Adan bog'i teoremasi va in'ektsiya va sur'ektiv o'tish funktsiyalaridan aniqlangan uyali avtomatlar qaytariladigan.

Misollar

Surjunktiv guruhlarga barcha mahalliy misollar kiradi qoldiq sonli guruhlar,[2] barchasi bepul guruhlar,[2] surjunktiv guruhlarning barcha kichik guruhlari,[3] barcha abeliya guruhlari,[2] barchasi ajoyib guruhlar,[4] va har bir mahalliy surjunktiv guruh.[3]

1973 yilda u surjunktiv guruhlarni joriy qilganida, Gottschalk surjunktiv bo'lmagan guruhlarga ma'lum misollar yo'qligini kuzatdi. 2014 yildan boshlab har bir guruh birlashib ketganligi hali noma'lum.[5]

Shuningdek qarang

Izohlar

  1. ^ Ceccherini-Silberstein & Coornaert (2010) 57-bet
  2. ^ a b v Ceccherini-Silberstein & Coornaert (2010) 60-bet
  3. ^ a b Ceccherini-Silberstein & Coornaert (2010) s.58
  4. ^ Ceccherini-Silberstein & Coornaert (2010) s.276
  5. ^ Sunich (2014).

Adabiyotlar

  • Ceccherini-Silberstein, Tullio; Koornaert, Mishel (2010), "Surjunktiv guruhlar", Uyali avtomatika va guruhlar, Matematikadagi Springer monografiyalari, Berlin, Nyu-York: Springer-Verlag, doi:10.1007/978-3-642-14034-1_3, ISBN  978-3-642-14033-4, JANOB  2683112, Zbl  1218.37004
  • Gottsalk, Uolter (1973), "Ba'zi umumiy dinamik tushunchalar", Topologik dinamikadagi so'nggi yutuqlar (Proc. Conf. Topological Dynamics, Yale Univ., New Haven, Conn., 1972; Gustav Arnold Hedlund sharafiga), Matematikadan ma'ruzalar., 318, Berlin, Nyu-York: Springer-Verlag, 120-125 betlar, doi:10.1007 / BFb0061728, ISBN  978-3-540-06187-8, JANOB  0407821, Zbl  0255.54035
  • Syunich, Zoran (2014), "Uyali avtomatlar va guruhlar, Tullio Checherini-Silberstayn va Mishel Kornaert tomonidan (kitob sharhi)", Amerika Matematik Jamiyati Axborotnomasi, 51 (2): 361–366, doi:10.1090 / S0273-0979-2013-01425-3.