{"entities":{"Q1295574":{"pageid":1306324,"ns":120,"title":"Item:Q1295574","lastrevid":68393016,"modified":"2026-04-12T23:24:41Z","type":"item","id":"Q1295574","labels":{"en":{"language":"en","value":"On Birget's regular embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308213"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$EC9F988A-548F-456A-A8B1-F35E9BFC6D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c77f15273085044a676558ecaf0955fdfcf2196d","datavalue":{"value":{"text":"On Birget's regular embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295574$894E3A99-97DC-439F-90C7-F2A8861D9444","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6177f7c3e899a05f2f0fe868e2cde70a75dbc78","datavalue":{"value":"0937.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$C3C484D2-1D0F-47CC-8890-88D626D99FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbd3a7e9550e7c3453eb3e17ffdbe351a4e5a3bd","datavalue":{"value":"10.1016/S0022-4049(97)00109-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$AB69EDDA-CFAE-4ABC-A453-F638DCD0C224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80c342b2a7ae633fce92ccff27233ca6637f2725","datavalue":{"value":{"entity-type":"item","numeric-id":172575,"id":"Q172575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$D7F53CC2-F4D2-4E96-B311-35A2FB6596F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$6AFB046A-D5D6-4C0D-B4CB-B71778DAD1EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b17fbfec200bcf11c37dd1a72a5e177de6557760","datavalue":{"value":{"time":"+2000-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295574$991E01DE-15B1-42CB-863E-9C38B733616B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc01f360dd47950c5cd89fd44dbb08f834b53e40","datavalue":{"value":"\\textit{J.-C. Birget} [J. Pure Appl. Algebra 34, 57-115 (1984; Zbl 0547.20055)] constructed an embedding of an unambiguous semigroup \\(S\\) into a regular semigroup \\((S)_{\\text{reg}}\\) preserving various properties: \\(S\\) and \\((S)_{\\text{reg}}\\) have the same subgroups and the same ideal structure except for a zero which is added to the regular semigroup. The semigroup \\((S)_{\\text{reg}}\\) is defined by means of a presentation and the embedding is obtained by showing that elements have a unique ``coded normal form''. The present paper gives another construction of \\((S)_{\\text{reg}}\\) and a different proof of uniqueness of coded normal forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$6B567C5A-1F4B-4DEC-AB94-2FFAA4C59CB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$F602899C-5DDB-412B-828E-1C7C71CB835C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$6867901D-3724-4C72-9F34-41B3C45BD971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$7A5AB34D-24D9-4227-B62A-6E701D9CB670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$57D5C20D-D8B3-4354-A7AD-0A5C4B3EE051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$E0E2789E-9B73-41B0-BC40-BC674EA505F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b22ef2037f45b31c45292c994e2d4b853dd69d01","datavalue":{"value":"1308213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$DE1F8619-3A82-49E6-B1F0-6D3A388EFBC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$DB9F1319-1F64-4899-A9C2-9112B7363285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929045e184d3f9cfc5463d14740b7869152040e4","datavalue":{"value":"unambiguous semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$306D1A52-0D56-4325-860B-7869B48EA626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$9D4F9F1E-6907-4A81-A770-CE770554BD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$1222A8F2-9201-4DE0-9C29-53A97F24B6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25bc78a22f9916c9bd0d627885b5d6a0a4aaa51","datavalue":{"value":"coded normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295574$5E09B390-0AA7-4F0C-AC0C-E614F51BAB3F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$F7BA7D0C-8D58-4A73-9BC1-592BF405B7DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"780610de9d89a23766447be07e4aea603f57ce42","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$94A17CA0-88CB-4E7B-A071-CECAAACE0D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f39187f8c15d53b6a5da99fa79ee4b86d8b0129","datavalue":{"value":{"entity-type":"item","numeric-id":1110661,"id":"Q1110661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$045AA74B-855B-48BA-B539-597A70E37375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0849bfc5839137425132014c5272d2ee494b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4839155,"id":"Q4839155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295574$B43C5305-ADFB-41F2-8C66-9B2C202E3219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3bb16e518cbf48a0a5c515c692941a7b0c3fdaa","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00109-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295574$841ADA4F-B3A2-4FF8-A52C-B10C2C8A4805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"048ebe41bbf34f7808960d69d6487f69960fc8f5","datavalue":{"value":"W1989352078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295574$1D6C05D0-1EEA-4120-BDC2-980FFA0A0FCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a3f618e83971cc16794b26f802c6ff1413c945","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1217e7cebdf05b40d8f592369a6a64145f0db461","datavalue":{"value":{"amount":"+0.8555486798286438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295574$0A36C989-1A8C-4B51-9B2F-2ED8FA5706A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a7bf1eb392bd69ed45fb876353ccb7404a774d","datavalue":{"value":{"entity-type":"item","numeric-id":3395628,"id":"Q3395628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7c20e10642cdb9341c268ca07f8848e8a4f622","datavalue":{"value":{"amount":"+0.832409143447876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295574$51FC1FB4-3E3B-4467-A80D-EA75D36C234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff17f0553a98e3944d81f5110d5d92a49d008067","datavalue":{"value":{"entity-type":"item","numeric-id":5962334,"id":"Q5962334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0e9b32359a2cdc1d6bada45c1f1fc8cbe4231a","datavalue":{"value":{"amount":"+0.8131176233291626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295574$92ACDC3E-F370-4970-A92A-578E35FDE073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Birget's regular embedding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Birget%27s_regular_embedding"}}}}}