Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Word_problem_for_groups> ?p ?o }
- Word_problem_for_groups abstract "In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic problem of deciding whether two words in the generators represent the same element. More precisely, if A is a finite set of generators for G then the word problem is the membership problem for the formal language of all words in A and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on A to the group G. If B is another finite generating set for G, then the word problem over the generating set B is equivalent to the word problem over the generating set A. Thus one can speak unambiguously of the decidability of the word problem for the finitely generated group G. The related but different uniform word problem for a class K of recursively presented groups is the algorithmic problem of deciding, given as input a presentation P for a group G in the class K and two words in the generators of G, whether the words represent the same element of G. Some authors require the class K to be definable by a recursively enumerable set of presentations.".
- Word_problem_for_groups wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0071&DMDID=DMDLOG_0013&L=1.
- Word_problem_for_groups wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0072&DMDID=DMDLOG_0039&L=1.
- Word_problem_for_groups wikiPageID "33563".
- Word_problem_for_groups wikiPageLength "25671".
- Word_problem_for_groups wikiPageOutDegree "67".
- Word_problem_for_groups wikiPageRevisionID "634206745".
- Word_problem_for_groups wikiPageWikiLink Absolute_presentation_of_a_group.
- Word_problem_for_groups wikiPageWikiLink Abstract_algebra.
- Word_problem_for_groups wikiPageWikiLink Algebraically_closed_group.
- Word_problem_for_groups wikiPageWikiLink Angus_Macintyre.
- Word_problem_for_groups wikiPageWikiLink Automatic_group.
- Word_problem_for_groups wikiPageWikiLink Bernhard_Neumann.
- Word_problem_for_groups wikiPageWikiLink Boone-Higman_theorem.
- Word_problem_for_groups wikiPageWikiLink Braid_group.
- Word_problem_for_groups wikiPageWikiLink Canonical_form.
- Word_problem_for_groups wikiPageWikiLink Category:Articles_containing_proofs.
- Word_problem_for_groups wikiPageWikiLink Category:Articles_with_example_pseudocode.
- Word_problem_for_groups wikiPageWikiLink Category:Combinatorics_on_words.
- Word_problem_for_groups wikiPageWikiLink Category:Group_theory.
- Word_problem_for_groups wikiPageWikiLink Combinatorial_group_theory.
- Word_problem_for_groups wikiPageWikiLink Combinatorics_on_words.
- Word_problem_for_groups wikiPageWikiLink Conjugacy_problem.
- Word_problem_for_groups wikiPageWikiLink Correctness_(computer_science).
- Word_problem_for_groups wikiPageWikiLink Coxeter_group.
- Word_problem_for_groups wikiPageWikiLink Cyclic_group.
- Word_problem_for_groups wikiPageWikiLink Decidability_(logic).
- Word_problem_for_groups wikiPageWikiLink Decision_problem.
- Word_problem_for_groups wikiPageWikiLink Empty_string.
- Word_problem_for_groups wikiPageWikiLink Euclidean_group.
- Word_problem_for_groups wikiPageWikiLink Finite_group.
- Word_problem_for_groups wikiPageWikiLink Finitely_generated_group.
- Word_problem_for_groups wikiPageWikiLink Formal_language.
- Word_problem_for_groups wikiPageWikiLink Free_monoid_with_involution.
- Word_problem_for_groups wikiPageWikiLink Fundamental_group.
- Word_problem_for_groups wikiPageWikiLink Generating_set_of_a_group.
- Word_problem_for_groups wikiPageWikiLink Geometric_finiteness.
- Word_problem_for_groups wikiPageWikiLink Geometrically_finite_group.
- Word_problem_for_groups wikiPageWikiLink Group_isomorphism_problem.
- Word_problem_for_groups wikiPageWikiLink Higman_embedding_theorem.
- Word_problem_for_groups wikiPageWikiLink Higmans_embedding_theorem.
- Word_problem_for_groups wikiPageWikiLink Hyperbolic_group.
- Word_problem_for_groups wikiPageWikiLink Identity_element.
- Word_problem_for_groups wikiPageWikiLink Knuth–Bendix_completion_algorithm.
- Word_problem_for_groups wikiPageWikiLink Kuznetsov.
- Word_problem_for_groups wikiPageWikiLink Literal_string.
- Word_problem_for_groups wikiPageWikiLink Locally_finite_group.
- Word_problem_for_groups wikiPageWikiLink London_Mathematical_Society.
- Word_problem_for_groups wikiPageWikiLink Mathematical_logic.
- Word_problem_for_groups wikiPageWikiLink Mathematics.
- Word_problem_for_groups wikiPageWikiLink Mathematische_Annalen.
- Word_problem_for_groups wikiPageWikiLink Max_Dehn.
- Word_problem_for_groups wikiPageWikiLink Negatively_curved_group.
- Word_problem_for_groups wikiPageWikiLink Nested_stack_automaton.
- Word_problem_for_groups wikiPageWikiLink Normal_form_(abstract_rewriting).
- Word_problem_for_groups wikiPageWikiLink Partial_algorithm.
- Word_problem_for_groups wikiPageWikiLink Polycyclic_group.
- Word_problem_for_groups wikiPageWikiLink Presentation_of_a_group.
- Word_problem_for_groups wikiPageWikiLink Pyotr_Novikov.
- Word_problem_for_groups wikiPageWikiLink Reachability_problem.
- Word_problem_for_groups wikiPageWikiLink Recursively_enumerable.
- Word_problem_for_groups wikiPageWikiLink Recursively_enumerable_set.
- Word_problem_for_groups wikiPageWikiLink Residually_finite.
- Word_problem_for_groups wikiPageWikiLink Residually_finite_group.
- Word_problem_for_groups wikiPageWikiLink Rewriting.
- Word_problem_for_groups wikiPageWikiLink Roger_Lyndon.
- Word_problem_for_groups wikiPageWikiLink SQ-universal_group.
- Word_problem_for_groups wikiPageWikiLink Semigroup_with_involution.
- Word_problem_for_groups wikiPageWikiLink Simple_group.
- Word_problem_for_groups wikiPageWikiLink Small_cancellation_theory.
- Word_problem_for_groups wikiPageWikiLink Springer-Verlag.
- Word_problem_for_groups wikiPageWikiLink Springer_Science+Business_Media.
- Word_problem_for_groups wikiPageWikiLink String_literal.
- Word_problem_for_groups wikiPageWikiLink Theory_of_algorithms.
- Word_problem_for_groups wikiPageWikiLink Theory_of_computation.
- Word_problem_for_groups wikiPageWikiLink Todd–Coxeter_algorithm.
- Word_problem_for_groups wikiPageWikiLink Torus.
- Word_problem_for_groups wikiPageWikiLink Undecidable_problem.
- Word_problem_for_groups wikiPageWikiLink William_Boone_(mathematician).
- Word_problem_for_groups wikiPageWikiLink Word_problem_(mathematics).
- Word_problem_for_groups wikiPageWikiLinkText "Word Problem".
- Word_problem_for_groups wikiPageWikiLinkText "Word problem for groups".
- Word_problem_for_groups wikiPageWikiLinkText "Word problem".
- Word_problem_for_groups wikiPageWikiLinkText "many groups for which the word problem".
- Word_problem_for_groups wikiPageWikiLinkText "solvable word problem".
- Word_problem_for_groups wikiPageWikiLinkText "word problem for groups".
- Word_problem_for_groups wikiPageWikiLinkText "word problem".
- Word_problem_for_groups wikiPageWikiLinkText "word".
- Word_problem_for_groups hasPhotoCollection Word_problem_for_groups.
- Word_problem_for_groups id "8301".
- Word_problem_for_groups title "Word problem".
- Word_problem_for_groups wikiPageUsesTemplate Template:Citation.
- Word_problem_for_groups wikiPageUsesTemplate Template:Harv.
- Word_problem_for_groups wikiPageUsesTemplate Template:Planetmath_reference.
- Word_problem_for_groups subject Category:Articles_containing_proofs.
- Word_problem_for_groups subject Category:Articles_with_example_pseudocode.
- Word_problem_for_groups subject Category:Combinatorics_on_words.
- Word_problem_for_groups subject Category:Group_theory.
- Word_problem_for_groups hypernym Problem.
- Word_problem_for_groups type Article.