{"id":"https://openalex.org/W2080781504","doi":"https://doi.org/10.1142/s0218196708004676","title":"GROUPS WHOSE GEODESICS ARE LOCALLY TESTABLE","display_name":"GROUPS WHOSE GEODESICS ARE LOCALLY TESTABLE","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2080781504","doi":"https://doi.org/10.1142/s0218196708004676","mag":"2080781504"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196708004676","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196708004676","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062197127","display_name":"Susan Hermiller","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"SUSAN HERMILLER","raw_affiliation_strings":["Department of Mathematics, University of Nebraska, Lincoln NE 68588-0130, USA","Department of Mathematics , University of Nebraska , Lincoln , NE 68588-0130 , USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Nebraska, Lincoln NE 68588-0130, USA","institution_ids":["https://openalex.org/I114395901"]},{"raw_affiliation_string":"Department of Mathematics , University of Nebraska , Lincoln , NE 68588-0130 , USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112368680","display_name":"Derek F. Holt","orcid":null},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"DEREK F. HOLT","raw_affiliation_strings":["Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK","Mathematics Institute, University of Warwick, Coventry, CV4 7AL, UK"],"affiliations":[{"raw_affiliation_string":"Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK","institution_ids":["https://openalex.org/I39555362"]},{"raw_affiliation_string":"Mathematics Institute, University of Warwick, Coventry, CV4 7AL, UK","institution_ids":["https://openalex.org/I39555362"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077266441","display_name":"Sarah Rees","orcid":"https://orcid.org/0000-0003-4985-7614"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"SARAH REES","raw_affiliation_strings":["School of Mathematics and Statistics, University of Newcastle, Newcastle NE1 7RU, UK"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, University of Newcastle, Newcastle NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062197127"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":null,"apc_paid":null,"fwci":0.9088,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.73647712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"05","first_page":"911","last_page":"923"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8637496829032898},{"id":"https://openalex.org/keywords/generating-set-of-a-group","display_name":"Generating set of a group","score":0.7609522938728333},{"id":"https://openalex.org/keywords/geodesic","display_name":"Geodesic","score":0.7474928498268127},{"id":"https://openalex.org/keywords/conjugacy-class","display_name":"Conjugacy class","score":0.6398224234580994},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.5996886491775513},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.4586929678916931},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4579658806324005},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4556477665901184},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4277319014072418},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4274352490901947},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4194222092628479},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.4181545674800873},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3853868842124939},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18052542209625244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.07739472389221191}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8637496829032898},{"id":"https://openalex.org/C18116961","wikidata":"https://www.wikidata.org/wiki/Q734209","display_name":"Generating set of a group","level":2,"score":0.7609522938728333},{"id":"https://openalex.org/C165818556","wikidata":"https://www.wikidata.org/wiki/Q213488","display_name":"Geodesic","level":2,"score":0.7474928498268127},{"id":"https://openalex.org/C87945829","wikidata":"https://www.wikidata.org/wiki/Q1353233","display_name":"Conjugacy class","level":2,"score":0.6398224234580994},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.5996886491775513},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.4586929678916931},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4579658806324005},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4556477665901184},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4277319014072418},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4274352490901947},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4194222092628479},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.4181545674800873},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3853868842124939},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18052542209625244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07739472389221191},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1142/s0218196708004676","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196708004676","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.108.8598","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.unl.edu/~shermiller2/webppr/locallytestablegeodesic.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.298.3126","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3126","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.unl.edu/~shermiller2/webppr/locallytestablegeodesic.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.492.1942","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.492.1942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.warwick.ac.uk/~mareg/download/papers/loctest/loctest.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.743.3012","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.743.3012","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1111.0775.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.80.5836","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.5836","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.unl.edu/~smh/webppr/locallytestablegeodesic.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W567605243","https://openalex.org/W1533648993","https://openalex.org/W1538240903","https://openalex.org/W1541824250","https://openalex.org/W1545078593","https://openalex.org/W1992028397","https://openalex.org/W1997358966","https://openalex.org/W2002917884","https://openalex.org/W2015523519","https://openalex.org/W2045449896","https://openalex.org/W2053031719","https://openalex.org/W2070751422","https://openalex.org/W2080150508","https://openalex.org/W2081443805","https://openalex.org/W2296095876","https://openalex.org/W3104860897","https://openalex.org/W4205325251","https://openalex.org/W4230493200"],"related_works":["https://openalex.org/W1968193997","https://openalex.org/W4300193422","https://openalex.org/W2788187281","https://openalex.org/W4299840431","https://openalex.org/W2889933596","https://openalex.org/W2936871543","https://openalex.org/W2964204832","https://openalex.org/W4309434282","https://openalex.org/W2089148617","https://openalex.org/W2798603509"],"abstract_inverted_index":{"A":[0],"regular":[1],"set":[2,15,38,48,135],"of":[3,10,21,24,39,80,104,112,136,139,159],"words":[4,42],"is":[5,16,49,64,72,84,146],"(k-)locally":[6,50,57,81],"testable":[7,66,82,97],"if":[8,67,70],"membership":[9],"a":[11,62,95,126,140,150,156],"word":[12],"in":[13,122],"the":[14,19,37,78,134],"determined":[17],"by":[18],"nature":[20],"its":[22],"subwords":[23],"some":[25,46],"bounded":[26],"length":[27],"k.":[28],"In":[29],"this":[30,144],"article":[31],"we":[32,53,118],"study":[33],"groups":[34,56,83],"for":[35,115],"which":[36,116],"all":[40,137],"geodesic":[41],"with":[43,130],"respect":[44],"to":[45,124,133],"generating":[47],"testable,":[51],"and":[52,68],"call":[54],"such":[55],"testable.":[58],"We":[59,75,91,154],"show":[60,76,92],"that":[61,77,94,143,160],"group":[63,98,141],"1-locally":[65],"only":[69],"it":[71],"free":[73],"abelian.":[74],"class":[79],"closed":[85],"under":[86],"taking":[87],"finite":[88,127],"direct":[89],"products.":[90],"also":[93],"locally":[96],"has":[99],"finitely":[100],"many":[101],"conjugacy":[102],"classes":[103],"torsion":[105],"elements.":[106],"Our":[107],"work":[108],"involved":[109],"computer":[110],"investigations":[111],"specific":[113],"groups,":[114],"purpose":[117],"implemented":[119],"an":[120],"algorithm":[121],"GAP":[123],"compute":[125],"state":[128],"automaton":[129],"language":[131,145],"equal":[132],"geodesics":[138],"(assuming":[142],"regular),":[147],"starting":[148],"from":[149],"shortlex":[151],"automatic":[152],"structure.":[153],"provide":[155],"brief":[157],"description":[158],"algorithm.":[161]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}