{"entities":{"Q7310663":{"pageid":31277674,"ns":120,"title":"Item:Q7310663","lastrevid":105091336,"modified":"2026-09-16T15:34:05Z","type":"item","id":"Q7310663","labels":{"en":{"language":"en","value":"Orthodox ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236743"}},"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":"Q7310663$911691C0-4B9C-4296-993D-01D2DAC12CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1ce6e50558a5f1500e109b2f0f9bee11bcde001","datavalue":{"value":{"text":"Orthodox ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310663$911A6C36-C6D9-44DB-AD8F-185190661E30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86cd38f90b9ac9ca9abec5e9f9f591ddd61816b6","datavalue":{"value":"10.1007/S00233-026-10613-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310663$D801BC60-E665-437F-B34A-2394EA0C31BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe2ac444b61133352055174c7133ce289ac8df6","datavalue":{"value":{"entity-type":"item","numeric-id":444688,"id":"Q444688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$EF74E623-B198-4345-8D7F-6638014CBD8E","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":"Q7310663$433C4E75-A272-4391-BBA4-9F344F79D3CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2db237d35ffa80a4aa6f9132c8321fc7ab1fb91","datavalue":{"value":{"time":"+2026-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310663$267DEF21-4F20-432A-87C5-E80ED8BDD47F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fad832ab1894501a5ab946e7e0d72982bfe18e5e","datavalue":{"value":"A (generalized) idempotent of an ordered semigroup \\(S\\) is an element \\(e\\in S\\) such that \\(e\\le e^2\\) (respectively, such that \\(e\\) and \\(e^2\\) belong to the same class of the congruence on \\(S\\) generated by \\(\\le\\)). The author calls an ordered semigroup \\(S\\) orthodox if \\(S\\) contains an idempotent and the product of any two idempotents of \\(S\\) is a generalized idempotent. An inverse of an element \\(a\\) of an ordered semigroup is an element \\(b\\) such that \\(aba\\le a\\) and \\(bab\\le b\\). An ordered semigroup \\(S\\) is regular if every element of \\(S\\) has an inverse. The author proves that a regular ordered semigroup \\(S\\) is orthodox if and only if every inverse of every idempotent in \\(S\\) is a generalized idempotent (Theorem 3.1). This result is analogous to a lemma by \\textit{N. R. Reilly} and \\textit{H. E. Scheiblich} [Pac. J. Math. 23, 349--360 (1967; Zbl 0159.02503)] and reduces to that lemma when the order relation \\(\\le\\) is equality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7310663$741B6F4E-528D-4D22-B965-397C5C606D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310663$6FA7A87D-B5CB-4474-BB2E-A17CAB9F7D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310663$549A5384-7B87-4F31-896E-FD3A8F850D09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2398977c8ba3f41643fef8acf47d9aae286315a5","datavalue":{"value":"8236743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310663$24B0D2EC-0953-4038-9F13-968810949FD3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$C99115D2-10E3-48BF-A128-546D44EF49BB","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":"Q7310663$C732E257-B88E-4627-98FF-AED81C078520","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fcad86fb5ac29e07250522d6d30e4c781fd092","datavalue":{"value":{"entity-type":"item","numeric-id":5560309,"id":"Q5560309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$7E670A7E-7E38-495E-8FC5-751B12630D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94ad15e9814ec16bfebfd540f51e6dbc3fe95d9","datavalue":{"value":{"entity-type":"item","numeric-id":2547965,"id":"Q2547965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$47DBAE08-FDF9-436A-92F3-2FCEDA089933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30bee4a3a367c2481d041609d1874e0ce1dea94","datavalue":{"value":{"entity-type":"item","numeric-id":5921455,"id":"Q5921455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$DEB656A7-89C7-4285-A63A-15552E111D7A","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":"Q7310663$6AADE6B8-1619-413C-8029-1CB7E845F98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f04649805a4d62e12e1fa30945744ddf62a87a","datavalue":{"value":{"entity-type":"item","numeric-id":5920827,"id":"Q5920827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$FB47ED36-F187-4049-91AE-7178908E4551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd662db951dde6e9eaa1e16c8b0a0f9a3593e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":7029051,"id":"Q7029051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$C1716254-7CFC-4730-B309-E8889A3D4336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa43efde9fea6baa5c122da2992463bcd8ccc100","datavalue":{"value":{"entity-type":"item","numeric-id":2540566,"id":"Q2540566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310663$6E1F7289-F44E-4F9C-AFE5-943E59F4871F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthodox ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthodox_ordered_semigroups"}}}}}