Grup izomorfizmi problemi - Group isomorphism problem
Gelen soyut cebir , grup izomorfizm sorunu olan karar problemi verilen iki olup olmadığının saptanması sonlu grup sunumları mevcut izomorfik grupları .
İzomorfizm problemi Max Dehn tarafından 1911'de grup teorisindeki üç temel karar probleminden biri olarak tanımlandı ; diğer ikisi kelime problemi ve eşlenik problemdir . Her üç problem de karar verilemez : Algoritmanın çalışması için ne kadar zamana izin verildiğine bakılmaksızın, izomorfizm probleminin veya diğer iki problemin her örneğini doğru bir şekilde çözen bir bilgisayar algoritması yoktur. Aslında, bir grubun önemsiz olup olmadığına karar verme sorunu, Sergei Adian ve Michael O. Rabin'den kaynaklanan Adian-Rabin teoreminin bir sonucu olarak karar verilemez .
Referanslar
- Magnus, Wilhelm ; Abraham Karrass; Donald Solitar (1976). Kombinatoryal grup teorisi. Üreticiler ve ilişkiler açısından grupların sunumları . Dover Yayınları . s. 24. ISBN'si 0-486-63281-4.
- Johnson, DL (1990). Grupların sunumları . Cambridge Üniversitesi Yayınları . s. 49. ISBN 0-521-37203-8.
- Dehn, Maks (1911). "Über unendliche diskontinuierliche Gruppen". Matematik. Anne. 71 : 116-144. doi : 10.1007/BF01456932 .
 |
Cebir ile ilgili bu soyut madde bir taslaktır . Vikipedi'yi genişleterek yardımcı olabilirsiniz . |
