{"entities":{"Q1346300":{"pageid":1357039,"ns":120,"title":"Item:Q1346300","lastrevid":67196637,"modified":"2026-04-12T15:58:49Z","type":"item","id":"Q1346300","labels":{"en":{"language":"en","value":"On subdirectly irreducible ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736951"}},"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":"Q1346300$7A0DCCE1-4B22-4DF7-B7BA-24F5BEB692F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f41cc756954153805233e856581cfc1027ffba0e","datavalue":{"value":{"text":"On subdirectly irreducible ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346300$E2510460-430E-4203-B2DD-34C4A8BDE33A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2f71a457fb8ff971274b379f8b089451b7597ae","datavalue":{"value":"0823.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346300$EF5C4BAF-0994-4C08-9C94-1BFC69133953","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec3ee8c03b4b8efc5a948f7d55c22c7ccb06498","datavalue":{"value":"10.1007/BF02573514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346300$484D4805-63BB-47CA-92E5-30D9D07F7B8C","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":"Q1346300$F7DEB9A4-B45F-46A6-9F64-98A996C4707F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd1c8c4982b9511bde5eecec899d6a228c1a7c7","datavalue":{"value":{"time":"+1995-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346300$9B7624F6-E877-4638-BC43-14AD2CCE10E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1017650c36860d3c4fdf3789752fea652fb9d9d4","datavalue":{"value":"https://eudml.org/doc/135376","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346300$10A58A4E-2186-4C98-8EDE-D8CB50E0FCD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c92592d35ad0d88b65d60e3b81344f59e916a1c8","datavalue":{"value":"Let \\((S,\\cdot, \\leq)\\) be a partially ordered (p.o.) semigroup. A transitive relation on \\(S\\) containing \\(\\leq\\) and compatible on both sides with multiplication is called a pseudoorder of \\(S\\). It is shown that for every pseudoorder there is a congruence on \\(S\\) such that the factor semigroup is a p.o. semigroup in a quite natural way. The concept of pseudoorder is then used to construct subdirect decompositions of a p.o. semigroup. \\((S,\\cdot, \\leq)\\) is called subdirectly irreducible if whenever \\(S\\) is a subdirect product of p.o. semigroups \\(S_ \\alpha\\) \\((\\alpha\\in A)\\) then there exists \\(\\beta\\in A\\) such that the projection \\(\\pi_ \\beta\\) onto \\(S_ \\beta\\) satisfies: \\(\\pi_ \\beta(x)\\leq_ \\beta \\pi_ \\beta(y)\\Rightarrow x\\leq y\\). It is proved that \\(S\\) is subdirectly irreducible iff the intersection of all pseudoorders different from \\(\\leq\\) on \\(S\\) is a pseudoorder \\(\\neq\\leq\\). In particular, any p.o. semigroup having a least pseudoorder \\(\\neq\\leq\\) is subdirectly irreducible. As an application, a decomposition of the additive semigroup of natural numbers ordered in the usual way into a subdirect product of subdirectly irreducible p.o. semigroups is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$94E40F1B-A7B5-4B74-9602-30656CD25221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346300$C89613AC-5596-4CDB-9F1B-2254527E5E65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66798d047401469f4ec7d333969f415cc4ea31b6","datavalue":{"value":"736951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346300$0BE8888B-EBDC-4F0D-BB70-CB97AE26A80D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$71AF427D-0782-45DE-ACD7-D1A4CAF23BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b3c9097ecc03448e944971d0168117c6eae66","datavalue":{"value":"pseudoorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$041E9A6D-36CC-4BAC-8096-167599A62B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a42b00b179ad4722bf1530de7b6dec1f9e8378","datavalue":{"value":"factor semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$F3311D99-2CD9-47C4-9744-F582CABC24A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dd1e54486daf565ed2c968a2fcbd9c9ede700c","datavalue":{"value":"subdirect decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$3560DAC2-AB81-4B40-9699-6131E8039B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346300$550B6A33-F726-4E5B-867C-62132AFA2933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"795053ce291a25b32a325e72ea90a1012426748e","datavalue":{"value":{"entity-type":"item","numeric-id":323591,"id":"Q323591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$A19A7B66-591D-4BAE-8BA7-BD42248CAF34","rank":"normal"},{"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":"Q1346300$1EAD6F97-CA2B-4001-8758-2492BEFBB83A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$F87CE035-FBEB-4CAF-85A1-27F7A464FA62","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":"Q1346300$3F2D6181-5C6C-47DF-B94B-1CA3527AC67E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$5C6CCCA1-536A-4013-AC4D-0511B961A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$71AA98EE-2964-4D62-9F91-E0272AF40EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f70eb811b9552e61e68e98c675c2bcdae9b7280","datavalue":{"value":{"entity-type":"item","numeric-id":1186836,"id":"Q1186836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$AC04836B-930D-46A0-ABC8-6210576857D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b315e279d77a785dd7928a836d0e5bbed9f2c083","datavalue":{"value":{"entity-type":"item","numeric-id":3980008,"id":"Q3980008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$FD9AB151-3491-4A59-A66E-AEB4F87B8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$3A823206-01F9-458E-8BB2-6378EF4B05BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddae899efc1f0db42307ffe371ecab164b64ab5","datavalue":{"value":{"entity-type":"item","numeric-id":5331544,"id":"Q5331544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346300$0FBF043F-2D83-41AD-8AFE-289F61EC858C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d28a890df7edde86f9c0a32333400b62c20071f","datavalue":{"value":{"entity-type":"item","numeric-id":792362,"id":"Q792362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8d821a5616354ee9456f07e46609167ef8ffd7","datavalue":{"value":{"amount":"+0.9647924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$D8DFB657-093D-469C-9463-99B3FFB87D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c795ef7e451f446d777da99dbe7ae5b91ec2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5155105,"id":"Q5155105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeee9fe7b8d5ae0b35c45b1e0d820ae9d4a99bef","datavalue":{"value":{"amount":"+0.9260529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$43C6DD0C-F352-402F-A4E9-369D0BCF75E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77aa2a2202973f9f038850ebe1858e413f053c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4613659,"id":"Q4613659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83974ecf285dab00c057e088d87a61818d27c4f2","datavalue":{"value":{"amount":"+0.9146676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$78F9C766-EE6A-4FD0-97BD-0E3F1D80BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce9271be36a0eef127a762beb0910203ad22ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5687373,"id":"Q5687373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9037eba359713236979e0741db66b0d1f531ee05","datavalue":{"value":{"amount":"+0.9128048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$E1808BB1-DC77-4F11-9112-E878400DC3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c53936ca310046fca4db69bae25a8a13c15608d","datavalue":{"value":{"entity-type":"item","numeric-id":4359736,"id":"Q4359736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3941d81f0047a82e5a03a09438c5375ac02a49e3","datavalue":{"value":{"amount":"+0.91106164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$9F924876-6C5E-4804-9AA4-2CAA89471404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f364605723b66789544aab53d6ba75f3b8a0d45","datavalue":{"value":{"entity-type":"item","numeric-id":1209279,"id":"Q1209279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95214dcac8a0b1afb89e25622019fd0a88d90847","datavalue":{"value":{"amount":"+0.9092932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$503E854D-AA07-4523-9364-D1D91600524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747e1fe216e0be14edcbcd193bf470b1ef0eceb3","datavalue":{"value":{"entity-type":"item","numeric-id":1204137,"id":"Q1204137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b19ea972e18562a876a57aff50d7fd18bb6d29","datavalue":{"value":{"amount":"+0.90809876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$A70AD941-C1BF-4BBA-8FF4-0792E68A5E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415ecef31b59b258911629b40c6654de96cdeac1","datavalue":{"value":{"entity-type":"item","numeric-id":3329654,"id":"Q3329654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d136224aedfcf193853ea4eda18140147ecc9f11","datavalue":{"value":{"amount":"+0.9041264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$C0E8E951-53C3-49BD-9380-82653611F7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ae3b659cc222cca8db1c105419a8917a9051d2","datavalue":{"value":{"entity-type":"item","numeric-id":4718956,"id":"Q4718956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1da442d555f1aaca885c961255404d1a91ddfd","datavalue":{"value":{"amount":"+0.9036719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$59AC6B16-64A4-4E09-BF2D-D24ED54044A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a0bc1c112faaa24c6a3cde33c2548b4458b71e","datavalue":{"value":{"entity-type":"item","numeric-id":1383298,"id":"Q1383298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c445308e54b332937c4364315a53ba7224a907","datavalue":{"value":{"amount":"+0.9036449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346300$491CB2FD-D1EA-4F31-8A5F-6E2818741751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subdirectly irreducible ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subdirectly_irreducible_ordered_semigroups"}}}}}