{"entities":{"Q798782":{"pageid":800630,"ns":120,"title":"Item:Q798782","lastrevid":48740239,"modified":"2026-01-05T18:22:18Z","type":"item","id":"Q798782","labels":{"en":{"language":"en","value":"Iteration of expansions. Unambiguous semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871665"}},"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":"Q798782$4825EA74-4AC1-45AB-A3F6-A3C1E775B20C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44d6df297f673025592fb88cc0c9c61324f8869f","datavalue":{"value":{"text":"Iteration of expansions. Unambiguous semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798782$019474CA-C439-46EB-A0D1-E3A844DFD4F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d1514d53ffebbebb316f235cf205bd26136784","datavalue":{"value":"0547.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$27D39FAA-2C8F-4902-87D5-73056F261894","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0631eee4d58b63bbcc8a9b92afcebbcfc98252b","datavalue":{"value":"10.1016/0022-4049(84)90055-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$6209DF95-DC4F-4764-9A5C-B947FE6ED38F","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":"Q798782$2A6E394F-B1D5-4F9E-B901-0E599E4464BD","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":"Q798782$3BF88A08-F99C-4F3F-888A-561BA54F96BA","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":"Q798782$D331488A-2359-4D99-983C-3F2934E4CEB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d86c6d0d6afa2903dee6c9176acb294e87a6b10","datavalue":{"value":"In this paper the author introduces a semigroup expansion which simultaneously enjoys properties of the left and right Rhodes expansions which is used in another paper [reviewed below]. He begins with \\(\\hat S_ A^{{\\mathcal L}}\\), the left Rhodes expansion cut down to generators which is defined as \\(<(a)| a\\in A>_{\\hat S^{{\\mathcal L}}}\\) where \\(S=<A>\\) and \\(\\hat S^{{\\mathcal L}}\\) is the ordinary left Rhodes expansion. \\(\\hat S^{{\\mathcal L}}_ A\\) has unambiguous \\({\\mathcal L}\\)-order (i.e. if y and z are \\({\\mathcal L}\\)-above x, then y and z are \\({\\mathcal L}\\)-comparable) and the \\(h_{{\\mathcal L}}\\)-property (i.e. for each \\({\\mathcal L}\\)-class \\(L_ 1\\) of \\(\\hat S^{{\\mathcal L}}_ A\\) there is a finite bound on the length of ascending \\({\\mathcal L}\\)-chains from \\(L_ 1)\\). \\(\\hat S^{{\\mathcal R}}_ A\\) is defined dually.    The main idea is to iterate these expansions alternately (iteration of the same expansion has no effect). This leads to two infinite chains of expansions and canonical morphisms the projective limits of which are isomorphic. This expansion is denoted by \\(\\hat S^+_ A\\) and significantly the defining projective limit is finitary, meaning that given \\((s_ n)_{n\\in\\omega }\\in\\hat S^+_ A\\) it is possible to determine the equality of \\((s_ n)_{n\\in\\omega }\\) to any other member of \\(\\hat S^+_ A\\) by comparison of the first N members of each sequence (N depending only on \\((s_ n)_{n\\in\\omega })\\). This leads to the main theorem which in part says: for any semigroup S, generated by a subset A, there exists a semigroup expansion \\(\\hat S^+_ A\\), generated by a subset of the same cardinality \\(| A|\\), also denoted by A, and a surmorphism \\(\\eta:\\widehat S^+_ A\\twoheadrightarrow S\\), injective on A such that (1) \\(\\hat S^+_ A\\) is invariant under the expansions (\\({\\hat\\cdot })^{{\\mathcal L}}_ A\\) and (\\({\\hat\\cdot })^{{\\mathcal R}}_ A\\). Hence \\(\\hat S^+_ A\\) has unambiguous \\({\\mathcal L}\\)- and \\({\\mathcal R}\\)- order and has the \\(h_{{\\mathcal L}}\\)- and \\(h_{{\\mathcal R}}\\)-properties.    (2) If S is finite [\\({\\mathcal J}\\)-finite above] then \\(\\hat S^+_ A\\) is finite [\\({\\mathcal J}\\)-finite above]. (S is \\({\\mathcal J}\\)-finite above if for each \\(s\\in S\\), \\(\\{\\) \\(x\\in S| x\\geq_{{\\mathcal J}}S\\}\\) is finite.)    (3) Each group of S is the pre-image under \\(\\eta\\) of some group of \\(\\hat S^+_ A\\). The inverse image (under \\(\\eta)\\) of a regular \\({\\mathcal D}\\)- class of S, is a regular \\({\\mathcal D}\\)-class and the inverse image of the regular elements of a \\({\\mathcal J}\\)-class is all contained in one \\({\\mathcal J}\\)-class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$DC703447-91BB-42C7-924F-40596F86EC0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$69B703ED-4AC3-43CB-B529-4231356BC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$4BE61733-1EC7-4A02-9245-62DA286D658F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b7106c47f13a0eaded164cfcff4a6d8dfc01671","datavalue":{"value":"3871665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$33914A70-AA33-45E5-9E21-288E2A2B78F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c76838fc0539ff5f804970e2e1a240a5afce78b5","datavalue":{"value":"right Rhodes expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$B17BFEA8-2E01-4E75-B884-228E34F5444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$9C74D48D-5427-4B50-AFF6-A539946767B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56fdc993846abdbf0f28db871ae6ca1cef5e3579","datavalue":{"value":"length of ascending \\({\\mathcal L}\\)-chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$10F91E11-0A01-46B5-B17C-FFFC620EC0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18190d8c689379ba15bc9e5017841964b611a6d1","datavalue":{"value":"infinite chains of expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$1576A3F6-5552-485E-BAF4-B97875A6D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e731366817837aa4d22d0221a43d6e4c7846e13a","datavalue":{"value":"projective limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$CD591D28-10D8-4147-9BE4-428D070EE894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea083711fdabac8d0e86d7fdf5679b8c4f449afd","datavalue":{"value":"semigroup expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$EC113E34-A6AC-446A-98BF-E3E4CEC81729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9edc6e7b378a91de137f305bcd882a8f8b8a803","datavalue":{"value":"regular \\({\\mathcal D}\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$B433E9CF-137F-4F57-8638-E2D6E4935608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86bdd86df4041cbbcfd2a0359b7b53c43870740b","datavalue":{"value":"regular elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$90187E0F-3B6A-4E17-ACAC-8E4705B37B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41fe0c35d73e4ab954be317858954ae9eb6d2c8","datavalue":{"value":"\\({\\mathcal J}\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q798782$FF5C3F92-23F7-421E-A852-BEDABD2527D5","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":"Q798782$BA23DD7E-D094-4884-9BB5-D12C8035DBDE","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":"Q798782$9B3B8103-3128-40B0-97AB-1F696CC8FF56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bccc902c661e3d29df10bc2cb72fc271e33b2563","datavalue":{"value":"https://doi.org/10.1016/0022-4049(84)90055-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q798782$0B0D138D-823D-4953-975D-154A73D5ECD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51f8a6be62a6c71222cfd1917c4d73291b59cfcb","datavalue":{"value":"W2077630085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798782$CEEB1BAD-B9A0-4733-8429-EE0FB05B37E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798782$612ABD0B-1B37-4072-93A0-BB0FDB233A02","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":"Q798782$E5F1E182-5825-47FC-9EA0-125977584C33","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":"Q798782$FFB841C3-E2BA-4060-8E10-2F5E1CD7587A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798782$3681BE3B-B1DD-420A-8C3E-9D5203171570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798782$FF0115E5-2115-4803-9F62-7AE710E19569","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":"Q798782$A2D4105A-09D7-43F6-9F65-59FBAA476D2D","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":"Q798782$44817D09-2A05-4EAA-A888-5E2C4A3B4640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70963f7f1f6c4b88f77313ef5e4bc9da1c483473","datavalue":{"value":{"entity-type":"item","numeric-id":3699025,"id":"Q3699025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaa3b5503dd27b56da0556900d177cf5d492dd1","datavalue":{"value":{"amount":"+0.8297007083892822","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":"Q798782$98F3CDDA-708A-4C60-B43D-13DE25B9BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46814bf436bd276971435443e8e9068fbbe82c41","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b0f3c56e75fef35d1b8e24c4917a297f3cba5d","datavalue":{"value":{"amount":"+0.8138285875320435","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":"Q798782$AA86BF48-1933-43C3-8598-E3A74902F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee42c7fc927ba372901afe5a4ed736752b1de71","datavalue":{"value":{"entity-type":"item","numeric-id":1046866,"id":"Q1046866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70944bd85476145e16e82e8763720dc18827a871","datavalue":{"value":{"amount":"+0.8009390234947205","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":"Q798782$9D0F3E48-8DB2-4EAB-8A04-8A6AD532F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b39553ebd05e56392fcc3dc90068c893c12374a","datavalue":{"value":{"entity-type":"item","numeric-id":3746024,"id":"Q3746024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa7296de60f0095e9e8324a6dc4c4ce65ab2c7d","datavalue":{"value":{"amount":"+0.798535943031311","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":"Q798782$5AE423A2-0AD7-472E-8B74-79989ADAE9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6e2f3d819e0116b9db983928a3b01fc62cd907","datavalue":{"value":{"entity-type":"item","numeric-id":3023564,"id":"Q3023564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391029ba9917fed25b08abc35a355d38cffbfeac","datavalue":{"value":{"amount":"+0.797669529914856","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":"Q798782$8DCA10A8-05A2-4A33-8B2F-F531688A9701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798782"}}}}}