{"entities":{"Q798783":{"pageid":800631,"ns":120,"title":"Item:Q798783","lastrevid":48740242,"modified":"2026-01-05T18:22:18Z","type":"item","id":"Q798783","labels":{"en":{"language":"en","value":"Arbitrary vs. regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871666"}},"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":"Q798783$62D3B2ED-812C-478E-AE15-6DF2C2AA2304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53088fa91ff323a3cdaff7772220016d70135d50","datavalue":{"value":{"text":"Arbitrary vs. regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798783$EBDE8E8E-61FB-4E36-81DE-30125128151B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe667371395922fb162ee3364349146bb5202f8c","datavalue":{"value":"0547.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$B0F9B40C-458A-4FAB-8E08-3D79F532094B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a9e92f967a6fe30bee4ffdd3def34a29b33eb74","datavalue":{"value":"10.1016/0022-4049(84)90056-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$9BA2436F-B8CB-4AC4-93E2-DC8B6D765700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af85c7b2f6fd07526dd5f6ad7e9d1c876779e29","datavalue":{"value":{"entity-type":"item","numeric-id":766115,"id":"Q766115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$554420EF-0101-40DD-BA64-75CB23AE00CA","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":"Q798783$7B170118-ADC0-4994-9981-2679DF041035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798783$1118D44E-3200-4317-96BE-2E0E44416B33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1a4b5fd18d27d4d1a6954d0db701ddfb389a47b","datavalue":{"value":"This paper builds on the article reviewed above in which it was proved that any semigroup S is the morphic image of an unambiguous semigroup \\(\\hat S^+_ A\\) (meaning that \\(\\hat S^+_ A\\) has an unambiguous \\({\\mathcal L}\\)- and \\({\\mathcal R}\\)-order) and this morphism preserves finiteness and other structural features. The aim of this paper is to show that any unambiguous semigroup S can be embedded in a regular semigroup \\((S)_{reg}\\) such that finiteness is preserved along with the group and ideal structure. The two papers yield the conclusion that any semigroup divides, in a special way, a regular semigroup with similar ideal structure and the same subgroups.    Given S (not necessarily unambiguous) \\((S)_{reg}\\) is defined by imposing relations on \\(S\\cup\\bar S\\cup\\{0\\}\\) (where the members of the union are pairwise disjoint and \\(\\bar S=\\{\\bar s|\\) \\(s\\in S\\}):\\) (1) \\(s_ 1s_ 2=s_ 3\\) if \\(s_ 1\\cdot s_ 2=s_ 3\\) in S, (2) \\(\\bar s_ 1\\bar s_ 2=\\bar s_ 3\\) if \\(s_ 2\\cdot s_ 1=s_ 3\\) in \\(S_ 1\\), (3) \\(OO=O\\), (4) \\(Os=sO=O\\) for all \\(s\\in S\\), (5) \\(s\\bar ss=s\\), \\(\\bar ss\\bar s=\\bar s\\), for any \\(s\\in S\\) (6L) \\(s_ 1\\bar s_ 2=0\\)if \\({\\mathcal L}_{s_ 1}\\) is incomparable to \\({\\mathcal L}_{s_ 2}\\) in the \\({\\mathcal L}\\)-order of S, (6R) \\(\\bar s_ 1s_ 2=0\\) if \\({\\mathcal R}_{s_ 1}\\) is incomparable to \\({\\mathcal R}_{s_ 2}\\) in the \\({\\mathcal R}\\)-order of S.    Axioms (6R) and (6L) are crucial in allowing members of \\((S)_{reg}\\) to be expressed in a (not necessarily unique) normal form. This in turn is used to establish the regularity of \\((S)_{reg}\\). Unambiguity is important in ensuring that these relations do not introduce any new relations within S (i.e. S is embedded in \\((S)_{reg})\\). The main theorem then says, in part, for unambiguous S, (a) The \\({\\mathcal L}\\)- (\\({\\mathcal R}\\) or \\({\\mathcal J})\\)-order of \\((S)_{reg}\\) restricted to S, is the \\({\\mathcal L}\\)- (\\({\\mathcal R}\\) or \\({\\mathcal J})\\)-order of S. (b) Every \\({\\mathcal D}\\)- class (\\({\\mathcal J}\\)-class) of \\((S)_{reg}\\), except \\{0\\}, contains one and only one \\({\\mathcal D}\\)-class (\\({\\mathcal J}\\)-class) of S. (c) Every group of \\((S)_{reg}\\) is a subgroup of S or a Sch\u00fctzenberger group of a non- regular \\({\\mathcal D}\\)-class of S. (d) If every non-regular \\({\\mathcal H}\\)-class of S is a singleton, then every subgroup of \\((S)_{reg}\\) is isomorphic to a subgroup of S. (e) If S is finite, then \\((S)_{reg}\\) is finite. If S is finite-\\({\\mathcal J}\\)-above, then \\((S)_{reg}\\) is finite-\\({\\mathcal J}\\)- above except at zero. If S is infinite then \\(| S| =| (S)_{reg}|.\\)    The concept of unambiguity corresponds in the author's thinking to the ''uniqueness of the past'' in which the semigroup S is envisaged as a semigroup of transformations evolving in time, and indeed the \\((- )_{reg}\\) construction as applied to the free semigroup \\(A^+\\) is closely related to so-called two-way automata (see \\textit{S. Eilenberg}, Automata, Languages and Machines, Vol. A (1974; Zbl 0317.94045), p. 282ff).","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$A2805F6D-3D1F-4C53-9551-B8FB90DAA0BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$468FF4D5-DF66-47E9-BF9A-8B01B88EF3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$8A3876E4-B72B-4613-8C6F-B9DE0DEEF049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3d08f0d99a83dd8befd157a4471bf73d68a280c","datavalue":{"value":"3871666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$8EE159C9-3E00-4CC7-8686-EDF05B9981AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657678779b845b1d7d828621db8c18ddd48803e0","datavalue":{"value":"unambiguous semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$634749DE-D50F-48E6-8D5C-4CC2CF067DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$37C92B5E-CF72-42A3-80C4-5F69AC367136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e82ea77697fb62569c513358a83b74f0b2a349","datavalue":{"value":"\\({\\mathcal D}\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$3C0E131C-DD84-495E-A495-FFCB7ECEAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9de6362835cee1fff26db4c461d169564abb4e","datavalue":{"value":"\\({\\mathcal J}\\)- class","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$261E00ED-AF7B-410F-97A5-4F8996B09348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed83e477e7cc836ff4e3c3e68679c9e6dda5549","datavalue":{"value":"Sch\u00fctzenberger group","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$E9037925-D70C-482B-BC46-98C2207B81D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c65d438373a8e2ead4068942d71c78e9423f6b","datavalue":{"value":"\\({\\mathcal H}\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$86EE6A52-FEC1-43B0-B876-3F94FF87A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b76c413e003a911fe85e63ea43fc46735e7524","datavalue":{"value":"two-way automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q798783$552089B4-AC33-4EDA-94D4-91639CCA4D0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$CDF5BE6E-DE6A-48B1-8F0B-A2F7BD01E2FF","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":"Q798783$2386C9D5-A248-45CA-AB26-242D7362C567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922c55b9b2e2f3fa43a33f00e7092dca53750596","datavalue":{"value":"https://doi.org/10.1016/0022-4049(84)90056-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q798783$8CDC9512-85A1-402A-803E-3EBDFE8B64C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66a1ca3d3f2c80255f209d77d3d88ee4dd58beab","datavalue":{"value":"W2090823842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798783$DA5CD585-A251-40A6-86F0-0B90B1132181","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9a5b377e368bc3aa52a8373dbf1b1c1e128aa8","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$05035B02-C20A-45A1-9100-F9C329051F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$1C8AEE10-7EB3-44C1-B32D-6689E833346E","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":"Q798783$2772E440-FDE7-4AF2-A3FD-B49A4F3BC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$8AC07EEB-034A-4D81-B213-929BC1D21280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$5148DFE6-E342-4CE7-B65A-79AB6C9B4A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$A03E7017-4606-4FD4-A867-A8663787B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154e9c7c699ab036fc5b6881c558adf24d91ec1","datavalue":{"value":{"entity-type":"item","numeric-id":580507,"id":"Q580507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798783$555990CB-F202-4A9F-BDE6-966DD0A8D894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d791924fd5f177d7fdd9429d80f410032231a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295574,"id":"Q1295574"},"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":"Q798783$0B8D1584-043B-493A-A490-6B08698E4C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"101550bf1fdee42970f1315e3d7cd73d7d8e6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1849635,"id":"Q1849635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002b71e3f7313b1cad545cf6d14eca35a05c7417","datavalue":{"value":{"amount":"+0.8522405028343201","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":"Q798783$F4A90AC3-40E3-40B1-AEF1-F122AE6EE33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8957f679d10649b67b6c4dc7fc244c38b19a82","datavalue":{"value":{"entity-type":"item","numeric-id":1110661,"id":"Q1110661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bb79582836a2a90d15c9f7e07c16d1d2e7b358","datavalue":{"value":{"amount":"+0.8166465163230896","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":"Q798783$1F94876E-C7A5-4EC5-8A74-24BCA24CA878","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":"7181584c2346ca59730035cb3a1c495c4ebd2e34","datavalue":{"value":{"amount":"+0.7968116402626038","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":"Q798783$6954FD6A-C9D8-4C67-89E9-3E5DEFB22E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a075332264c2eb3dc82bf12bbcee433358dcf59","datavalue":{"value":{"entity-type":"item","numeric-id":1084512,"id":"Q1084512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1be5ec64848f9d3c55f99e73e493bcb1bf28b9","datavalue":{"value":{"amount":"+0.7930610775947571","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":"Q798783$06C0823D-4F79-40DB-B5B1-3195EEFDA098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798783"}}}}}