{"entities":{"Q932677":{"pageid":934525,"ns":120,"title":"Item:Q932677","lastrevid":65477616,"modified":"2026-04-12T02:51:54Z","type":"item","id":"Q932677","labels":{"en":{"language":"en","value":"Binary relations and reduced hypergroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5300673"}},"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":"Q932677$9B8307CC-6255-4779-A116-86A41B14A6A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beaffdc0f05ba9bcf23a697d33766a15f5c20970","datavalue":{"value":{"text":"Binary relations and reduced hypergroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932677$16EE75C6-A572-4FCF-B426-AE231D81E76D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0771f161d46d22e73e7212abcf9d7985cbf026f2","datavalue":{"value":"1148.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$51DC44D7-A00E-4C25-8078-EFBF6303E7C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d81edee3f66cc1b44950e1c21710f0f7565a67d1","datavalue":{"value":{"entity-type":"item","numeric-id":607366,"id":"Q607366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$1C293502-1DA3-4E17-81EC-806E4E352E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aee73d60939ca49c40dc67de11d8d488df325d8","datavalue":{"value":{"entity-type":"item","numeric-id":587906,"id":"Q587906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$2CD9DFC4-4CFD-40BF-B947-4BDEC9F0C86E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$3F98808A-6FA3-41EF-9F3C-0E29C3FA91CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37182800059ed633e356c0f78cd13f10c8c7f234","datavalue":{"value":{"time":"+2008-07-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":"Q932677$A7ED7C28-D150-49F6-8A1F-8FC583926AF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ede1077f68fa9708d4b82ff3de2a7a3e23c55ca","datavalue":{"value":"Let \\(H\\) be a nonempty set, \\(\\mathcal P(H)^*\\) the family of nonempty subsets of \\(H\\) and \\(\\cdot\\) a hyperoperation in \\(H\\), that is, \\(\\cdot\\colon H\\times H\\to\\mathcal P(H)^*\\). J. Jantosciak defined three fundamental equivalence relations on any hypergroupoid \\((H,\\cdot)\\) as follows: Let \\(x,y\\in H\\), then (i) \\(x\\) and \\(y\\) are said to be operationally equivalent if \\(xa=ya\\) and \\(ax=ay\\), \\(\\forall a\\in H\\). (ii) \\(x\\) and \\(y\\) are said to be inseparable if for all \\(a,b\\in H\\), \\(x\\in ab\\) iff \\(y\\in ab\\). (iii) \\(x\\) and \\(y\\) are said to be essentially indistinguishable if \\(x\\) and \\(y\\) are operationally equivalent and inseparable. The last equivalence relation is denoted by \\(\\sim_e\\) and for any \\(x\\in H\\), the equivalence class of \\(x\\) is represented by \\(\\widehat x_e\\). We say that a hypergroup \\((H,\\cdot)\\) is `reduced' if its essentially indistinguishable classes are trivial, i.e., singletons. \\textit{J. Jantosciak} [Algebraic hyperstructures and applications, Proc. 4th Int. Congr., Xanthi/Greece 1990, 119-122 (1991; Zbl 0791.20087)] showed that for any hypergroup \\((H,\\cdot)\\), the quotient hypergroup \\((H/\\!\\sim_e,*)\\) is a reduced hypergroup, where the hyperoperation \\(*\\) is defined by \\(\\widehat x_e*\\widehat y_e=\\{\\widehat z_e\\mid z\\in xy\\}\\).   On the other hand, \\textit{I. G. Rosenberg} [Ital. J. Pure Appl. Math. 4, 93-101 (1998; Zbl 0962.20055)] has associated a partial hypergroupoid \\(\\mathbb{H}_\\rho=(H,\\cdot)\\) with a binary relation \\(\\rho\\) defined on a set \\(H\\), where, for any \\(x,y\\in H\\), \\(xy=\\{z\\in H\\mid(x,z)\\in\\rho\\) or \\((y,z)\\in\\rho\\}\\), and he proved that under certain conditions \\(\\mathbb{H}_\\rho=(H,\\cdot)\\) is a hypergroup. Then \\textit{P. Corsini} and \\textit{V. Leoreanu} [Algebra Univers. 43, No. 4, 321-330 (2000; Zbl 1016.20056)] investigated this notion further and derived some results.   The paper under review deals with binary relations and reduced hypergroups. The authors present a necessary and sufficient condition such that the hypergroup \\(\\mathbb{H}_\\rho\\) associated to a binary relation \\(\\rho\\) is reduced. Moreover, given two binary relations \\(\\rho\\) and \\(\\sigma\\) defined on a set \\(H\\), they investigate when the hypergroups \\(\\mathbb{H}_{\\rho\\cap\\sigma}\\), \\(\\mathbb{H}_{\\rho\\cup\\sigma}\\) and \\(\\mathbb{H}_{\\rho\\sigma}\\) are reduced. Finally, they prove that the Cartesian product of two hypergroups is reduced if and only if each of its components is reduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q932677$BB5E534C-5D52-4EE4-A8E8-30651DE7C394","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"48628d30d5643f8539e03d6f136f60aba491a04d","datavalue":{"value":{"entity-type":"item","numeric-id":592500,"id":"Q592500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$09D1A51F-3F6F-439D-9719-B4FCDA6101A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57e295de24b7286d54e83b23bfd2cf390af54663","datavalue":{"value":"20N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$C87D8908-3F4C-444D-B825-A376FBCE6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$4C1D195F-2B5E-4018-98EA-7F9F274A54B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc713a29bd13cd73416b7514f891334673d5f02d","datavalue":{"value":"5300673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$86A27A9C-BA5A-4031-969D-71817BAC31F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b4c9812dd708303b20e5f04da3cb8a00b50a6bd","datavalue":{"value":"reduced hypergroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q932677$21468758-387C-44E7-A833-4F3B3EF77192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q932677$9E64D367-E37E-4D59-9AE6-551E32D999D9","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":"Q932677$3C0B7948-4D68-4B7E-8209-3F3BBA0A454C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51d937ff929f855ced0fea43ca1d00da17de7bfd","datavalue":{"value":"https://doi.org/10.1016/j.disc.2007.07.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q932677$E5ED88B2-D00F-4A9F-A902-3031D98851E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3309c1f06f81c6652c5b06cb13f90f22a390712c","datavalue":{"value":"W2062635815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$9E2507EA-1E1A-461E-947D-DE253A3140A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02da49203d04c03a04cd86edc21f3ee50d90c75","datavalue":{"value":{"entity-type":"item","numeric-id":4839128,"id":"Q4839128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$0E3EB903-9DB3-40F8-9B2F-67869E7D784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68528c8e3b88bcc678631f9b59aeed6e6b156c4c","datavalue":{"value":{"entity-type":"item","numeric-id":3137919,"id":"Q3137919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$9222DC14-4D36-48E6-AB4B-74080672F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad84492596f797b0572677b3c4587eff4db8c533","datavalue":{"value":{"entity-type":"item","numeric-id":4542617,"id":"Q4542617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$588107E5-064A-44F1-9F70-4840F320E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c4ddd8b0897ec8b5b0cc41d03fe3a20b7fdb88","datavalue":{"value":{"entity-type":"item","numeric-id":2706753,"id":"Q2706753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$4B11E52B-4408-4992-9C89-BDA51B760BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb89c33f52ad59aaf40efcaf2fe176fb7c22074","datavalue":{"value":{"entity-type":"item","numeric-id":1866819,"id":"Q1866819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$AB794186-D05D-4B46-B314-4FFBBDB0F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5dd8faf0af5414c9d0509029c0dfeb5ccad34e","datavalue":{"value":{"entity-type":"item","numeric-id":4706962,"id":"Q4706962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$446A35BB-0F39-4735-B964-7A70F6877162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ea3847406223c8e2bdd91d6339be1468a3cdc7","datavalue":{"value":{"entity-type":"item","numeric-id":4804770,"id":"Q4804770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$C348F1F1-B0BE-49F9-B8D5-2CEE57B03960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cdcde5131afac3846579de5ca751d8e705f2d2","datavalue":{"value":{"entity-type":"item","numeric-id":3981975,"id":"Q3981975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$C262283F-5DE7-4873-8EEC-9D693F0E2BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac4a7b655d02bef3eb5658a83e7ce3b39c010f","datavalue":{"value":{"entity-type":"item","numeric-id":3975645,"id":"Q3975645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$05086AFE-7C58-447F-9F35-269205423C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3ec4b88a763c6d510af607060192df21e68ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5758708,"id":"Q5758708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$F6A34703-A0B8-4356-96C1-942BE9D126B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7037c68531ecc1894d9ae6ac1da6b4adebb343c8","datavalue":{"value":{"entity-type":"item","numeric-id":4513488,"id":"Q4513488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$E7554217-031E-4115-A4AA-7CA44DE3815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d61f3f7ead455f607b351bcc55e47049d87b28","datavalue":{"value":{"entity-type":"item","numeric-id":5489586,"id":"Q5489586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$B7F76D4A-F0FB-4453-8ACF-FB706E53C533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a55706c1b8926aa9ee439d89113e2db187f0554","datavalue":{"value":{"entity-type":"item","numeric-id":5193113,"id":"Q5193113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$E5BDC827-77CB-42FE-B64A-E01975903703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b4255fef0e962ae082609d2d333ea378be752b","datavalue":{"value":{"entity-type":"item","numeric-id":2494710,"id":"Q2494710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932677$90C15ECE-56A6-474D-AE5E-31ED2417DA50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5150334c92d69a7b423caca8bef4541fe400d4b","datavalue":{"value":"10.1016/J.DISC.2007.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932677$B34736FB-0D3D-4C1F-AC0D-64760AE251F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3032a6180837afe56b58a73bbfbe79a8581eebbe","datavalue":{"value":{"entity-type":"item","numeric-id":3975645,"id":"Q3975645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19b7fb68e5a43b17f4ce1170bd8ddf0c138d3d2","datavalue":{"value":{"amount":"+0.910333514213562","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":"Q932677$E8697D46-E746-4011-8ED6-A0FC37FBDCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b20cbf4bff14ad00aca69a4f7439f94a550cab3","datavalue":{"value":{"entity-type":"item","numeric-id":4804770,"id":"Q4804770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f783d32c706624dd8e83285396a3a5b15754e03","datavalue":{"value":{"amount":"+0.9098494648933412","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":"Q932677$0C4A5CCA-0326-4979-B253-B809A6D7D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692544529277a0ca8e33a38fa85e6ac2011967","datavalue":{"value":{"entity-type":"item","numeric-id":607368,"id":"Q607368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef75c3755e24872ab65e61f000c47eef190b781","datavalue":{"value":{"amount":"+0.8778705596923828","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":"Q932677$AB99E393-A474-4A2F-B43E-D61F7CA0FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f67612a85a8f8f91e8ff774738b79d7adc6d9ec","datavalue":{"value":{"entity-type":"item","numeric-id":4542617,"id":"Q4542617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1feed5b6fae3f235c48c033a587e76b2bcaf3470","datavalue":{"value":{"amount":"+0.8571634888648987","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":"Q932677$2EBFD36B-BDEB-460D-B63B-B1D50D170443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d71c23234f7ee22f74a20371a178d736b7b255","datavalue":{"value":{"entity-type":"item","numeric-id":3981975,"id":"Q3981975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71521a12f9a7480bae8e8fdea4bccfea6f6af67b","datavalue":{"value":{"amount":"+0.8503698706626892","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":"Q932677$BE354202-247C-46A5-A1BE-A826D6FD159B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary relations and reduced hypergroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_relations_and_reduced_hypergroups."}}}}}