{"entities":{"Q1611019":{"pageid":1621759,"ns":120,"title":"Item:Q1611019","lastrevid":72330360,"modified":"2026-04-14T04:10:30Z","type":"item","id":"Q1611019","labels":{"en":{"language":"en","value":"Chain decomposition of ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784750"}},"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":"Q1611019$14D5D3FA-91B4-4F45-BDF1-16D90E49B3A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e160441a9a90e0cafac8395f1add4dc46bd91c76","datavalue":{"value":{"text":"Chain decomposition of ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611019$AFC3F665-E044-43C8-A6DD-F7FBC64BAC1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee64ded7d9e836dd7a992da518db5dd9b0376e26","datavalue":{"value":"1007.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611019$5013BFED-88D5-4DF0-B294-35ECB2E1342E","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":"Q1611019$1885455D-A7E6-4442-AA01-AF7A3C88C8CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bec408f662d58bd068ba73021454b004ead26f23","datavalue":{"value":{"time":"+2003-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611019$66838652-AFFC-44CC-AFF8-B49C202E6FCB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"889f8e3f0dfc91c64ca81a1c2b764e101df0eee3","datavalue":{"value":"A partially ordered (p.o.) semigroup \\((S,\\cdot ,\\leq)\\) is called a natural ordered semilattice, in particular, chain \\(Y\\) of subsemigroups \\(S_\\alpha \\), \\((\\alpha\\in Y)\\) if \\(a\\leq b\\), \\(a\\in S_\\alpha\\), \\(b\\in S_\\beta\\) imply that \\(\\alpha\\leq \\beta\\) in \\(Y\\). If \\(\\rho\\) is any binary relation on \\(S\\) then \\(S\\) is said to be \\(\\rho\\)-simple if \\(\\rho\\) is the universal relation. Using several particular relations \\(\\rho\\) defined earlier by the author, conditions for \\((S, \\cdot ,\\leq)\\) are given to be a natural ordered chain of \\(\\rho\\)-simple subsemigroups. The definitions of the \\(\\rho\\)'s considered involve left, right, two-sided, or bi-ideals, where ``ideal'' is understood as semigroup and order-ideal. In particular, chain decompositions into \\(t\\)-simple subsemigroups \\(S_\\alpha\\) are studied (as a generalization of semilattices of groups in the non-ordered case): \\((S_\\alpha,\\cdot, \\leq)\\) is \\(t\\)-simple if \\(S_\\alpha\\) is \\({\\mathcal L}\\)- and \\({\\mathcal R}\\)-simple, where \\(a{\\mathcal L}b\\) if and only if the ``left-ideals'' of \\(S_\\alpha\\) generated by \\(a\\) and \\(b\\), respectively, are equal \\(({\\mathcal R}\\) is defined dually). Also, the case of 1-\\((t\\)-)archimedian components is considered: \\((S_\\alpha, \\cdot,\\leq)\\) is 1-\\((t\\)-)archimedian if for all \\(a,b\\in S_\\alpha\\), \\(b^m\\leq xa\\) \\((b^m\\leq axa)\\) for some \\(m\\in\\mathbb{N}\\), \\(x\\in S\\). Up to 15 equivalent conditions for a p.o. semigroup to be a natural ordered chain of subsemigroups of one of the above \\(\\rho\\)-simple kinds are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611019$07A5ED5C-A1FA-4AA2-AA0D-5B56FD805ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611019$2D75AA81-EC30-4B23-81A5-C28F3F7449BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db031fb811288d51f8de8f2919a1955bdc90056a","datavalue":{"value":"1784750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611019$C362D157-DBA7-42DA-8F8E-725394C9FAB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611019$3353F1D0-D99F-4273-8ED1-107213A1362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df14dbaed63fb54a26cff22cb22d07845c40892","datavalue":{"value":"natural ordered chain of \\(\\rho\\)-simple subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611019$159C3CD8-2125-458A-97B9-3A99743317B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"723caff93ab35fb475c237d21e53ad83e0e503e0","datavalue":{"value":{"entity-type":"item","numeric-id":1775323,"id":"Q1775323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611019$E9101082-F6C9-4CF9-947C-8EAFC6B335D0","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":"Q1611019$B980244E-EC77-4B54-9730-120B1989A97C","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":"Q1611019$0D5E7A41-D16D-4A14-AC87-290BAA7C3AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"465a087108e4887a1f5d482af6aa345155a568c8","datavalue":{"value":"https://doi.org/10.1007/s002330010120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1611019$63A10995-06D9-4152-A776-C81AB08A83CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38cde48219b4e1e0a57713113c814d8eb12739eb","datavalue":{"value":"W2003560389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611019$F9ACAADA-525C-4918-AB7C-42F6619C7676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00ea80f6bfd86a1112f1c844a853220979b5f685","datavalue":{"value":"10.1007/S002330010120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611019$ACBAEF40-09B3-4E39-BF5E-FDCDDE129150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f2417c062e932d03ac45188558df7cba1bfc56","datavalue":{"value":{"entity-type":"item","numeric-id":1775324,"id":"Q1775324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8cdbb472acff2513d52f7fc9b64179e121e37c","datavalue":{"value":{"amount":"+0.9213412404060364","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":"Q1611019$DAD448E7-9288-4D92-905F-E88D0A88A712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48573455b100ba5722e805dd99ae0d278b633e","datavalue":{"value":{"entity-type":"item","numeric-id":3021297,"id":"Q3021297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd43d5abc3044ebdc36ae6e6e3de215085df0a86","datavalue":{"value":{"amount":"+0.8347240686416626","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":"Q1611019$AEC3C0A8-DC93-415A-92B5-54715ABD85A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19039dddf25180a1c59affa83018df3a3aa78f51","datavalue":{"value":{"entity-type":"item","numeric-id":4796999,"id":"Q4796999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea87e6cc8ac8d9d63e858cdbf687b3e7b09a6a2c","datavalue":{"value":{"amount":"+0.8230482935905457","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":"Q1611019$F22C5C29-5503-4070-BEF6-CF15C668E108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3551edd77ea3134a9a05b5a77f9732bde5e1c950","datavalue":{"value":{"entity-type":"item","numeric-id":4713300,"id":"Q4713300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daecd2539f8255a83c37050750cbf403025a41cc","datavalue":{"value":{"amount":"+0.8229640126228333","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":"Q1611019$86F3181F-DAAE-4822-923C-73E9E4D7AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb93fefb1a1bc562b4b2e922fd6f3d746028d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5279557,"id":"Q5279557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3233d87fed8ddf8256f50ffbaa5a176201cd02e","datavalue":{"value":{"amount":"+0.8175101280212402","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":"Q1611019$E94BB482-54DC-42BA-985E-C2E52BC8F9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chain decomposition of ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chain_decomposition_of_ordered_semigroups"}}}}}