WikiDer > Топтық изоморфизм мәселесі

Group isomorphism problem

Жылы абстрактілі алгебра, топтық изоморфизм мәселесі болып табылады шешім мәселесі екеуінің берілгендігін анықтау ақырғы топтық презентациялар қазіргі изоморфты топтар.

Изоморфизм мәселесі анықталды Макс Дехн 1911 жылы[1] топтық теориядағы үш негізгі шешімдердің бірі ретінде; қалған екеуі сөз мәселесі және конъюгация проблемасы. Үш проблема да бар шешілмейтін: изоморфизм мәселесінің немесе басқа екі есептің кез-келген данасын дұрыс шешетін компьютер алгоритмі жоқ, алгоритмнің жұмысына қанша уақыт берілгеніне қарамастан. Шындығында, топтың тривиалды екендігі туралы мәселені шешуге болмайды,[2] салдары Адиан-Рабин теоремасы байланысты Сергей Адиан және Майкл О. Рабин.

Әдебиеттер тізімі

  1. ^ Дехн 1911.
  2. ^ Миллер, Чарльз (1992). «Топтар үшін шешім қабылдау проблемалары - сауалнама және рефлексия.» (PDF). Комбинаторлық топ теориясындағы алгоритмдер мен классификация. Комбинаторлық топ теориясындағы алгоритмдер мен классификация (Беркли, Калифорния, 1989). Қорытынды 3.4: Шпрингер. 1-59 бет.CS1 maint: орналасқан жері (сілтеме)