{"entities":{"Q5929669":{"pageid":8106471,"ns":120,"title":"Item:Q5929669","lastrevid":93588887,"modified":"2026-06-05T04:39:36Z","type":"item","id":"Q5929669","labels":{"en":{"language":"en","value":"Implicative partially ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1586333"}},"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":"Q5929669$037CA29B-925A-47EE-B065-A52D11C0BFB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18900ad3b89e44644b9ce0b98ff0154040898e30","datavalue":{"value":{"text":"Implicative partially ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929669$1C3377A6-FA4D-4210-88FC-263705C354F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fc465b1969a4530457c478645f1417895f2da37","datavalue":{"value":"0980.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929669$E5EADAF8-9EE4-45C1-8625-78DB4668C7B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a22607fbf3be521927e21ac383605463026368b9","datavalue":{"value":{"entity-type":"item","numeric-id":171312,"id":"Q171312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929669$B20C4EEC-CF5B-4759-BD32-E4B012675A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a8b324d5d4703fc878d391ed8f489fe79b3c2b","datavalue":{"value":{"entity-type":"item","numeric-id":171313,"id":"Q171313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929669$0CD98ECE-044E-4769-8CFA-2F07FC6D66A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929669$46F56283-AEAF-4DDA-9737-D84EFA50858C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3bd111750c8b25e26eea9a9c3e259543f891eef","datavalue":{"value":{"time":"+2001-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5929669$13244585-E698-4D9C-BEC4-63DEDF96B91C","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":"Q5929669$1E7A781E-B985-4D88-8DDD-347CF46412CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929669$6407B3A3-6B49-40C5-8C49-12E60B3F59FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"089bd8fbe240f8863803b70e591dc4981460fd09","datavalue":{"value":"1586333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929669$FE72B8F9-D8DD-45A2-85B8-FFDF918B9D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f726109390779004502f3b9eb7b5ec02f5dbe58f","datavalue":{"value":"strong filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929669$D485BEC5-9FFD-4CD7-AE7C-B43504ED619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473b8d9007a95307eb88206a1f55f2ebefc33932","datavalue":{"value":"implicative partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929669$293B142C-C2E9-498B-BAB9-4F38CA05B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8a58609f808cda4312296ca4146a29c12a4987","datavalue":{"value":"convex congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929669$75EC62DC-157B-4049-B106-2C589794F865","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":"Q5929669$8E04DF51-79DC-4FA1-8646-C9FD4DF30FC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02f20c5370df9285ca1cbd7fa00f4d9fbf26147","datavalue":{"value":{"entity-type":"item","numeric-id":1607733,"id":"Q1607733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cff6654cd006d78af4f5bde6d0b74ff3f0f6d1","datavalue":{"value":{"amount":"+0.8244719","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":"Q5929669$5FAFE458-8152-4795-8588-6CAF3C97130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6c4c564b8f19db2db60ada750b2a5354df3a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4954995,"id":"Q4954995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07fee3c335d984fdadcb75dda64fd012519bcc9","datavalue":{"value":{"amount":"+0.82402694","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":"Q5929669$7161C1CB-8816-4474-B38C-551D40BB6307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9d67f2e68b16b432556a43d592d6ecf2ad7b50","datavalue":{"value":{"entity-type":"item","numeric-id":4351506,"id":"Q4351506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25f20421c3a8de491fc4fc24f301ae5a5197adb","datavalue":{"value":{"amount":"+0.81609786","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":"Q5929669$1124500D-ABED-4E2B-872B-62B7A1975888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c24e158f7e39945c4eec5b888597eb9965d9028","datavalue":{"value":{"entity-type":"item","numeric-id":3636532,"id":"Q3636532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93837ce60b77eb42e41162299f3fb1a99ee8bed4","datavalue":{"value":{"amount":"+0.80845714","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":"Q5929669$67C0A039-3BE9-461D-A39D-E1F7D177E517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e3182de48d5583011d115c38a4dd92a89284b9","datavalue":{"value":{"entity-type":"item","numeric-id":2365283,"id":"Q2365283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79476b881791357267207afe1d7bb44a397a5dbd","datavalue":{"value":{"amount":"+0.79988503","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":"Q5929669$36EE145B-269C-4F3E-8F34-D163E855759F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9284b13dbfb2eab81cca26745e9b778467d29aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4245026,"id":"Q4245026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61b17dafb46eaec422ce53c0613d8d32a43170d","datavalue":{"value":{"amount":"+0.7939031","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":"Q5929669$28F16D36-1A83-4FFA-A810-B88E6FA5069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f12591b9fbae0d39452ce09f9e9e5125af3ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1580304,"id":"Q1580304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47550cea91e0b5a5d53c963fd2aa1f27cff89bc1","datavalue":{"value":{"amount":"+0.78664136","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":"Q5929669$0EFAFABA-4F02-4A87-BA56-3CDA911001DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33501083452fb68985c07f6538ae284f3ba9b353","datavalue":{"value":{"entity-type":"item","numeric-id":3113939,"id":"Q3113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ec0cbf4ea2340d0256197cdf651fa952395cf8","datavalue":{"value":{"amount":"+0.78541076","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":"Q5929669$14C3CE7A-07B6-4383-B420-9D4AE10F23A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07f1e1eb00a172dcc4316512c56550a8ed04f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1434112,"id":"Q1434112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f882598fb2218dfdbddb5c7ffe982066d5163d1a","datavalue":{"value":{"amount":"+0.7787664","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":"Q5929669$0CFBA7AE-47DF-4E49-8253-7BFFF6850591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ce50a861118e8055a828001df4259124457b3c","datavalue":{"value":{"entity-type":"item","numeric-id":925626,"id":"Q925626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0019fc016aadda3849755521adb3334813663dd3","datavalue":{"value":{"amount":"+0.7781115","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":"Q5929669$2FE9D73F-92B4-434A-AA0A-E1598A8315D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64b270bc96cc3d5fc04edc04e1bd356aea7a5662","datavalue":{"value":"A partially ordered semigroup \\((S,\\cdot,\\leq)\\) is called implicative if \\((S,\\cdot)\\) has an identity which is maximal in \\((S,\\leq)\\), and if for all \\(x,y\\in S\\) the set \\(\\{z\\in S\\mid zx\\leq y\\}\\) has a greatest element denoted by \\(x * y\\). This concept generalizes the notion of implicative semilattice [\\textit{W. C. Nemitz}, ``Implicative semi-lattices'', Trans. Am. Math. Soc. 117, 128-142 (1965; Zbl 0128.24804)]. Several properties of such semigroups are derived and the concept of a strong filter is introduced. For any implicative partially ordered semigroup it is shown that (1) if \\(F\\) is a strong filter of \\(S\\) then the relation: \\(xR_Fy\\) if and only if \\(cx\\leq y\\) and \\(dy\\leq x\\) for some \\(c,d\\in F\\), is a congruence on \\((S,\\cdot,*)\\); (2) a binary relation \\(R\\) on \\(S\\) is a convex congruence on \\(S\\) if and only if \\(F_1=\\{x\\in S\\mid xR1\\}\\) is a strong filter of \\(S\\) and \\(R=R_{F_1}\\); (3) if a strong filter \\(F\\) satisfies also \\(x*y\\in F\\) for all \\(x,y\\in F\\), then \\(S/R_F\\) forms an implicative partially ordered semigroup with respect to: \\(F_x\\preceq F_y\\) if and only if \\(cx\\leq y\\) for some \\(c\\in F\\). The main result of the paper states that every implicative partially ordered semigroup \\(S\\) is isomorphic with the direct product \\(N_X\\times T_S\\), if \\(N_S\\) denotes the set \\(\\{x\\in S\\mid x\\leq 1\\}\\) and if \\(T_S=\\{x\\in S\\mid x\\) is maximal in \\((S,\\leq)\\}\\) is closed with respect to the operation \\(*\\). NEWLINENEWLINENEWLINEReviewer's remark. The reason why the concept of a residual (well established in the literature [see: \\textit{L. Fuchs}, Partially ordered algebraic systems. Oxford etc.: Pergamon Press (1963; Zbl 0137.02001); or \\textit{T. S. Blyth} and \\textit{M. Janowitz}, Residuation theory. Oxford etc.: Pergamon Press (1972; Zbl 0301.06001)]) is avoided, is not clear. The origin in the theory of implicative semilattices would also allow a generalization in this direction: \\(x*y=\\max\\{z\\in S\\mid zy\\leq x\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929669$85A3C5E3-EE2E-449D-82CA-474606DFA5E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicative partially ordered semigroups","badges":[]}}}}}