WikiDer > Guruh izomorfizmi muammosi

Group isomorphism problem

Yilda mavhum algebra, guruh izomorfizmi muammosi bo'ladi qaror muammosi ikkitasi berilganligini aniqlash cheklangan guruh taqdimotlari hozirgi izomorfik guruhlar.

Izomorfizm muammosi tomonidan aniqlandi Maks Dehn 1911 yilda[1] guruh nazariyasidagi uchta asosiy qaror muammolaridan biri sifatida; qolgan ikkitasi so'z muammosi va konjugatsiya muammosi. Uchala muammo ham hal qilib bo'lmaydigan: izomorfizm muammosining yoki boshqa ikkita muammoning har bir nusxasini to'g'ri echadigan kompyuter algoritmi mavjud emas, algoritm ishlashiga qancha vaqt ajratilganligidan qat'iy nazar. Aslida guruhning ahamiyatsizligini hal qilish muammosi hal qilinmaydi,[2] ning natijasi Adian-Rabin teoremasi sababli Sergey Adian va Maykl O. Rabin.

Adabiyotlar

  1. ^ Dehn 1911 yil.
  2. ^ Miller, Charlz (1992). "Guruhlar uchun qaror qabul qilish muammolari - so'rovnoma va mulohazalar." (PDF). Kombinatorial guruh nazariyasidagi algoritmlar va tasnif. Kombinatorial guruh nazariyasidagi algoritmlar va tasnif (Berkli, CA, 1989). Xulosa 3.4: Springer. 1-59 betlar.CS1 tarmog'i: joylashuvi (havola)