{"entities":{"Q800495":{"pageid":802343,"ns":120,"title":"Item:Q800495","lastrevid":48748555,"modified":"2026-01-05T18:53:01Z","type":"item","id":"Q800495","labels":{"en":{"language":"en","value":"*-bisimple type A \\(\\omega\\)-semigroups. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875550"}},"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":"Q800495$2D62BFA5-2F02-4F14-858E-C1384AB0D5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"352f5ec1fcc4f7117fec8c2ec9dc7a4ce043ec5c","datavalue":{"value":{"text":"*-bisimple type A \\(\\omega\\)-semigroups. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800495$22C31EC4-BC90-4B96-8EC6-55725A1566FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f48ee29d9bfa1b27cac2e1f82f5e6e9da5ca12b","datavalue":{"value":"0549.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800495$6491C047-08A5-4B92-A0A0-668A4D471FBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f969218791dc473ca6656da9606cde9382d00342","datavalue":{"value":"10.1007/BF02572642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800495$56858CA1-EE2F-4D46-8587-142FC1A83C88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ce196dac0658618b9e5004250673760fa3ad8c","datavalue":{"value":{"entity-type":"item","numeric-id":687633,"id":"Q687633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$192BA37F-243F-4873-A0C9-4AFADBA03688","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":"Q800495$B17FE412-DA98-48E0-A3E8-28A3AE01AF39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q800495$3F2A14E3-D3D5-43CF-8CCF-925E8E930C9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0949c906820d003c7fdc875c8a86f6b601470c74","datavalue":{"value":"https://eudml.org/doc/134739","type":"string"},"datatype":"url"},"type":"statement","id":"Q800495$5D76B3E0-1F45-4EFD-828A-67C84E9131AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"549b092d44a334b0a8bbadcaeab8d586f83f1ddb","datavalue":{"value":"Two elements a, b of a semigroup S are said to be \\({\\mathcal L}^*\\)-related if there is an over-semigroup T of S in which \\(a{\\mathcal L}b\\); \\({\\mathcal R}^*\\)-related elements are defined dually. The semigroup S is said to be a type A semigroup if each \\({\\mathcal L}^*\\), \\({\\mathcal R}^*\\) class contains an idempotent and if, for each \\(a\\in S\\), \\(e\\in E(S)\\), there exist idempotents f, g such that f\\({\\mathcal L}^*ea\\), \\(g{\\mathcal R}^*ae\\) and \\(ea=af\\), \\(ae=ga\\). These semigroups generalize both inverse semigroups and cancellative monoids.    Following the pattern of Green's relations in semigroups, we denote by \\({\\mathcal H}^*\\) the intersection of \\({\\mathcal L}^*\\) and \\({\\mathcal R}^*\\) and by \\({\\mathcal D}^*\\) the join of \\({\\mathcal L}^*\\) and \\({\\mathcal R}^*\\). In general it is not true that \\({\\mathcal L}^*\\) and \\({\\mathcal R}^*\\) commute. Also associated with \\({\\mathcal L}^*\\) and \\({\\mathcal R}^*\\) is the relation \\(\\tilde {\\mathcal D}\\) defined by \\(a\\tilde {\\mathcal D}b\\) if and only if there are idempotents e,f,g,h such that a\\({\\mathcal L}^*e\\), b\\({\\mathcal L}^*f\\), e\\({\\mathcal D}f\\), a\\({\\mathcal R}^*g\\), b\\({\\mathcal R}^*h\\), g\\({\\mathcal D}h\\). On a type A semigroup \\({\\mathcal D}\\subseteq\\tilde {\\mathcal D}\\subseteq {\\mathcal D}^*\\) but in general \\(\\tilde {\\mathcal D}\\neq {\\mathcal D}^*.\\)    The author gives structure and isomorphism theorems for type A semigroups consisting of a single \\(\\tilde {\\mathcal D}\\)-class in which the idempotents form an \\(\\omega\\)-chain under the natural partial order. The results obtained are entirely analogous to \\textit{N. R. Reilly's} structure theorems for \\(\\omega\\)-bisimple semigroups [Proc. Glasg. Math. Assoc. 7, 160-167 (1966; Zbl 0138.019)]. The role played by a group in Reilly's theory is played by a cancellative monoid here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$686A0640-3C1B-4534-8FBE-DC4B3D83CCE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800495$9AA5A892-2800-4F56-918A-7BCE33B361D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800495$8DE54B7F-E511-40E7-9459-97B0D8ED71DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf8cbb79b76b1bd7738cc1be830c800e9760eb0","datavalue":{"value":"3875550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800495$9BA29145-B043-4512-AF23-20ACA46FB9B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$92BADBA3-59C9-4BAA-B033-EB10FDABD565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$99A0B74B-3F95-476A-A646-F8C8179F6D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002ab2bcfa137f4518736ed6ec196c4f3f1a8b51","datavalue":{"value":"cancellative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$9CC2EA15-A90B-4FB9-ACA6-0D9978422189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db9429ec737a100a75daff65970314bca516d25","datavalue":{"value":"Green's relations in semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$4993945F-2EEB-4694-873E-9F8B2EA95F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e7c342a81c332c00e6276ec1aaff5c49111330","datavalue":{"value":"isomorphism theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$91B24820-B238-4121-930E-ADDB77851D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13854c1911ce80f615698b22a5e86323b5047db8","datavalue":{"value":"type A semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800495$FB0B3839-BF13-47CF-B641-0F2A74DD3B57","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":"Q800495$ECA36A4E-83DE-40D9-B8B7-DA507E8F3B4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7dfc9a7ee61aadaa8c3db3a6dbe12c34767c47","datavalue":{"value":{"entity-type":"item","numeric-id":2560329,"id":"Q2560329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$41068D2A-133A-476C-B880-D98ED97CB808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5206f4e28d71e530f003472a52e96ae8a3a1e4e0","datavalue":{"value":{"entity-type":"item","numeric-id":2545178,"id":"Q2545178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$1EC60B95-6AB5-444C-BFD0-4778E7F0EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe053eec56e113511e48b7bce475ac824e01a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4774229,"id":"Q4774229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$56439D22-D9E9-4879-9C6F-BE9E310CBD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576401767b02d3342227de46df697138dc1107ed","datavalue":{"value":{"entity-type":"item","numeric-id":3049018,"id":"Q3049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$D3AF9E63-74C8-4E0B-967A-EF37A4150F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6ff1ffa5086b147d715c5f58284ce436c3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3937578,"id":"Q3937578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$510CA88B-0BCA-42B6-82E1-C381BFDD5CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e559a21c90dbe9eb382a8ef64e87959a860f64","datavalue":{"value":{"entity-type":"item","numeric-id":5735236,"id":"Q5735236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$EB3555DF-4AA9-493B-A42B-9A4C3C101CB0","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":"Q800495$1ED28C2D-EB95-4072-9DC6-176FA22D2A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052da99fb56d2433ddeaa979198e56011ff0f29f","datavalue":{"value":{"entity-type":"item","numeric-id":2562929,"id":"Q2562929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$57E3728B-798A-4162-8618-B64C13262B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7245147d27c25e598a12a3db0ea22e7429e25e","datavalue":{"value":{"entity-type":"item","numeric-id":4050801,"id":"Q4050801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$32AA712C-22AD-4ABB-A26F-D1EB64CEA6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$A289968E-CCDC-455D-B5FC-BE9C3D22DC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5075b8928b0490bbc94e71a6112c34c6fa87ae","datavalue":{"value":{"entity-type":"item","numeric-id":1234761,"id":"Q1234761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$50E1FB98-108F-454B-ACB4-219BDCD17F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2da7307e4326bb9baba0f994506be64e1fa460f","datavalue":{"value":{"entity-type":"item","numeric-id":5551501,"id":"Q5551501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$7166834A-F622-4043-9D72-1D4F958BD5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a3603328fee72750c8328c3f2480eef936b140","datavalue":{"value":{"entity-type":"item","numeric-id":5623906,"id":"Q5623906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$C9FCECDB-1B8A-489A-B05E-9AAEAB9FB943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7c35cd969f853a2ca70629f9eb572cde14d3be","datavalue":{"value":{"entity-type":"item","numeric-id":5512217,"id":"Q5512217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800495$C6CCD513-4BAA-4B46-B3F6-E114C53073F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e4dd4c1f412eb06553b123300b3ec50053fc79","datavalue":{"value":{"entity-type":"item","numeric-id":687634,"id":"Q687634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145902e48759258f5ac08463db60895fe117e597","datavalue":{"value":{"amount":"+0.9299020767211914","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":"Q800495$A5AD98C8-3F9B-44A5-A7CF-D6E966BDD6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76df883f834e3aa268ef940cb4ebb4414508330","datavalue":{"value":{"entity-type":"item","numeric-id":798448,"id":"Q798448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe97e9af23d7e948815d87612bce7ce39bc95a","datavalue":{"value":{"amount":"+0.92471182346344","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":"Q800495$E9D8FD1D-C168-4964-8D61-4798B3D1060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab73867a143861c9cd4efc06b60a3acffe955ea","datavalue":{"value":{"entity-type":"item","numeric-id":377896,"id":"Q377896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5bded9d4beef0c21022f6af4972ee5631eef8cc","datavalue":{"value":{"amount":"+0.8504437804222107","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":"Q800495$AEC10F68-51FC-406F-9643-1767BCAF9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02877790f4f05d9bca2ba5241e47ddfb00bb8dc0","datavalue":{"value":{"entity-type":"item","numeric-id":5499164,"id":"Q5499164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08ec8a802d4bb03b43022a604fb487b00de2a07","datavalue":{"value":{"amount":"+0.8445489406585693","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":"Q800495$4B8B2BAA-43B5-4BF9-8524-2356A022A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef8d9cbe490973df9be41b77c7638878412cbba","datavalue":{"value":{"entity-type":"item","numeric-id":2388924,"id":"Q2388924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb3affa1c9f7b651380f6b8d7c2999b983bec73","datavalue":{"value":{"amount":"+0.8343175053596497","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":"Q800495$072BE9B2-D6E6-4DDD-BECF-F99C9273EDB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800495"}}}}}