{"id":"https://openalex.org/W2131332712","doi":"https://doi.org/10.1142/s021819670900538x","title":"A CHARACTERIZATION OF THE INVERSE MONOID OF BI-CONGRUENCES OF CERTAIN ALGEBRAS","display_name":"A CHARACTERIZATION OF THE INVERSE MONOID OF BI-CONGRUENCES OF CERTAIN ALGEBRAS","publication_year":2009,"publication_date":"2009-09-01","ids":{"openalex":"https://openalex.org/W2131332712","doi":"https://doi.org/10.1142/s021819670900538x","mag":"2131332712"},"language":"en","primary_location":{"id":"doi:10.1142/s021819670900538x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819670900538x","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/A5073208118","display_name":"Kalle Kaarli","orcid":null},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"KALLE KAARLI","raw_affiliation_strings":["Institute of Mathematics, University of Tartu, 50090 Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, University of Tartu, 50090 Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111554606","display_name":"L. M\u00e1rki","orcid":null},"institutions":[{"id":"https://openalex.org/I7597260","display_name":"Hungarian Academy of Sciences","ror":"https://ror.org/02ks8qq67","country_code":"HU","type":"funder","lineage":["https://openalex.org/I7597260"]},{"id":"https://openalex.org/I127817813","display_name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics","ror":"https://ror.org/03vw74f64","country_code":"HU","type":"facility","lineage":["https://openalex.org/I127817813","https://openalex.org/I7597260"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"L\u00c1SZL\u00d3 M\u00c1RKI","raw_affiliation_strings":["A. R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, H-1364 Budapest, Pf. 127, Hungary"],"affiliations":[{"raw_affiliation_string":"A. R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, H-1364 Budapest, Pf. 127, Hungary","institution_ids":["https://openalex.org/I127817813","https://openalex.org/I7597260"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073208118"],"corresponding_institution_ids":["https://openalex.org/I56085075"],"apc_list":null,"apc_paid":null,"fwci":1.3711,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81711733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"19","issue":"06","first_page":"791","last_page":"808"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"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.9994000196456909,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987000226974487,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8799196481704712},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.8093594312667847},{"id":"https://openalex.org/keywords/congruence-relation","display_name":"Congruence relation","score":0.8085096478462219},{"id":"https://openalex.org/keywords/inverse-semigroup","display_name":"Inverse semigroup","score":0.7719571590423584},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.6911522150039673},{"id":"https://openalex.org/keywords/bicyclic-semigroup","display_name":"Bicyclic semigroup","score":0.6755913496017456},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.6541470885276794},{"id":"https://openalex.org/keywords/free-monoid","display_name":"Free monoid","score":0.6265553832054138},{"id":"https://openalex.org/keywords/inverse-element","display_name":"Inverse element","score":0.60648113489151},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.5973780751228333},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5280210375785828},{"id":"https://openalex.org/keywords/unitary-state","display_name":"Unitary state","score":0.5129203796386719},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4604853093624115},{"id":"https://openalex.org/keywords/syntactic-monoid","display_name":"Syntactic monoid","score":0.4348280429840088},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4210437834262848},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40086686611175537},{"id":"https://openalex.org/keywords/special-classes-of-semigroups","display_name":"Special classes of semigroups","score":0.2446545660495758}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8799196481704712},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.8093594312667847},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.8085096478462219},{"id":"https://openalex.org/C2778508345","wikidata":"https://www.wikidata.org/wiki/Q3022118","display_name":"Inverse semigroup","level":3,"score":0.7719571590423584},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.6911522150039673},{"id":"https://openalex.org/C40417594","wikidata":"https://www.wikidata.org/wiki/Q3022111","display_name":"Bicyclic semigroup","level":3,"score":0.6755913496017456},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.6541470885276794},{"id":"https://openalex.org/C149685015","wikidata":"https://www.wikidata.org/wiki/Q5500266","display_name":"Free monoid","level":3,"score":0.6265553832054138},{"id":"https://openalex.org/C105245699","wikidata":"https://www.wikidata.org/wiki/Q338057","display_name":"Inverse element","level":4,"score":0.60648113489151},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.5973780751228333},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5280210375785828},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.5129203796386719},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4604853093624115},{"id":"https://openalex.org/C119903167","wikidata":"https://www.wikidata.org/wiki/Q3321297","display_name":"Syntactic monoid","level":4,"score":0.4348280429840088},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4210437834262848},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40086686611175537},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.2446545660495758},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","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":1,"locations":[{"id":"doi:10.1142/s021819670900538x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819670900538x","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W576366534","https://openalex.org/W1985634894","https://openalex.org/W2003488712","https://openalex.org/W2003877302","https://openalex.org/W2060557881","https://openalex.org/W2069719529","https://openalex.org/W2117407358","https://openalex.org/W2149118376","https://openalex.org/W4251535942"],"related_works":["https://openalex.org/W2314863462","https://openalex.org/W51936586","https://openalex.org/W2169915608","https://openalex.org/W2007470524","https://openalex.org/W3049114743","https://openalex.org/W2131332712","https://openalex.org/W2059399137","https://openalex.org/W3092512606","https://openalex.org/W2180877625","https://openalex.org/W2084543966"],"abstract_inverted_index":{"This":[0],"paper":[1],"provides":[2],"an":[3],"abstract":[4],"characterization":[5],"of":[6,14,16,34,54,61],"the":[7,62,74],"inverse":[8,38,55],"monoids":[9,13,77],"that":[10,73],"appear":[11],"as":[12,44,46],"bi-congruences":[15],"finite":[17,76,79],"minimal":[18],"algebras":[19],"generating":[20],"arithmetical":[21],"varieties.":[22],"As":[23,65],"a":[24,26,51,58],"tool,":[25],"matrix":[27],"construction":[28,43],"is":[29],"introduced":[30],"which":[31],"might":[32],"be":[33],"independent":[35],"interest":[36],"in":[37],"semigroup":[39],"theory.":[40],"Using":[41],"this":[42,70],"well":[45],"Ramsey's":[47],"theorem,":[48],"we":[49],"embed":[50],"certain":[52],"kind":[53],"monoid":[56,60],"into":[57],"factorizable":[59],"same":[63],"kind.":[64],"noticed":[66],"by":[67],"M.":[68],"Lawson,":[69],"embedding":[71],"entails":[72],"embedded":[75],"have":[78],"F-unitary":[80],"cover.":[81]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}