{"id":"https://openalex.org/W2016671679","doi":"https://doi.org/10.1142/s0218196793000305","title":"THE BIDETERMINISTIC CONCATENATION PRODUCT","display_name":"THE BIDETERMINISTIC CONCATENATION PRODUCT","publication_year":1993,"publication_date":"1993-12-01","ids":{"openalex":"https://openalex.org/W2016671679","doi":"https://doi.org/10.1142/s0218196793000305","mag":"2016671679"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196793000305","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196793000305","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-00020072","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107639963","display_name":"Jean-\u00c9ric Pin","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"JEAN-ERIC PIN","raw_affiliation_strings":["LITP. Tour 55\u201365, Universit\u00e9 Paris VI et CNRS, 4 Place Jussieu, 75252 Paris Cedex 05, France"],"affiliations":[{"raw_affiliation_string":"LITP. Tour 55\u201365, Universit\u00e9 Paris VI et CNRS, 4 Place Jussieu, 75252 Paris Cedex 05, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000703561","display_name":"Denis Th\u00e9rien","orcid":"https://orcid.org/0000-0002-7545-909X"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"DENIS TH\u00c9RIEN","raw_affiliation_strings":["School of Computer Science, McGill University, Montr\u00e9al, Qu\u00e9bec H3A2A7, Canada","School of Computer Science, McGill University, Montreal, Quebec, H3A2A7, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, McGill University, Montr\u00e9al, Qu\u00e9bec H3A2A7, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"School of Computer Science, McGill University, Montreal, Quebec, H3A2A7, Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5107639963"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I39804081"],"apc_list":null,"apc_paid":null,"fwci":1.0425,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75432876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"03","issue":"04","first_page":"535","last_page":"555"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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.9940000176429749,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.8327219486236572},{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.7693614363670349},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7399384379386902},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5936293005943298},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.5422791242599487},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5248356461524963},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5108187198638916},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.5026118755340576},{"id":"https://openalex.org/keywords/algebraic-variety","display_name":"Algebraic variety","score":0.47994282841682434},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38200029730796814},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3744412660598755},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3672980070114136},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3665773272514343}],"concepts":[{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.8327219486236572},{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.7693614363670349},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7399384379386902},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5936293005943298},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5422791242599487},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5248356461524963},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5108187198638916},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.5026118755340576},{"id":"https://openalex.org/C165761256","wikidata":"https://www.wikidata.org/wiki/Q648995","display_name":"Algebraic variety","level":3,"score":0.47994282841682434},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38200029730796814},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3744412660598755},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3672980070114136},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3665773272514343},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218196793000305","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196793000305","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.8.875","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.875","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.liafa.jussieu.fr/~jep/PostScript/PinTherien.ps.gz","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00020072v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00020072","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Algebra and Computation, 1993, 3, pp.535-555","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00020072v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00020072","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Algebra and Computation, 1993, 3, pp.535-555","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W94605950","https://openalex.org/W1523977407","https://openalex.org/W1976025900","https://openalex.org/W1980569424","https://openalex.org/W2034979418","https://openalex.org/W2036018689","https://openalex.org/W2037411979","https://openalex.org/W2041561792","https://openalex.org/W2049829000","https://openalex.org/W2116250539","https://openalex.org/W2120918177","https://openalex.org/W2167954650"],"related_works":["https://openalex.org/W2609707471","https://openalex.org/W2036181040","https://openalex.org/W2964042565","https://openalex.org/W1630648544","https://openalex.org/W2043808649","https://openalex.org/W2130869048","https://openalex.org/W2160826222","https://openalex.org/W2964205949","https://openalex.org/W1543240400","https://openalex.org/W3083505309"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,98,227,270],"devoted":[3],"to":[4,85,153,211],"the":[5,8,15,24,44,53,61,77,101,104,111,126,138,149,154,169,173,177,190,195,199,222,235,244,255,260],"study":[6],"of":[7,14,23,26,39,47,64,67,76,79,100,106,113,118,120,124,128,141,156,172,183,189,194,206,230,246,251,265,268],"bideterministic":[9,62,145],"concatenation":[10,16,174],"product,":[11,175],"a":[12,37,121,207,228,271],"variant":[13],"product.":[17,31,197],"We":[18,71],"give":[19,72],"an":[20,73,216,241,266],"algebraic":[21,74,179],"characterization":[22],"varieties":[25,182],"languages":[27,48,66,142],"closed":[28,143],"under":[29,144,263],"this":[30],"More":[32],"precisely,":[33],"let":[34],"V":[35,97],"be":[36],"variety":[38,46,55,78,105,112,123,127,140,155],"monoids,":[40,110],"[Formula:":[41,50,57,68,81,86,93,157,201,218,231,237,247],"see":[42,51,58,69,82,87,94,158,202,219,232,238,248],"text]":[43,52,59,83,95,203,220,233,239,249],"corresponding":[45,84,178],"and":[49,60,108,130,147,193,250,258],"smallest":[54,139],"containing":[56,148],"products":[63],"two":[65],"text].":[70,88],"description":[75],"monoids":[80,114,160,184],"For":[89],"instance,":[90],"we":[91,135],"compute":[92],"when":[96],"one":[99],"following":[102,223],"varieties:":[103],"idempotent":[107,267],"commutative":[109],"which":[115,209],"are":[116],"semilattices":[117],"groups":[119],"given":[122],"groups,":[125],"\u211b-trivial":[129],"idemptotent":[131],"monoids.":[132],"In":[133],"particular,":[134],"show":[136],"that":[137],"product":[146,192],"language":[150],"{1},":[151],"corresponds":[152],"text]-trivial":[159],"with":[161,221],"commuting":[162],"idempotents.":[163],"Similar":[164],"results":[165],"were":[166,185],"known":[167],"for":[168],"other":[170],"variants":[171,188],"but":[176],"operations":[180],"on":[181,187],"based":[186],"semidirect":[191],"Malcev":[196],"Here":[198],"operation":[200],"makes":[204],"use":[205],"construction":[208],"associates":[210],"any":[212],"finite":[213],"monoid":[214],"M":[215,226,252,269],"expansion":[217],"properties:":[224],"(1)":[225],"quotient":[229],"(2)":[234],"morphism":[236],"induces":[240],"isomorphism":[242],"between":[243],"submonoids":[245],"generated":[253],"by":[254],"regular":[256],"elements":[257],"(3)":[259],"inverse":[261],"image":[262],"\u03c0":[264],"2-nilpotent":[272],"semigroup.":[273]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}