{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/68177"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/68177","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Decision Problems in Restricted Classes of Groups","abstract":"It is known that many decision problems are unsolvable in the class of all finitely presented groups. When the class of groups is restricted, problems previously unsolvable can become solvable. In this work we investigate decision problems for various restricted classes of groups.","abstract_html":"It is known that many decision problems are unsolvable in the class of all finitely presented groups. When the class of groups is restricted, problems previously unsolvable can become solvable. In this work we investigate decision problems for various restricted classes of groups.","abstract_has_math":false,"creators":["Lockhart, Jody Meyer"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-14T13:09:48Z","date_published":"2014-12-14T13:09:48Z","updated_at":"2026-07-22T22:25:58Z","subjects":["Mathematics"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI8108587"],"render_values":[{"text":"(UMI)AAI8108587","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/68177","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Lockhart, Jody Meyer"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-14T13:09:48Z","10000-01-01","1980"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/68177","(UMI)AAI8108587"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["It is known that many decision problems are unsolvable in the class of all finitely presented groups. When the class of groups is restricted, problems previously unsolvable can become solvable. In this work we investigate decision problems for various restricted classes of groups.","We first consider the classes of finitely presented groups for which each group has solvable (lamda)-problem, where (lamda) is conjugacy, order and power. We show that "Markov-type" problems are unsolvable in these classes. We next consider recursively enumerable classes of group presentations (both finite presentations and infinite presentations) that have uniformly solvable word problem. We show that for classes of recursively generated, recursively related presentations of this type most problems are unsolvable. For classes of finite presentations with uniformly solvable word problem, the properties "having solvable order problem", "having solvable power problem", and "being torsion free" are recursively unrecognizable. Finally, we investigate the triviality problem for classes of finite presentations of groups and semigroups with deficiency close to zero. We show that the class of semigroup presentations of deficiency -1 and the class of group presentations of deficiency -11 have unsolvable triviality problem.","Made available in DSpace on 2014-12-14T13:09:48Z (GMT). No. of bitstreams: 1 8108587.pdf: 4348276 bytes, checksum: 4e7d9c974cb1cccf72190a57c96d9757 (MD5) Previous issue date: 1980","Embargo set by: Seth Robbins for item 68355 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","139 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980."]},{"key":"dc:title","label":"Title","values":["Decision Problems in Restricted Classes of Groups"]}]}],"canonical_facts":{"dc:creator":["Lockhart, Jody Meyer"],"dc:date":["2014-12-14T13:09:48Z","10000-01-01","1980"],"dc:description":["It is known that many decision problems are unsolvable in the class of all finitely presented groups. When the class of groups is restricted, problems previously unsolvable can become solvable. In this work we investigate decision problems for various restricted classes of groups.","We first consider the classes of finitely presented groups for which each group has solvable (lamda)-problem, where (lamda) is conjugacy, order and power. We show that "Markov-type" problems are unsolvable in these classes. We next consider recursively enumerable classes of group presentations (both finite presentations and infinite presentations) that have uniformly solvable word problem. We show that for classes of recursively generated, recursively related presentations of this type most problems are unsolvable. For classes of finite presentations with uniformly solvable word problem, the properties "having solvable order problem", "having solvable power problem", and "being torsion free" are recursively unrecognizable. Finally, we investigate the triviality problem for classes of finite presentations of groups and semigroups with deficiency close to zero. We show that the class of semigroup presentations of deficiency -1 and the class of group presentations of deficiency -11 have unsolvable triviality problem.","Made available in DSpace on 2014-12-14T13:09:48Z (GMT). No. of bitstreams: 1 8108587.pdf: 4348276 bytes, checksum: 4e7d9c974cb1cccf72190a57c96d9757 (MD5) Previous issue date: 1980","Embargo set by: Seth Robbins for item 68355 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","139 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980."],"dc:identifier":["http://hdl.handle.net/2142/68177","(UMI)AAI8108587"],"dc:language":["eng"],"dc:subject":["Mathematics"],"dc:title":["Decision Problems in Restricted Classes of Groups"],"dc:type":["text"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:58Z"}