{"entities":{"Q2502254":{"pageid":2512997,"ns":120,"title":"Item:Q2502254","lastrevid":49913773,"modified":"2026-01-12T00:11:25Z","type":"item","id":"Q2502254","labels":{"en":{"language":"en","value":"The generalized prefix expansion of a weakly left ample semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053082"}},"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":"Q2502254$C0EF94A2-C02D-4104-8CB5-60D603019505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ea7ee00f2aebe807d9db00581b585301dce86c5","datavalue":{"value":{"text":"The generalized prefix expansion of a weakly left ample semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2502254$22378D44-8DE6-4E17-84ED-1D9616D0DB55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc6b951af48b8d4845d6d3b675fac2923b91e063","datavalue":{"value":"1110.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$3376E57E-4232-4747-93A8-AB3B7B7FD500","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502254$51650933-C89D-4630-B1B5-D29D41D422DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fd47b58f27435239dc8447da9ea0a760e50b459","datavalue":{"value":{"time":"+2006-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2502254$EB87AEA6-8A59-445A-99FA-F7F89ED1E51C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"231e043cb2990f1803086e391c3453c1f4ae972f","datavalue":{"value":"Let \\(S\\) be a semigroup and \\(\\widetilde{\\mathcal R}\\) the relation on \\(S\\) defined by \\(a\\widetilde{\\mathcal R}b\\) if and only if \\(\\{e\\in E(S):ea=a\\}=\\{e\\in E(S):eb=b\\}\\). The semigroup \\(S\\) is said to be `weakly left ample' if \\(E(S)\\) is a semilattice, \\(\\widetilde{\\mathcal R}\\) a left congruence on \\(S\\), each \\(\\widetilde{\\mathcal R}\\)-class \\(\\widetilde{\\mathcal R}_a\\) has a unique idempotent (denoted by \\(a^+\\)) and \\(ae=(ae)^+a\\) for all \\(a\\in S\\) and \\(e\\in E(S)\\). Weakly left ample semigroups form a quasivariety of algebras of type \\((2,1)\\).   It is proved that for a weakly left ample semigroup \\(S\\), \\(S^{\\text{Pr}}=\\{(A,s)\\in{\\mathcal P}_{\\text{fin}}(S)\\times S:s,s^+\\in A\\), \\(A\\subseteq\\widetilde{\\mathcal R}_s\\}\\) with multiplication \\((A,s)(B,t)=((st)^+A\\cup sB,st)\\) is a weakly left ample semigroup as well. For a given \\((2,1)\\)-homomorphism \\(\\theta\\colon S\\to T\\) from \\(S\\) onto \\(T\\) of weakly left ample semigroups such that, for any \\(a\\in T\\), there exists a maximum element \\(m(a\\theta^{-1})\\) in \\(a\\theta^{-1}\\), a mapping \\(\\theta^*\\colon T\\to S\\) by \\(a\\theta^*=m(a\\theta^{-1})\\) can be defined. If \\(\\theta^*\\) is order-preserving and \\(a\\theta^*b\\theta^*=(a\\theta^*)^+(ab)\\theta^*\\) for any \\(a,b\\in T\\), then \\(\\theta\\) is said to be an `FA-morphism' from \\(S\\) onto \\(T\\).   The main theorem proves that if \\(S\\) is a weakly left ample semigroup, then \\(\\eta_S\\colon S^{\\text{Pr}}\\to S\\), \\((A,s)\\mapsto s\\), is an (initial) universal object in the category \\(\\mathcal{FA}_S\\) of all FA-morphisms onto \\(S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$CE6D52AD-8005-4B4F-A6F9-5FFB51377BEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502254$4E235C74-D2F3-4CBD-B6D0-194815EA6D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$B4C9A34E-39A6-476B-8ED7-59506EAB87B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$8F0BDD4B-6217-4DF9-A462-4100A783DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$92717AC6-02A4-4A4D-B7D1-FEC91A402E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$5F6150A0-2D1A-4303-9127-E14C14895582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba98cb86fb4f8886a86c567fe619497725ebaed","datavalue":{"value":"5053082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$F2FF338C-68E0-4C36-985A-9628F6FC740A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e80114092ea5fe5ebd0d86a9bd099d7babf67b","datavalue":{"value":"expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$2AB69C02-8D74-4AA3-A262-52481E5BA7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$3F832175-CF5D-4227-A69B-2200CFCEA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c19bcb5592b4ec1c1e8003a12c01b8f82acb3c","datavalue":{"value":"weakly left ample semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$38F03ACA-8FBA-4B6B-B273-EE026A9AC087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$09C98F88-D370-4BC6-8485-BBD9446EF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1850396d01ef569aa225bcde6501ad51bd4304ad","datavalue":{"value":"left congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$A6019C69-DE5E-4AB7-B0E7-9695F7A48FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a512d11ffa0fd8ace4fe0e0e035ed4c382ae4cd7","datavalue":{"value":"FA-morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502254$6D2BB9C8-FFE0-4DB5-9B47-5C93DA62DD05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502254$9299D71C-E3F1-40C2-A72F-F692F427E4E4","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":"Q2502254$ECB95AC8-6FA1-4C81-BA95-262E834FEE28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7d3ca02107501f57ffa81f23301ba4dc65d3b38","datavalue":{"value":"https://doi.org/10.1007/s00233-005-0522-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2502254$96D98188-F9D1-4821-A413-FC4EE775E48B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebda5aeb195057e18635790766a1adf06dfbb173","datavalue":{"value":"W1974915883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$89D0BF21-92F1-48B1-B379-65B4FEAC4410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68dacf5f959848824e6ff58c98e2c8a0b5180036","datavalue":{"value":"10.1007/S00233-005-0522-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502254$1904A41C-456E-445C-8084-E0246AE3FDE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a95358e01fc34e74fb844abe12cfea042844777","datavalue":{"value":{"entity-type":"item","numeric-id":3539587,"id":"Q3539587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3fd81a950ace95540dfbcec84e52c43d1710d5","datavalue":{"value":{"amount":"+0.8234772086143494","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":"Q2502254$82BE8C05-820D-4721-8969-ED1AE2D4B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc2202b256e47bdbf6af74f247e280d222fba9f","datavalue":{"value":{"entity-type":"item","numeric-id":2368560,"id":"Q2368560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24cea7173e347cbd316398f14c7448a89c61891","datavalue":{"value":{"amount":"+0.7841295003890991","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":"Q2502254$31C0C2F3-F33A-429C-A7AC-89580CED0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfe2a6dc336068cec65913bb4020c1088b186af","datavalue":{"value":{"entity-type":"item","numeric-id":3106331,"id":"Q3106331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5305eb0046f288d66dee173496f90d91fdf94f99","datavalue":{"value":{"amount":"+0.7770252823829651","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":"Q2502254$3E2C1E5D-DE25-4B77-9B06-B683C6455BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50312df100a9ff53418903fbd2b4ee74d780633a","datavalue":{"value":{"entity-type":"item","numeric-id":5480050,"id":"Q5480050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee82efa07125faaa3a78b2344fc0abdd77d038d6","datavalue":{"value":{"amount":"+0.7760317325592041","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":"Q2502254$5E1FEDA5-A012-4A8A-B6E1-B06E4915EC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a65da34fd9152fee44805c5f5824969b0ec554","datavalue":{"value":{"entity-type":"item","numeric-id":3395321,"id":"Q3395321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dea13813a2f509aec3bdc15f41a083848cbcf1","datavalue":{"value":{"amount":"+0.7745748162269592","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":"Q2502254$5651BCAA-1A10-49A8-9901-7A17FDC80477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2502254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2502254"}}}}}