{"entities":{"Q789541":{"pageid":791389,"ns":120,"title":"Item:Q789541","lastrevid":64355466,"modified":"2026-04-11T19:17:56Z","type":"item","id":"Q789541","labels":{"en":{"language":"en","value":"Idempotent semigroups generated by threads. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845862"}},"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":"Q789541$22833AD6-EB24-4F29-804E-A26CB931F69B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f137e3762fe2334360d825423e19450b4d4b02b","datavalue":{"value":{"text":"Idempotent semigroups generated by threads. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789541$2CE2180C-6FCA-4B6E-B5CA-49BD9692CA8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6e25aa0d1b315b23b85ed386b03f019a2259d14","datavalue":{"value":"0533.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$947053A4-3A3F-40FC-AED0-9709FBBCF3F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f290e80f2a8acaef83599cabe692574ca4e35ec","datavalue":{"value":"10.1007/BF02676648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$E81672CC-4CC1-40B4-A4EE-CC6C0D1E7E93","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":"Q789541$D778EEB9-279C-4B11-A54E-D90BF38A24E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q789541$8C9B4AEC-B903-4E37-B7E1-3D1452AC3471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a7d3e63c0bdbb7818c342fa8d6959cf20cf31ef","datavalue":{"value":"https://eudml.org/doc/134517","type":"string"},"datatype":"url"},"type":"statement","id":"Q789541$84FD32BF-1229-4C6F-B88B-20D8808FE347","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51879db3497e4be96ef07a7ebb7dcf45792db280","datavalue":{"value":"The authors investigate idempotent topological semigroups S with identity 1 in which there are threads A and B with 1\\(\\in A\\cap B\\) and \\(S=AB\\). An idempotent semigroup admits the partial ordering \\(x\\leq y\\) if \\(yxy=x\\). We say that (\\(\\leq)\\) is monotone if \\(M(x)=\\{t:\\quad txt=x\\}\\) is connected for each \\(x\\in S.\\)    Theorem: Let S be an idempotent semigroup with identity 1. The following are equivalent: (1) S is the continuous monotone image of a two-cell, and (\\(\\leq)\\) is monotone. (2) S is a cyclic chain in which each non-degenerate cyclic element is a two-cell, and (\\(\\leq)\\) is monotone. (3) There exist threads A and B with 1\\(\\in A\\cap B\\), \\(S=AB\\), S is embeddable in the plane, and \\(BdS=A\\cup B\\cup K\\) 4) There exist threads A and B with 1\\(\\in A\\cap B\\) and \\(S=AB=BA\\). (5) There exist threads A and B with 1\\(\\in A\\cap B\\) and \\(aba=ab\\) or ba, for all \\(a\\in A\\), \\(b\\in B\\). (6) There exist threads A and B with 1\\(\\in A\\cap B\\), \\(S=AB\\), and (\\(\\leq)\\) is monotone. (7) There exist threads A and B with 1\\(\\in A\\cap B\\), \\(S=AB\\) and \\(xyx=xy\\) or yx, for all x, \\(y\\in S.\\)    Finally, the authors give some interesting examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$FBEA370C-C434-410D-A95D-45F3F93D0610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$8BDE7DDB-EE9D-4C12-A1A2-B7F55EAC9380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$E5E6CC23-9C9F-4337-85A1-C5E68DD8C2FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48568a34d2c74b48251184274c456cd9a31e86d","datavalue":{"value":"3845862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$03B5E3C7-84AB-4AA2-8524-33B56BDD0B16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c04fea3dad389c98d307bcd6e1e774fde8310ab8","datavalue":{"value":"idempotent topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$3E477A13-5E37-4DAC-8314-8BB953C31F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dfdb95836185d31e6d5223b927b998901ca561","datavalue":{"value":"threads","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$FD39EE92-50EF-4984-9D56-118CA75B0DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997e6840f849e3f8f4ca9ff98fb30e87c1b74793","datavalue":{"value":"monotone partial ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$F13173D3-4FC4-4A65-BADC-B9E7FB699262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b284be87159372aab6a3767608e9cfb98e427b","datavalue":{"value":"compact semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$7ECE77BB-D5FA-46FD-96B9-67EC90A58C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994b2d206e2c19d20909bd123efc68bc55d07ed9","datavalue":{"value":"connected semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q789541$00DA87BD-8EDE-45B3-AD72-BEB248F36879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63145a8bacbc80e2db261e9f97d2e770628b479d","datavalue":{"value":{"entity-type":"item","numeric-id":770636,"id":"Q770636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$E2CD3B21-8178-463A-B5AD-98C5DB4B5650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a659e87f92a0bc8819e012c01edbdedcc9ee65","datavalue":{"value":{"entity-type":"item","numeric-id":771148,"id":"Q771148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$EDD5D4CF-70AA-4C5E-A56D-7247EC9F1C75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$A062A4CD-C8FA-45BD-A520-964DA19ABD69","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":"Q789541$B068593C-AB18-46E0-9E2D-416DF51D6F16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d868a241d7c57dad414677aefdfe7548505600","datavalue":{"value":{"entity-type":"item","numeric-id":3254348,"id":"Q3254348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$9DCB6E7D-14AF-472C-831D-F40AD41DD388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c57e8f69f16bafc465e45ef45f1595ef5f195f4","datavalue":{"value":{"entity-type":"item","numeric-id":2265696,"id":"Q2265696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$F88F387D-7F75-4AC4-BB52-BE8AECAD7786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14735a4ccfa18cc630160e725a987fb2c3d733cb","datavalue":{"value":{"entity-type":"item","numeric-id":3244120,"id":"Q3244120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$DB0AEDEE-A7D9-4170-B033-80D2E4396690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e99cb7106fe9f5b68687bc80f3b4021303fd38a","datavalue":{"value":{"entity-type":"item","numeric-id":771149,"id":"Q771149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$2326F768-84F5-44B0-972F-986D07D20A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94d5e0fe6fcb1fdb1e3496eb7383b4945ef81d7","datavalue":{"value":{"entity-type":"item","numeric-id":5848906,"id":"Q5848906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$6A92695F-87B3-49F7-9D0A-912F21496F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1280b50082182cf1e03c01ed793023f80fedb220","datavalue":{"value":{"entity-type":"item","numeric-id":3234184,"id":"Q3234184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$D7BBA941-0E81-4895-A472-F2774E774E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea74fcedb0eff6ed8ae8352ae953a36cd96b1958","datavalue":{"value":{"entity-type":"item","numeric-id":5510563,"id":"Q5510563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789541$1E1503C0-CEC4-401D-B1D8-91ECE3BD0D5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab02860f3215a4490eccdbb425e870d7d039993c","datavalue":{"value":"W4247322620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789541$8AF57B6B-A532-4B99-8D9E-9C8AC3658E48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9b689e25f8062adc5f3beddae01df934ef00f2","datavalue":{"value":{"entity-type":"item","numeric-id":4729979,"id":"Q4729979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a92e69c69e25cd9245820ef7ac25b859f9c9e3","datavalue":{"value":{"amount":"+0.7587025165557861","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":"Q789541$7B3B2C4F-5CA0-4D23-8834-989F167583F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fdc540494e02d7679d95b2720c97e1029d831","datavalue":{"value":{"entity-type":"item","numeric-id":1060301,"id":"Q1060301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da9d27a7011504ddf1805a672dafe6082c375a2","datavalue":{"value":{"amount":"+0.7439883351325989","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":"Q789541$DCBC43F1-9D92-4959-86D1-6544B94CF41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fcfb1c6158dca9e18c2589ffdff22b2aa3b38e","datavalue":{"value":{"entity-type":"item","numeric-id":3975902,"id":"Q3975902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050c4ae2e3202d6f60169d69159a3a248861cb50","datavalue":{"value":{"amount":"+0.7356526255607605","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":"Q789541$DEFAA7CB-7B58-4A78-9044-A2A5E209E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611683ca43acb5ff9a821f3124817988aebc8ac","datavalue":{"value":{"entity-type":"item","numeric-id":4284203,"id":"Q4284203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d2fba3f1cac5ac550a05fe4a09201158bcaaba","datavalue":{"value":{"amount":"+0.735652506351471","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":"Q789541$434A1E3A-B7A4-4634-ABD5-A22C0D9AB2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec764cf39e408f0fa5403cc45afbdbbd32acf5a","datavalue":{"value":{"entity-type":"item","numeric-id":1352829,"id":"Q1352829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f4303ce8e0867d98e07e9d3afeba5bcc5700ef","datavalue":{"value":{"amount":"+0.7329923510551453","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":"Q789541$2A1BCE93-881D-4FA9-B2E6-8226049762E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Idempotent semigroups generated by threads. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Idempotent_semigroups_generated_by_threads._I"}}}}}