{"entities":{"Q931413":{"pageid":933261,"ns":120,"title":"Item:Q931413","lastrevid":65435853,"modified":"2026-04-12T02:34:39Z","type":"item","id":"Q931413","labels":{"en":{"language":"en","value":"On partially ordered semigroups and an abstract set-difference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292856"}},"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":"Q931413$0A780E1E-0103-4253-887D-425BD4FA7D61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f84e3c85eae9c6cc59bb30ed912c224c67086735","datavalue":{"value":{"text":"On partially ordered semigroups and an abstract set-difference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931413$90ACD0B2-54F7-444E-9626-D1B275A91E53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95532daa788868e73b00dea9d0f4129da115f8b7","datavalue":{"value":"1145.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$6886DA44-41C0-4904-886D-125FB1B46865","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d79284677ac425c1cbb1d6d8a074c6548456830","datavalue":{"value":{"entity-type":"item","numeric-id":161476,"id":"Q161476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$EF75DEFC-FEE0-440D-8770-530601C7A3F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931413$F367E45B-BD20-4746-99C3-152B63FD9744","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0baeff38c6a8fcb50ea4f04f0e69cdd2fb07b30","datavalue":{"value":"By an \\(F\\)-semigroup \\((S,+,\\leq)\\) the authors mean a commutative (additive) semigroup with an order on it satisfying the following five properties: (S1) For each \\(a,b,s\\in S\\), \\(a+s\\leq b+s\\) implies \\(a\\leq b\\). (S2) If \\(a\\leq b\\), then \\(a+s\\leq b+s\\) for each \\(s\\in S\\). (S3) If \\(a\\leq s\\) and \\(b\\leq s\\), then the supremum \\(\\sup\\{a,b\\}\\), denoted by \\(a\\vee b\\), exists. (S4) If \\(s\\leq a\\) and \\(s\\leq b\\), then \\(\\inf \\{a,b\\}:=a\\wedge b\\) exists. (S5) If for some \\(a,b,s\\in S\\), \\(a\\vee b\\) and \\((a+s)\\vee (b+s)\\) exist, then \\((a\\vee b)+s\\leq (a+s)\\vee (b+s)\\). That is, a commutative partially ordered semigroup, in the usual sense, which satisfies conditions (S1), (S3)--(S5). The most interesting example of an \\(F\\)-semigroup is the nonempty compact convex sets of a topological vector space endowed with the Minkowski sum as operation and the inclusion relation as the order.  In the present paper, the authors prove that there are commutative semigroups \\(S\\) with an order on \\(S\\) satisfying the axioms (S2)--(S5) but not (S1); those satisfying (S1) and (S3)--(S5) but not (S2); those satisfying (S1), (S2), (S4) and (S5) but not (S3); those satisfying (S1)--(S3) and (S5) but not (S4); and those satisfying (S1)--(S4) but not (S5).  Let now \\((S,+,\\leq)\\) be an \\(F\\)-semigroup. For \\((a,b)\\in S\\times S:=S^2\\) they call the pair \\((a,b)\\) a fraction. They define an equivalence relation and an order relation on the set of fractions as \\((a,b)\\sim (c,d)\\) if and only if \\(a+d=b+c\\), and \\((a,b)\\prec (c,d)\\) if and only if \\(a\\leq c\\) and \\(b\\leq d\\), respectively. The authors define a fraction \\((a,b)\\) to be minimal if for any fraction \\((c,d)\\) such that \\((c,d)\\prec (a,b)\\) and \\((c,d)\\sim (a,b)\\), we have \\((c,d)=(a,b)\\). If \\(S\\) is an \\(F\\)-semigroup, they define the abstract difference of two elements \\(a,b\\in S\\) as the greatest element (if it exists) of the set \\(\\{x\\in S \\mid x+b\\leq a\\}\\) and they apply the abstract difference to characterize the minimal convex fractions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$58A1C38B-5181-4CBE-AB8A-2198336CB874","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"38b192c506b7d9b7a55ff3ae0873880f79c31285","datavalue":{"value":{"entity-type":"item","numeric-id":323591,"id":"Q323591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$CCC97D15-0C32-48F7-87E4-F807763F99F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$A602EFDF-AEA8-4CFF-BF1B-C930612D15C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"999610a0311d73dc2f99b4acc0846f40ddf978bd","datavalue":{"value":"52A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$A3D47A81-3322-4D03-B022-3BC6B8708332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cc0a69df9833551a36455c96769c276a21473cc","datavalue":{"value":"49J52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$B2586201-AF92-4FAD-BAC6-159C2C5CC0CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c7f03e9a5d1cc3e33bef5bff6483f76f3807dc6","datavalue":{"value":"5292856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$0D38598E-EA55-4A8A-BD34-1C7C7761B4AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd274d83b47dbeb8a8dbab132f057eb947411c4","datavalue":{"value":"commutative semigroup with an order","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$8DE2E8EE-E564-46F2-ABB4-8008F21FD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c5298dfee0cbc1dbc4bc0603b3791928e7825a","datavalue":{"value":"\\(F\\)-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$D6A515BA-7EE8-4793-B542-E2EDA888A871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f36f9b8c15f92e0706389a0be511e258b6a3f7","datavalue":{"value":"convex fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$57816104-975D-475E-8B2F-7A236932DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a72cadd152fcea7d3bc2351b27bf34d8011d25b","datavalue":{"value":"minimal fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$9C80E35F-E98A-4292-B7B1-6B1280E18F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22a2427d66c95ef5e730d61d556205c6b2b726cd","datavalue":{"value":"abstract difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$88B0CEEE-1861-434E-944D-CED4871EE781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3172080ded847a127025f9897614249281b018b9","datavalue":{"value":"Minkowski-Pontryagin difference for convex sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q931413$7C249AD1-108E-49F1-8E49-B2A87D38536A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c92f824586e5a81190c7d9a9f8accb391d916fbd","datavalue":{"value":{"entity-type":"item","numeric-id":878160,"id":"Q878160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$A5BC5AD0-6F63-463C-9850-8A2EBAE998EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d623893588cfc91dd481888088358491a1f6ce4","datavalue":{"value":{"entity-type":"item","numeric-id":491222,"id":"Q491222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$C106A8D1-669C-4D5E-9BFC-1335453DAD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e7b9dedaebb48b3dfb4c23e5f1051691e037421","datavalue":{"value":{"entity-type":"item","numeric-id":346793,"id":"Q346793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$6B81319F-33C9-46F4-9B58-AEDA0CDCC238","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":"Q931413$C00CF4CA-96A0-4F0B-B5F9-684C8CC14168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"123a0b1db0cf8fd113f4b70173ab68950c0d6ab3","datavalue":{"value":"https://doi.org/10.1007/s11228-008-0071-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q931413$2B74A39F-6D08-4036-AF00-7434CFF9F525","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff895af06f06260ee10fc4546959a93193688f51","datavalue":{"value":"W1976397911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$F828C0DB-5F8D-4CE7-A623-2C042EDB1485","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$274AD4E9-4065-4737-BC5B-2E6FD297D107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$39F47B13-A6B1-4EA5-93DF-9B9CC0A53DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3f45854c63a98a55de0a1a80037fdcc653f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":812813,"id":"Q812813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$E40D3889-3626-4F47-9687-492D4636ECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e4d0494e49d36a22bc3ae03e0b8f34f5fe0021","datavalue":{"value":{"entity-type":"item","numeric-id":1811420,"id":"Q1811420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$424B65C0-F617-438A-9CF3-6ED6A4FC4E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1189d02b4c522d84b9efd0987f634fa525ca96c3","datavalue":{"value":{"entity-type":"item","numeric-id":4020211,"id":"Q4020211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$75209AC0-2EC9-493C-8588-B053007DC18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61851b4dc7774d1d313c7afe3d865541f309ad91","datavalue":{"value":{"entity-type":"item","numeric-id":1340055,"id":"Q1340055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$71201EBF-F01A-4BD1-A8CF-452B8BD52DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cb468d23df9a3cfb485180543dca967e8581c0","datavalue":{"value":{"entity-type":"item","numeric-id":4406657,"id":"Q4406657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$D9E52002-2100-4351-B47C-CA1B1BA46253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9654f397a5d739f9372bff95a9a96a1bcd71a7a5","datavalue":{"value":{"entity-type":"item","numeric-id":2522652,"id":"Q2522652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$33912196-0222-4243-91E8-27A32C0A60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd532da3bc3c25d308a0430c9ac2643b025f0ea4","datavalue":{"value":{"entity-type":"item","numeric-id":2732686,"id":"Q2732686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931413$D2CEAB57-B149-48FD-83A9-BBBEAEF91031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bbf2f35f299e8fd471e65739b255f52e0b6a87b","datavalue":{"value":"10.1007/S11228-008-0071-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931413$55F5761C-39BB-463B-AAB3-19A6567CEB20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3add85bf8f8a58ee7daa7be215c9df830eb347ee","datavalue":{"value":{"entity-type":"item","numeric-id":3635661,"id":"Q3635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448e557919a75c07658a676c897ce3bc7b36f864","datavalue":{"value":{"amount":"+0.7558411955833435","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":"Q931413$EED26E45-0EC2-4E29-A21A-4520A788F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c58554be7aff51f967409677e298a6fdebc2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4406657,"id":"Q4406657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9657cdb073dc3efc15383112e50f3be7c5ff8fd1","datavalue":{"value":{"amount":"+0.7479866147041321","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":"Q931413$40EEB8AF-C5FA-4970-8399-AB90271ABE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528dbf08819e5f4351a21912faf16ed3a5da0b6","datavalue":{"value":{"entity-type":"item","numeric-id":1185774,"id":"Q1185774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4170e72fc0357139e65a4932578aec7f13ef95cd","datavalue":{"value":{"amount":"+0.747867226600647","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":"Q931413$3BA6CB30-B8C6-494B-B223-044FF5A95C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0130069f97c5240693bf845d409311861eeb6520","datavalue":{"value":{"entity-type":"item","numeric-id":5480831,"id":"Q5480831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2744cf3f5846b36543e8897af9f421af6c7b02d5","datavalue":{"value":{"amount":"+0.7437800765037537","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":"Q931413$7D363341-7DF4-466B-B7FC-7A120702EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b9d0091792c47ed537af8ec74ebc21e707ce12","datavalue":{"value":{"entity-type":"item","numeric-id":4557941,"id":"Q4557941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11be7169fb1d2b4ce77593f091f0d89c0419e734","datavalue":{"value":{"amount":"+0.7148013710975647","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":"Q931413$FAA5ACBD-D661-4A64-B47C-B68B669B5E0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On partially ordered semigroups and an abstract set-difference","badges":[]}}}}}