{"entities":{"Q875201":{"pageid":877049,"ns":120,"title":"Item:Q875201","lastrevid":65035056,"modified":"2026-04-11T23:53:07Z","type":"item","id":"Q875201","labels":{"en":{"language":"en","value":"Decomposition of commutative ordered semigroups into archimedean components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141807"}},"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":"Q875201$FD1DAAA9-FD83-4D0D-98D2-56D9EA13D2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"682b3cc552e90a2bcfd09ee0df748e86e1666e68","datavalue":{"value":{"text":"Decomposition of commutative ordered semigroups into archimedean components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875201$065FA762-CCFF-49A9-9DFD-114BFA501C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b69d793ec1780e76b682db75095d7a272690a00","datavalue":{"value":"1120.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875201$10B87538-F227-40BF-A9DD-EC1B87474D4B","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":"Q875201$16337F35-9D50-45AB-8055-6BAAD3118B23","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":"Q875201$6BD3530D-4AD7-4F2A-A893-658287297768","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875201$F4E202F9-D529-498F-B729-84EC7CEA7EB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0af749fbbed74cbd7e136b26a1ba0dfcff2061d7","datavalue":{"value":{"time":"+2007-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875201$72501AD1-4C14-4CBF-8872-D553A4AC6B34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd432171ebc5989ad50fb21d62ce3f817394b1c","datavalue":{"value":"https://eudml.org/doc/231723","type":"string"},"datatype":"url"},"type":"statement","id":"Q875201$302147B0-628C-43AB-961B-31C69D175EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"17b46e90ebd1edf8f5466fb2a38b86b6be291ff0","datavalue":{"value":"http://www.emis.de/journals/LJM/vol22/46.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q875201$8A4F189B-A505-4D28-9A5B-75E2BE8768E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20d78e926aea26ffde7f1bbd2de4394adf7c2bc3","datavalue":{"value":"The decomposition of a commutative semigroup (without order) into its archimedean components by means of the division relation has been studied in [\\textit{A. H. Clifford} and \\textit{G. B. Preston}, The algebraic theory of semigroups, Am. Math. Soc., Providence, Rhode Island (1961; Zbl 0111.03403)]. In this paper, the authors extend this result to ordered semigroups.  In Section 2, the authors first introduce the division relation ``\\(|\\)'' on ordered semigroups, where the relation ``\\(|\\)'' is defined as follows: \\(a| b\\) if there exists \\(x\\in S^1\\) such that \\(b\\leq ax.\\) Then the authors prove that in commutative ordered semigroups the relation ``\\({\\mathcal N}\\)'' defined by means of filters can be defined in terms of the division relation as well, and show that in commutative ordered semigroups ``\\({\\mathcal N}\\)'' is equal to the relation ``\\(\\eta\\)'' defined by \\(a \\eta b\\) if and only if there exist positive integers \\(m, n\\) such that \\(a| b^{m}\\) and \\(b| a^{n}.\\) As a consequence, when studying the structure of commutative ordered semigroups, one can also use the relation \\(\\eta \\) (instead of \\({\\mathcal N}\\)), which has also been proved to be useful for studying the structure of commutative ordered semigroups.   In Section 3, using the relation \\(\\eta \\) defined above, the authors prove that the commutative ordered semigroups are, uniquely, complete semilattices of archimedean semigroups. That is, they are decomposable into their archimedean components, and the decomposition is unique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q875201$589BA8ED-AC71-4609-9775-730BD97EE264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875201$704136D8-D58D-49EE-BD21-311903ACBAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875201$513D90BE-9A95-428E-B3B7-8BC94DBD1CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6d17b099d90eda00b090970c3e527428e66e03","datavalue":{"value":"5141807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875201$40C760A8-017A-45E1-BFB2-7381D4D88801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q875201$1B617886-5321-4030-B7BF-7F1ED85E793C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3720097860307e6cae16a837222b859450809095","datavalue":{"value":"semilattice congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q875201$B4EFCF79-17E2-4414-AA8E-9DB1903FF4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff480e3fe361517c2881ecf840ffe5433161539","datavalue":{"value":"archimedean ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q875201$6B6BF700-497D-4647-9B7E-71CA5C0C1545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d198da3fb21998b450e197dcebe82f023b5ed6b8","datavalue":{"value":"semilattice of archimedean semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q875201$34A6EDFB-594C-4286-AB70-DBCEFBDCBFB0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cbd8f3a5b435da9455fd165b7b61ac24288ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":171333,"id":"Q171333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875201$4542E12E-F005-480D-A701-666A753E9C13","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":"Q875201$2449E328-B653-4C48-A780-B192C43BEEAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c3da123a25db28ff251d92bcc0bb6f2a94c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1293381,"id":"Q1293381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282e10e925086f4359130cb46b30de22e10054b4","datavalue":{"value":{"amount":"+0.8157019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$4AE713DE-53C8-4531-B362-EF0C62B01345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcb49c6a93e1473d3a083474cf89ba27e23e7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5899945,"id":"Q5899945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c2b55d52726d0de2acb3fa4b45e686f2b9501a","datavalue":{"value":{"amount":"+0.80372614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$E867059A-E047-4562-AD81-5F2E2E570BFB","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":"a6fa4e55dd13bc0cfcf16091e60d4565b0843e39","datavalue":{"value":{"amount":"+0.79825675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$DC5DA520-8AFB-4104-B9F3-4590E7B70D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7df40e50cca6fc850d1d3ec1574f6451e81e05","datavalue":{"value":{"entity-type":"item","numeric-id":1006994,"id":"Q1006994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0165e10aa44aa004dbaf816988e8e3b77d2ba5ff","datavalue":{"value":{"amount":"+0.79395044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$68A08E34-3330-4937-B207-1CB4B17D9DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f985e419cdbb7bb8a14fcc01b5a3495129b146","datavalue":{"value":{"entity-type":"item","numeric-id":5386789,"id":"Q5386789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4ede476adb17b75c7f7f21b0e1a51502fdea9d","datavalue":{"value":{"amount":"+0.77576125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$86710F8B-023F-4858-AB82-14B9806CDE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186486578fec3e5b29d2e563a4f56275dba4466a","datavalue":{"value":{"entity-type":"item","numeric-id":4416117,"id":"Q4416117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8db0d3cb8a27a8850a840cec60f4db5e22d88b","datavalue":{"value":{"amount":"+0.7745235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$3CFEAA6C-010B-468E-BE5E-874F3D65EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e27b88cbcbcfb1938d7e15772256b75f8cf7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1058538,"id":"Q1058538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99af41a4d837ec5399887d7673c665817f5d69c0","datavalue":{"value":{"amount":"+0.77418697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$59291339-C0F0-4ECC-B1EB-778578AC8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd152a5b25651408d297f7240175136344eac49","datavalue":{"value":{"entity-type":"item","numeric-id":3592482,"id":"Q3592482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b3355e69f78966d9a8a46898ec6cd7c172daa7","datavalue":{"value":{"amount":"+0.7713605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$98B94630-7BA8-4DF7-B58D-ECD5D9501136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6faeff5601abb156450d059a8d45bcc96a0cd5c","datavalue":{"value":{"entity-type":"item","numeric-id":1375905,"id":"Q1375905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a6edc154e317faa199e52b7a3f321ce1efa397","datavalue":{"value":{"amount":"+0.7708633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$58908003-B687-446C-BF54-3678B057A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4ac27c5b542dd303064e4abca82b67cf226394","datavalue":{"value":{"entity-type":"item","numeric-id":5232714,"id":"Q5232714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18037977edbedc61e06923bd251b302d5c25866f","datavalue":{"value":{"amount":"+0.76597196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q875201$F3F517AB-472F-4786-A5C0-DC66839A0E43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposition of commutative ordered semigroups into archimedean components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposition_of_commutative_ordered_semigroups_into_archimedean_components"}}}}}