| dbo:abstract
|
- في الجبر التجريدي, تكون مشكلة تماثل المجموعة من تحديد ما إذا كانت أثنين من تقدم مجموعات تماثلية. قدد حددت مشكلة التماثل من قبل ماكس ديهن في 1911 كواحد من ثلاثة المشاكل الأساسية في نظرية المجموعات; و المشكلتين الأخرى هس و conjugacy problem. كل هذه المشاكل الثلاثة غير قابلة للقرار حيث لا يوجد خوارزمية حاسوبية يمكن أن تحل بشكل صحيح كل مشاكل التمثال، أو المشكلتين الأخرتين، مع غض النظر عن مقدار الزمن التي تسمح للخوارزم بأن تعمل. (ar)
- In abstract algebra, the group isomorphism problem is the decision problem of determining whether two given finite group presentations refer to isomorphic groups. The isomorphism problem was formulated by Max Dehn, and together with the word problem and conjugacy problem, is one of three fundamental decision problems in group theory he identified in 1911. All three problems are undecidable: there does not exist a computer algorithm that correctly solves every instance of the isomorphism problem, or of the other two problems, regardless of how much time is allowed for the algorithm to run. In fact the problem of deciding whether a group is trivial is undecidable, a consequence of the Adian–Rabin theorem due to Sergei Adian and Michael O. Rabin. (en)
- En álgebra abstracta, el problema de isomorfismo de grupo es el problema de decisión de determinar si dadas dos presentaciones de los grupos finitos presentan isomorfismo de grupos. El problema de isomorfismo fue identificado por Max Dehn en 1911 como uno de los tres problemas de decisión fundamentales en la teoría de grupos; Los otros dos son el problema de palabra para grupos y el problema de la conjugación. Los tres problemas son insolubles: no existe un algoritmo informático que resuelva correctamente todas las instancias del problema de isomorfismo o de los otros dos problemas, independientemente del tiempo que se demore para que se ejecute el algoritmo. De hecho, el problema de decidir si un grupo es trivial es insoluble, una consecuencia del teorema de Adian-Rabin se debe a Sergei Adian (1955) e independientemente, Michael O. Rabin (1958). (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2836 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- في الجبر التجريدي, تكون مشكلة تماثل المجموعة من تحديد ما إذا كانت أثنين من تقدم مجموعات تماثلية. قدد حددت مشكلة التماثل من قبل ماكس ديهن في 1911 كواحد من ثلاثة المشاكل الأساسية في نظرية المجموعات; و المشكلتين الأخرى هس و conjugacy problem. كل هذه المشاكل الثلاثة غير قابلة للقرار حيث لا يوجد خوارزمية حاسوبية يمكن أن تحل بشكل صحيح كل مشاكل التمثال، أو المشكلتين الأخرتين، مع غض النظر عن مقدار الزمن التي تسمح للخوارزم بأن تعمل. (ar)
- In abstract algebra, the group isomorphism problem is the decision problem of determining whether two given finite group presentations refer to isomorphic groups. The isomorphism problem was formulated by Max Dehn, and together with the word problem and conjugacy problem, is one of three fundamental decision problems in group theory he identified in 1911. All three problems are undecidable: there does not exist a computer algorithm that correctly solves every instance of the isomorphism problem, or of the other two problems, regardless of how much time is allowed for the algorithm to run. In fact the problem of deciding whether a group is trivial is undecidable, a consequence of the Adian–Rabin theorem due to Sergei Adian and Michael O. Rabin. (en)
- En álgebra abstracta, el problema de isomorfismo de grupo es el problema de decisión de determinar si dadas dos presentaciones de los grupos finitos presentan isomorfismo de grupos. El problema de isomorfismo fue identificado por Max Dehn en 1911 como uno de los tres problemas de decisión fundamentales en la teoría de grupos; Los otros dos son el problema de palabra para grupos y el problema de la conjugación. Los tres problemas son insolubles: no existe un algoritmo informático que resuelva correctamente todas las instancias del problema de isomorfismo o de los otros dos problemas, independientemente del tiempo que se demore para que se ejecute el algoritmo. De hecho, el problema de decidir si un grupo es trivial es insoluble, una consecuencia del teorema de Adian-Rabin se debe a Sergei (es)
|
| rdfs:label
|
- معضلة تساوي شكل زمرة (ar)
- Problema del isomorfismo de grupos (es)
- Group isomorphism problem (en)
|
| owl:differentFrom
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |