HTML Microdata document

This HTML5 document contains 64 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n18	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ar	http://ar.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:Isomorphism_problem
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem
dbo:wikiPageDisambiguates: dbr:Group_isomorphism_problem

Subject Item: dbr:Max_Dehn
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Eliyahu_Rips
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Conjugacy_problem
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Heinrich_Franz_Friedrich_Tietze
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Absolute_presentation_of_a_group
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Word_problem_for_groups
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Group_isomorphism
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Group_isomorphism_problem
rdf:type: owl:Thing dbo:Disease
rdfs:label: Group isomorphism problem معضلة تساوي شكل زمرة Problema del isomorfismo de grupos
rdfs:comment: في الجبر التجريدي, تكون مشكلة تماثل المجموعة من تحديد ما إذا كانت أثنين من تقدم مجموعات تماثلية. قدد حددت مشكلة التماثل من قبل ماكس ديهن في 1911 كواحد من ثلاثة المشاكل الأساسية في نظرية المجموعات; و المشكلتين الأخرى هس و conjugacy problem. كل هذه المشاكل الثلاثة غير قابلة للقرار حيث لا يوجد خوارزمية حاسوبية يمكن أن تحل بشكل صحيح كل مشاكل التمثال، أو المشكلتين الأخرتين، مع غض النظر عن مقدار الزمن التي تسمح للخوارزم بأن تعمل. 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 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.
owl:differentFrom: dbr:Graph_isomorphism_problem
dct:subject: dbc:Undecidable_problems dbc:Group_theory
dbo:wikiPageID: 18054026
dbo:wikiPageRevisionID: 1120067813
dbo:wikiPageWikiLink: dbr:Presentation_of_a_group dbr:Adian–Rabin_theorem dbr:Michael_O._Rabin dbr:Word_problem_for_groups dbr:Decision_problem dbc:Group_theory dbr:Group_(mathematics) dbc:Undecidable_problems dbr:Isomorphism dbr:Sergei_Adian dbr:Conjugacy_problem dbr:Abstract_algebra dbr:Cambridge_University_Press dbr:Max_Dehn dbr:Decidability_(logic)
owl:sameAs: wikidata:Q5611242 freebase:m.047nf8q dbpedia-es:Problema_del_isomorfismo_de_grupos dbpedia-ar:معضلة_تساوي_شكل_زمرة n18:4kbXy
dbp:wikiPageUsesTemplate: dbt:Reflist dbt:Short_description dbt:Abstract-algebra-stub dbt:Cite_book dbt:Confused
dbo:abstract: 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 á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). في الجبر التجريدي, تكون مشكلة تماثل المجموعة من تحديد ما إذا كانت أثنين من تقدم مجموعات تماثلية. قدد حددت مشكلة التماثل من قبل ماكس ديهن في 1911 كواحد من ثلاثة المشاكل الأساسية في نظرية المجموعات; و المشكلتين الأخرى هس و conjugacy problem. كل هذه المشاكل الثلاثة غير قابلة للقرار حيث لا يوجد خوارزمية حاسوبية يمكن أن تحل بشكل صحيح كل مشاكل التمثال، أو المشكلتين الأخرتين، مع غض النظر عن مقدار الزمن التي تسمح للخوارزم بأن تعمل.
gold:hypernym: dbr:Problem
prov:wasDerivedFrom: wikipedia-en:Group_isomorphism_problem?oldid=1120067813&ns=0
dbo:wikiPageLength: 2836
foaf:isPrimaryTopicOf: wikipedia-en:Group_isomorphism_problem

Subject Item: dbr:Group_theory
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:One-relator_group
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Word_problem_(mathematics)
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Zlil_Sela
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:List_of_undecidable_problems
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:NP-intermediate
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Muller–Schupp_theorem
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem

Subject Item: dbr:Isomorphism_problem_for_groups
dbo:wikiPageWikiLink: dbr:Group_isomorphism_problem
dbo:wikiPageRedirects: dbr:Group_isomorphism_problem

Subject Item: wikipedia-en:Group_isomorphism_problem
foaf:primaryTopic: dbr:Group_isomorphism_problem