{"id":"https://openalex.org/W7166345941","doi":"https://doi.org/10.5281/zenodo.20946344","title":"The Inverse Galois Problem Through Migration Groupoids: A New Proof of the Finite-Quotient Equivalence and the Irrelevance of External Symmetry","display_name":"The Inverse Galois Problem Through Migration Groupoids: A New Proof of the Finite-Quotient Equivalence and the Irrelevance of External Symmetry","publication_year":2026,"publication_date":"2026-06-27","ids":{"openalex":"https://openalex.org/W7166345941","doi":"https://doi.org/10.5281/zenodo.20946344"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.20946344","doi":"https://doi.org/10.5281/zenodo.20946344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20946344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.20946344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139971099","display_name":"Jianming Wang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wang, Jianming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5139971099"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.8877000212669373,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.8877000212669373,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.08479999750852585,"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/T10849","display_name":"Finite Group Theory Research","score":0.004600000102072954,"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/inverse-galois-problem","display_name":"inverse Galois problem","score":0.9980000257492065},{"id":"https://openalex.org/keywords/finite-quotients","display_name":"finite quotients","score":0.671999990940094},{"id":"https://openalex.org/keywords/forgetful-functor","display_name":"forgetful functor","score":0.9459999799728394},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"conservative extension","score":0.7300000190734863},{"id":"https://openalex.org/keywords/galois-correspondence","display_name":"Galois correspondence","score":0.7110000252723694},{"id":"https://openalex.org/keywords/hilbert-s-irreducibility-theorem","display_name":"Hilbert's irreducibility theorem","score":0.8970000147819519},{"id":"https://openalex.org/keywords/category-theory","display_name":"category theory","score":0.42800000309944153}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8651000261306763},{"id":"https://openalex.org/C35435516","wikidata":"https://www.wikidata.org/wiki/Q5370016","display_name":"Embedding problem","level":3,"score":0.7473999857902527},{"id":"https://openalex.org/C26204071","wikidata":"https://www.wikidata.org/wiki/Q2020004","display_name":"Galois extension","level":3,"score":0.6625999808311462},{"id":"https://openalex.org/C67536143","wikidata":"https://www.wikidata.org/wiki/Q730384","display_name":"Galois group","level":2,"score":0.6506999731063843},{"id":"https://openalex.org/C182349385","wikidata":"https://www.wikidata.org/wiki/Q382839","display_name":"Galois cohomology","level":3,"score":0.5199000239372253},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5113000273704529},{"id":"https://openalex.org/C78562435","wikidata":"https://www.wikidata.org/wiki/Q766522","display_name":"Fundamental theorem of Galois theory","level":4,"score":0.49399998784065247},{"id":"https://openalex.org/C197968787","wikidata":"https://www.wikidata.org/wiki/Q2383624","display_name":"Differential Galois theory","level":4,"score":0.474700003862381},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4733000099658966},{"id":"https://openalex.org/C145899342","wikidata":"https://www.wikidata.org/wiki/Q3427418","display_name":"Galois module","level":2,"score":0.46380001306533813},{"id":"https://openalex.org/C94398972","wikidata":"https://www.wikidata.org/wiki/Q92552","display_name":"Galois theory","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4359999895095825},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.385699987411499},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.37790000438690186},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.3589000105857849},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C196267783","wikidata":"https://www.wikidata.org/wiki/Q4392490","display_name":"Resolvent","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C123450019","wikidata":"https://www.wikidata.org/wiki/Q5532677","display_name":"Generic polynomial","level":5,"score":0.33079999685287476},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C14735163","wikidata":"https://www.wikidata.org/wiki/Q1428923","display_name":"Profinite group","level":3,"score":0.32330000400543213},{"id":"https://openalex.org/C205567592","wikidata":"https://www.wikidata.org/wiki/Q3527199","display_name":"Normal basis","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C57637645","wikidata":"https://www.wikidata.org/wiki/Q318705","display_name":"Abelian extension","level":3,"score":0.2806999981403351},{"id":"https://openalex.org/C81651864","wikidata":"https://www.wikidata.org/wiki/Q874429","display_name":"Group theory","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.2565999925136566}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.20946344","doi":"https://doi.org/10.5281/zenodo.20946344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20946344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.20946345","doi":"https://doi.org/10.5281/zenodo.20946345","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20946345","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.20946344","doi":"https://doi.org/10.5281/zenodo.20946344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20946344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/10","score":0.8101231455802917,"display_name":"Reduced inequalities"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1,91,206,229,285],"inverse":[2,153,180,226,250,305,310],"Galois":[3,20,42,62,140,154,181,196,227,251,306,311,328],"problem":[4,252],"over":[5],"Qis":[6],"classically":[7],"equivalent":[8],"to":[9,45,178,224,303],"a":[10,19,23,35,40,74,100,119,260,264],"finite-quotient":[11,147,207,255],"formulation:":[12],"every":[13,30],"finite":[14,31,37,317],"group":[15,21,32],"GG":[16],"occurs":[17,33],"as":[18,34,185],"of":[22,39,49,77,161,221,231,292],"rational":[24,110],"polynomial":[25],"if":[26,29],"and":[27,56,64,111,131,134,188,201,253,278,295],"only":[28,136],"continuous":[36],"quotient":[38,141],"profinite":[41,139],"record":[43],"attached":[44],"an":[46,106],"algebraic":[47],"extension":[48],"Q.":[50],"This":[51,143],"equivalence":[52,79,107,247],"is":[53,57,149,173,257,263],"well":[54],"known":[55],"traditionally":[58],"proved":[59],"using":[60,80],"the":[61,65,81,87,109,137,146,151,159,169,179,210,215,218,225,239,246,249,281,290,304],"correspondence":[63,329],"primitive":[66],"element":[67],"theorem.":[68],"In":[69],"this":[70,78,232],"paper,":[71],"we":[72,98,117],"give":[73],"new":[75,195,233],"proof":[76,92,234,268],"migration":[82,114,170,313],"groupoid":[83,162,171,286],"formalism":[84,172],"developed":[85],"within":[86],"Vieta":[88,101,129,191,315],"coefficient-rearrangement":[89],"framework.":[90],"proceeds":[93],"in":[94,237,243],"two":[95],"steps.":[96],"First,":[97],"construct":[99],"completion":[102,276],"bridge":[103],"that":[104,122,145,168,245,297],"establishes":[105,167],"between":[108,248],"real":[112],"coefficient":[113,186],"groupoids.":[115],"Second,":[116],"apply":[118],"forgetful":[120,279,323],"functor":[121],"deletes":[123],"all":[124],"external-symmetry":[125],"records":[126,200],"(coefficient":[127],"permutations,":[128],"migrations,":[130],"endpoint":[132,204],"paths)":[133],"retains":[135],"underlying":[138],"data.":[142],"proves":[144,296],"formulation":[148,256],"exactly":[150],"classical":[152,240,282],"problem,":[155],"now":[156],"seen":[157],"through":[158,273],"lens":[160],"equivalence.":[163],"A":[164],"second":[165],"theorem":[166,266],"logically":[174],"conservative":[175,321],"with":[176],"respect":[177],"problem.":[182,228,307],"External":[183],"symmetry\u2014defined":[184],"rearrangement":[187],"its":[189,254],"induced":[190],"migration\u2014does":[192],"not":[193,236,258],"create":[194],"realizations;":[197],"it":[198,298],"merely":[199,259],"transports":[202],"typed":[203],"certificates.":[205],"certificate":[208],"remains":[209],"essential":[211],"arithmetic":[212,301],"datum.":[213],"Thus":[214],"paper":[216],"demonstrates":[217],"unconditional":[219],"irrelevance":[220],"external":[222,293,319],"symmetry":[223,294],"significance":[230],"lies":[235],"replacing":[238],"one,":[241],"but":[242],"revealing":[244],"tautology.":[261],"It":[262],"genuine":[265],"whose":[267],"can":[269],"be":[270],"carried":[271],"out":[272],"category-theoretic":[274],"means\u2014via":[275],"bridges":[277],"functors\u2014alongside":[280],"structural":[283],"proof.":[284],"framework":[287],"also":[288],"isolates":[289],"role":[291],"contributes":[299],"no":[300],"content":[302],"Keywords":[308],"Keywords:":[309],"problem;":[312],"groupoid;":[314],"completion;":[316],"quotient;":[318],"symmetry;":[320],"extension;":[322],"functor;":[324],"Hilbert's":[325],"irreducibility":[326],"theorem;":[327]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-06-28T00:00:00"}