{"id":"https://openalex.org/W7221071016","doi":"https://doi.org/10.48550/arxiv.2610.12014","title":"Finite bases for Brandt semirings and naturally semilattice-ordered inverse semigroups","display_name":"Finite bases for Brandt semirings and naturally semilattice-ordered inverse semigroups","publication_year":2026,"publication_date":"2026-10-08","ids":{"openalex":"https://openalex.org/W7221071016","doi":"https://doi.org/10.48550/arxiv.2610.12014"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.12014","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12014","pdf_url":"https://arxiv.org/pdf/2610.12014","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/2610.12014","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147387592","display_name":"Xiaolei Shao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shao, Xiaolei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5122939508","display_name":"Mengya Yue","orcid":"https://orcid.org/0009-0002-3939-947X","observed_orcids":["https://orcid.org/0009-0002-3939-947X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yue, Mengya","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/T11567","display_name":"semigroups and automata theory","score":0.9965999722480774,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9965999722480774,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.00139999995008111,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.0006000000284984708,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8744999766349792},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6133999824523926},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.5641000270843506},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5504000186920166},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5058000087738037},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.43299999833106995},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4174000024795532},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3982999920845032},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37950000166893005},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.37450000643730164},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36640000343322754},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.33869999647140503},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.33320000767707825},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.2955000102519989},{"id":"https://openalex.org/C76134657","wikidata":"https://www.wikidata.org/wiki/Q370634","display_name":"Generalized inverse","level":3,"score":0.28790000081062317},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.2759999930858612},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.26019999384880066},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.12014","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12014","pdf_url":"https://arxiv.org/pdf/2610.12014","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.2610.12014","doi":"https://doi.org/10.48550/arxiv.2610.12014","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.12014","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:2610.12014","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12014","pdf_url":"https://arxiv.org/pdf/2610.12014","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221071016.pdf","grobid_xml":"https://content.openalex.org/works/W7221071016.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1978045787","https://openalex.org/W2123724076","https://openalex.org/W2506806038","https://openalex.org/W4226138571","https://openalex.org/W4317565198","https://openalex.org/W4321793853","https://openalex.org/W4405917372","https://openalex.org/W7149003946","https://openalex.org/W7214240825","https://openalex.org/W7215089424"],"related_works":["https://openalex.org/W7149003946","https://openalex.org/W2160190634","https://openalex.org/W2950486805","https://openalex.org/W4317565198","https://openalex.org/W2135760812","https://openalex.org/W7203716770","https://openalex.org/W7213295782","https://openalex.org/W2006578098","https://openalex.org/W7215089424","https://openalex.org/W7223085786"],"abstract_inverted_index":{"We":[0,94],"prove":[1],"that":[2],"Brandt":[3],"semirings":[4,80],"over":[5],"nontrivial":[6],"groups":[7,39,54],"with":[8,17],"at":[9],"least":[10],"two":[11],"indices":[12],"admit":[13],"no":[14],"identity":[15,84],"basis":[16,63],"a":[18,74,82],"bounded":[19],"number":[20],"of":[21,26,40,53,55,76],"variables.":[22],"A":[23,43],"uniform":[24],"family":[25],"finite":[27,62,77],"witnesses":[28],"has":[29],"size":[30],"linear":[31,106],"in":[32],"the":[33,47],"variable":[34,107],"bound":[35],"and":[36,58,81,105,115],"applies":[37],"to":[38,73],"arbitrary":[41,66],"cardinality.":[42],"commutative":[44],"construction":[45],"yields":[46],"corresponding":[48],"result":[49],"for":[50,65],"flat":[51,67],"extensions":[52],"unbounded":[56],"exponent":[57],"gives":[59],"an":[60],"exact":[61],"criterion":[64],"group":[68],"extensions.":[69],"Structural":[70],"representations":[71],"lead":[72],"classification":[75],"natural":[78,88],"inverse":[79,89],"single":[83],"characterizing":[85],"locally":[86],"Clifford":[87],"structure":[90],"among":[91],"regular":[92],"semirings.":[93],"also":[95],"describe":[96],"products,":[97],"orthogonal":[98],"sums,":[99],"minimum":[100],"generators,":[101],"colored":[102],"graph":[103],"identities":[104],"complexity.":[108],"Further":[109],"results":[110],"concern":[111],"infinite":[112],"generating":[113],"algebras":[114],"inherent":[116],"nonfinite":[117],"basability.":[118]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-10T00:00:00"}