{"id":"https://openalex.org/W7214964456","doi":"https://doi.org/10.48550/arxiv.2609.37237","title":"Redundant generation in $\\operatorname{PSL}_2\\left(\\mathbb{Q}_p\\right)$","display_name":"Redundant generation in $\\operatorname{PSL}_2\\left(\\mathbb{Q}_p\\right)$","publication_year":2026,"publication_date":"2026-09-29","ids":{"openalex":"https://openalex.org/W7214964456","doi":"https://doi.org/10.48550/arxiv.2609.37237"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.37237","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37237","pdf_url":"https://arxiv.org/pdf/2609.37237","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.37237","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038430425","display_name":"Yair Glasner","orcid":"https://orcid.org/0000-0002-6231-3817","observed_orcids":["https://orcid.org/0000-0002-6231-3817"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Glasner, Yair","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5153682181","display_name":"Amit Levinson-Sela","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Levinson-Sela, Amit","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9369999766349792,"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.9369999766349792,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.04309999942779541,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T10849","display_name":"Finite Group Theory Research","score":0.008200000040233135,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/free-groups","display_name":"free groups","score":0.7450000047683716},{"id":"https://openalex.org/keywords/automorphism-groups-of-free-groups","display_name":"automorphisms of free groups","score":0.6759999990463257},{"id":"https://openalex.org/keywords/epimorphisms","display_name":"epimorphisms","score":0.6690000295639038},{"id":"https://openalex.org/keywords/free-factors","display_name":"free factors","score":0.7179999947547913},{"id":"https://openalex.org/keywords/torsion-free-groups","display_name":"torsion-free groups","score":0.7269999980926514},{"id":"https://openalex.org/keywords/p-adic-groups","display_name":"p-adic groups","score":0.6330000162124634}],"concepts":[{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.6629999876022339},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5367000102996826},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5297999978065491},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5145000219345093},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49149999022483826},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39660000801086426},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3885999917984009},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.34060001373291016},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C9417928","wikidata":"https://www.wikidata.org/wiki/Q1070689","display_name":"Image processing","level":3,"score":0.3230000138282776},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3122999966144562},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.274399995803833},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.37237","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37237","pdf_url":"https://arxiv.org/pdf/2609.37237","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.37237","doi":"https://doi.org/10.48550/arxiv.2609.37237","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.37237","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.37237","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37237","pdf_url":"https://arxiv.org/pdf/2609.37237","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214964456.pdf","grobid_xml":"https://content.openalex.org/works/W7214964456.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W4293575422","https://openalex.org/W7134896889"],"related_works":["https://openalex.org/W3102415177","https://openalex.org/W185600298","https://openalex.org/W2040518823","https://openalex.org/W4394693645","https://openalex.org/W2126092492","https://openalex.org/W2010810981","https://openalex.org/W2561239249","https://openalex.org/W2745041971","https://openalex.org/W3032291185","https://openalex.org/W2324539706"],"abstract_inverted_index":{"Given":[0],"a":[1,9,35],"free":[2,37],"group":[3,11],"on":[4,15],"$n$":[5],"generators,":[6],"$F_n$,":[7],"and":[8,69],"topological":[10],"$G$,":[12],"$\\operatorname{Aut}\\left(F_n\\right)$":[13],"acts":[14],"$\\operatorname{Epi}\\left(F_n,G\\right)$,":[16],"the":[17],"set":[18],"of":[19],"homomorphisms":[20],"$f:F_n":[21],"\\rightarrow":[22],"G$":[23],"with":[24,64],"dense":[25,47],"image.":[26],"$f\\in":[27,62],"\\operatorname{Epi}\\left(F_n,G\\right)$":[28,63],"is":[29,34,46,67,82],"called":[30],"redundant":[31,77],"if":[32],"there":[33],"proper":[36],"factor":[38],"$A":[39],"<":[40],"F_n$":[41],"whose":[42],"image":[43,66,81],"under":[44],"$f$":[45,74],"in":[48],"$G$.":[49],"For":[50],"$n":[51],"\\ge":[52],"3$,":[53],"$G":[54],"=":[55],"\\operatorname{PSL}_2":[56],"\\left(\\mathbb{Q}_p\\right)$,":[57],"we":[58],"prove":[59],"that":[60],"every":[61],"torsion-free":[65],"redundant,":[68],"give":[70],"sufficient":[71],"conditions":[72],"for":[73],"to":[75],"be":[76],"even":[78],"when":[79],"its":[80],"not":[83],"torsion-free.":[84]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-01T00:00:00"}