Two results on complexities of decision problems of groups
We answer two questions on the complexities of decision problems of groups, each related to a classical result. First, C. Miller characterized the complexity of the isomorphism problem for finitely presented groups in 1971. We do the same for the isomorphism problem for recursively presented groups....
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Andrews, Uri Harrison-Trainor, Matthew Ho, Meng-Che "Turbo" |
| description | We answer two questions on the complexities of decision problems of groups,
each related to a classical result. First, C. Miller characterized the
complexity of the isomorphism problem for finitely presented groups in 1971. We
do the same for the isomorphism problem for recursively presented groups.
Second, the fact that every Turing degree appears as the degree of the word
problem of a finitely presented group is shown independently by multiple people
in the 1960s. We answer the analogous question for degrees of ceers instead of
Turing degrees. We show that the set of ceers which are computably equivalent
to a finitely presented group is $\Sigma^0_3$-complete, which is the maximal
possible complexity. |
| doi_str_mv | 10.48550/arxiv.2403.02492 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2403_02492</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2403_02492</sourcerecordid><originalsourceid>FETCH-LOGICAL-a672-c7f66b9498852da34404bc191e94ef9d1641fbae18605a8379b2c2cca01f965f3</originalsourceid><addsrcrecordid>eNotj8tqwzAURLXJoiT9gK7qH7Crx5UsZRdC-oBAN94bSb4qArsyUtKkf9_U7WqYGRjmEPLAaANaSvpk8zV-NRyoaCgHw-_ItrukKmM5j6dSpc_Kp2ke8RpPEW8-VAP6WOKtmHNyI05L-JHTeS4bsgp2LHj_r2vSPR-6_Wt9fH952--OtVUtr30blHIGjNaSD1YAUHCeGYYGMJiBKWDBWWRaUWm1aI3jnntvKQtGySDW5PFvdjnfzzlONn_3vxD9AiF-AGq6QdA</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Two results on complexities of decision problems of groups</title><source>arXiv.org</source><creator>Andrews, Uri ; Harrison-Trainor, Matthew ; Ho, Meng-Che "Turbo"</creator><creatorcontrib>Andrews, Uri ; Harrison-Trainor, Matthew ; Ho, Meng-Che "Turbo"</creatorcontrib><description>We answer two questions on the complexities of decision problems of groups,
each related to a classical result. First, C. Miller characterized the
complexity of the isomorphism problem for finitely presented groups in 1971. We
do the same for the isomorphism problem for recursively presented groups.
Second, the fact that every Turing degree appears as the degree of the word
problem of a finitely presented group is shown independently by multiple people
in the 1960s. We answer the analogous question for degrees of ceers instead of
Turing degrees. We show that the set of ceers which are computably equivalent
to a finitely presented group is $\Sigma^0_3$-complete, which is the maximal
possible complexity.</description><identifier>DOI: 10.48550/arxiv.2403.02492</identifier><language>eng</language><subject>Mathematics - Group Theory ; Mathematics - Logic</subject><creationdate>2024-03</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2403.02492$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2403.02492$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Andrews, Uri</creatorcontrib><creatorcontrib>Harrison-Trainor, Matthew</creatorcontrib><creatorcontrib>Ho, Meng-Che "Turbo"</creatorcontrib><title>Two results on complexities of decision problems of groups</title><description>We answer two questions on the complexities of decision problems of groups,
each related to a classical result. First, C. Miller characterized the
complexity of the isomorphism problem for finitely presented groups in 1971. We
do the same for the isomorphism problem for recursively presented groups.
Second, the fact that every Turing degree appears as the degree of the word
problem of a finitely presented group is shown independently by multiple people
in the 1960s. We answer the analogous question for degrees of ceers instead of
Turing degrees. We show that the set of ceers which are computably equivalent
to a finitely presented group is $\Sigma^0_3$-complete, which is the maximal
possible complexity.</description><subject>Mathematics - Group Theory</subject><subject>Mathematics - Logic</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotj8tqwzAURLXJoiT9gK7qH7Crx5UsZRdC-oBAN94bSb4qArsyUtKkf9_U7WqYGRjmEPLAaANaSvpk8zV-NRyoaCgHw-_ItrukKmM5j6dSpc_Kp2ke8RpPEW8-VAP6WOKtmHNyI05L-JHTeS4bsgp2LHj_r2vSPR-6_Wt9fH952--OtVUtr30blHIGjNaSD1YAUHCeGYYGMJiBKWDBWWRaUWm1aI3jnntvKQtGySDW5PFvdjnfzzlONn_3vxD9AiF-AGq6QdA</recordid><startdate>20240304</startdate><enddate>20240304</enddate><creator>Andrews, Uri</creator><creator>Harrison-Trainor, Matthew</creator><creator>Ho, Meng-Che "Turbo"</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20240304</creationdate><title>Two results on complexities of decision problems of groups</title><author>Andrews, Uri ; Harrison-Trainor, Matthew ; Ho, Meng-Che "Turbo"</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a672-c7f66b9498852da34404bc191e94ef9d1641fbae18605a8379b2c2cca01f965f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Mathematics - Group Theory</topic><topic>Mathematics - Logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Andrews, Uri</creatorcontrib><creatorcontrib>Harrison-Trainor, Matthew</creatorcontrib><creatorcontrib>Ho, Meng-Che "Turbo"</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Andrews, Uri</au><au>Harrison-Trainor, Matthew</au><au>Ho, Meng-Che "Turbo"</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Two results on complexities of decision problems of groups</atitle><date>2024-03-04</date><risdate>2024</risdate><abstract>We answer two questions on the complexities of decision problems of groups,
each related to a classical result. First, C. Miller characterized the
complexity of the isomorphism problem for finitely presented groups in 1971. We
do the same for the isomorphism problem for recursively presented groups.
Second, the fact that every Turing degree appears as the degree of the word
problem of a finitely presented group is shown independently by multiple people
in the 1960s. We answer the analogous question for degrees of ceers instead of
Turing degrees. We show that the set of ceers which are computably equivalent
to a finitely presented group is $\Sigma^0_3$-complete, which is the maximal
possible complexity.</abstract><doi>10.48550/arxiv.2403.02492</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2403.02492 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2403_02492 |
| source | arXiv.org |
| subjects | Mathematics - Group Theory Mathematics - Logic |
| title | Two results on complexities of decision problems of groups |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T11%3A51%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Two%20results%20on%20complexities%20of%20decision%20problems%20of%20groups&rft.au=Andrews,%20Uri&rft.date=2024-03-04&rft_id=info:doi/10.48550/arxiv.2403.02492&rft_dat=%3Carxiv_GOX%3E2403_02492%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |