{"id":"https://openalex.org/W7222877288","doi":"https://doi.org/10.5281/zenodo.23445979","title":"Levchuk's Problem on Diagonal Matrices in SL_n(q) (Kourovka Notebook 7.27): An Affirmative Answer as a Corollary of Theorems of Fulman and Guralnick","display_name":"Levchuk's Problem on Diagonal Matrices in SL_n(q) (Kourovka Notebook 7.27): An Affirmative Answer as a Corollary of Theorems of Fulman and Guralnick","publication_year":2026,"publication_date":"2026-10-18","ids":{"openalex":"https://openalex.org/W7222877288","doi":"https://doi.org/10.5281/zenodo.23445979"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23445979","doi":"https://doi.org/10.5281/zenodo.23445979","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23445979","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.23445979","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080904657","display_name":"Alper Ferudun","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ferudun, Alper","raw_affiliation_strings":["Mercury Software GmbH"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mercury Software GmbH","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5080904657"],"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/T10849","display_name":"Finite Group Theory Research","score":0.9937000274658203,"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"}},"topics":[{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9937000274658203,"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"}},{"id":"https://openalex.org/T11680","display_name":"Advanced Algebra and Geometry","score":0.005400000140070915,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":9.999999747378752e-05,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8392999768257141},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6855999827384949},{"id":"https://openalex.org/C2776823524","wikidata":"https://www.wikidata.org/wiki/Q6073561","display_name":"Irreducibility","level":2,"score":0.6266000270843506},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.6007999777793884},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5895000100135803},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4555000066757202},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4528000056743622},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4397999942302704},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4302000105381012},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.41679999232292175},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3634999990463257},{"id":"https://openalex.org/C113313756","wikidata":"https://www.wikidata.org/wiki/Q332791","display_name":"Diagonal matrix","level":3,"score":0.3582000136375427},{"id":"https://openalex.org/C60761296","wikidata":"https://www.wikidata.org/wiki/Q651480","display_name":"Main diagonal","level":3,"score":0.3555000126361847},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3095000088214874},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.3061999976634979},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C105515060","wikidata":"https://www.wikidata.org/wiki/Q743179","display_name":"Normal subgroup","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C30072841","wikidata":"https://www.wikidata.org/wiki/Q1767080","display_name":"Diagonalizable matrix","level":4,"score":0.26820001006126404},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2596000134944916}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23445979","doi":"https://doi.org/10.5281/zenodo.23445979","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23445979","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.23445980","doi":"https://doi.org/10.5281/zenodo.23445980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23445980","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.23445979","doi":"https://doi.org/10.5281/zenodo.23445979","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23445979","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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"V.":[0,259],"M.":[1,260],"Levchuk":[2],"asked":[3],"in":[4,24],"1980":[5],"(Kourovka":[6,255],"Notebook,":[7,256],"Problem":[8,257],"7.27)":[9],"whether,":[10],"for":[11,39,137,179,187,219,245],"all":[12,69,246],"sufficiently":[13],"large":[14],"q,":[15],"the":[16,35,77,91,104,112,121,135,151,201,249],"group":[17],"SL_n(q)":[18,75],"contains":[19],"a":[20,43,58,94,118,154],"diagonal":[21,71,116,155],"matrix":[22,156],"lying":[23],"no":[25,207],"proper":[26,81],"irreducible":[27,87],"subgroup":[28,82],"except":[29],"block-monomial":[30],"ones.":[31],"We":[32],"show":[33],"that":[34,79,85],"answer":[36,203],"is":[37,54,86,139,175,209,212],"yes":[38],"every":[40,80,188],"n,":[41],"as":[42,57],"short":[44],"corollary":[45],"of":[46,49,74,93,96,111,114,120,124,148,191,200],"density":[47,105],"theorems":[48,106],"Fulman":[50],"and":[51,64,127,162,183,206,238,248],"Guralnick;":[52],"it":[53],"not":[55,140,227],"presented":[56],"new":[59],"theorem.":[60],"For":[61,142],"fixed":[62],"n":[63,143],"q":[65,138,165,170,180,194],"\u2192":[66],"\u221e,":[67],"almost":[68],"regular":[70,115],"matrices":[72],"d":[73,84],"have":[76],"property":[78,159],"containing":[83],"over":[88],"F_q":[89],"permutes":[90],"summands":[92],"decomposition":[95],"F_q^n":[97],"into":[98],"coordinate":[99],"subspaces.":[100],"The":[101,241],"deduction":[102],"combines":[103],"with":[107,157],"an":[108,128,213],"elementary":[109],"count":[110],"classes":[113],"matrices,":[117],"description":[119],"maximal":[122,125],"subgroups":[123,149],"rank,":[126],"eigenvalue":[129],"argument":[130],"excluding":[131],"extension":[132],"field":[133],"subgroups;":[134],"bound":[136],"explicit.":[141],"=":[144,181],"2,":[145],"Dickson's":[146],"list":[147],"gives":[150],"complete":[152],"answer:":[153],"this":[158],"exists":[160],"if":[161,164],"only":[163],"\u2208":[166],"{4,":[167],"8}":[168],"or":[169],"\u2265":[171,195],"13":[172],"(if":[173],"irreducibility":[174],"meant":[176],"absolutely,":[177],"also":[178],"2),":[182],"diag(w,":[184],"w\u207b\u00b9)":[185],"works":[186],"generator":[189],"w":[190],"F_q^*":[192],"when":[193],"13.":[196],"No":[197],"printed":[198],"statement":[199],"general":[202],"was":[204],"found,":[205],"priority":[208],"claimed.":[210],"This":[211],"unrefereed":[214],"note.":[215],"Unrefereed":[216],"preprint":[217],"released":[218],"independent":[220],"mathematical":[221],"scrutiny.":[222],"Publication":[223],"on":[224],"Zenodo":[225],"does":[226],"constitute":[228],"peer":[229],"review.":[230],"AI-assisted":[231],"tools":[232],"supported":[233],"research,":[234],"computation,":[235],"proof":[236],"development,":[237],"manuscript":[239],"preparation.":[240],"author":[242],"remains":[243],"responsible":[244],"claims":[247],"final":[250],"text.":[251],"Corpus":[252],"identifier:":[253],"KOU-7.27":[254],"7.27,":[258],"Levchuk,":[261],"7th":[262],"issue,":[263],"1980).":[264]},"counts_by_year":[],"updated_date":"2026-10-19T09:35:57.686232","created_date":"2026-10-19T00:00:00"}