{"entities":{"Q752817":{"pageid":754666,"ns":120,"title":"Item:Q752817","lastrevid":64112937,"modified":"2026-04-11T17:43:46Z","type":"item","id":"Q752817","labels":{"en":{"language":"en","value":"Strongly distributive multiplicative hyperrings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179591"}},"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":"Q752817$EBF6FD8F-BF7C-47F7-B9B8-BD4B27B44C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"552bc5f65c5815cbc2a10463c79ce95a485ed457","datavalue":{"value":{"text":"Strongly distributive multiplicative hyperrings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752817$E4A4AB12-6CC6-413F-8ED8-1462372E0607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fe4fc44d782d6a42882246be5d2ee5e14f6b62a","datavalue":{"value":"0716.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752817$609E0854-E9A8-49EE-B931-EC1B6E32D412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7321d2ff4391b47271a2a16a95b1a5e859549027","datavalue":{"value":"10.1007/BF01222145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752817$E2BE8ED5-12F1-44B5-A6DD-D0C84B760ACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7ca582b5990909ae943146d1849a3d94e4bea7b","datavalue":{"value":{"entity-type":"item","numeric-id":658109,"id":"Q658109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752817$35A81780-CE9F-45C2-8507-CD40F3EF28D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7946688d25c7526bf38e6f25dde02f73646d21e5","datavalue":{"value":{"entity-type":"item","numeric-id":206518,"id":"Q206518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752817$9EBBC40B-988B-400E-A50A-BBB9C1D1E687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752817$72EDC36F-68A5-4B40-97B3-C59A4D991C1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e5f764fbb029210b46f95d23990f9698ba92854","datavalue":{"value":"A hyperring is a triple \\((A,+,\\circ)\\) where \\((A,+)\\) is an abelian group, \\(a\\circ b\\) is a subset of A for each a,b\\(\\in A\\), and the following axioms are satisfied \\(\\forall a,b,c\\in A:\\) (i) \\(a\\circ (b\\circ c)=(a\\circ b)\\circ c\\) (ii) \\((a+b)\\circ c\\subseteq a\\circ c+b\\circ c\\) (iii) \\(a\\circ (b+c)\\subseteq a\\circ b+a\\circ c\\) (iv) \\((-a)\\circ b=a\\circ (-b)=-(a\\circ b)\\). If equality holds in (ii) (resp. (iii)) then A is called strongly left (right) distributive. If A is both strongly left and strongly right distributive, then it is called a strongly distributive hyperring. Various results are proved for strongly left and right hyperrings, in particular the following: Let \\((A,+,\\circ)\\) be a strongly left (right) hyperring such that, for any a,b\\(\\in A| a\\circ b| =k>1\\). Then \\((A,+,\\circ)\\) is also strongly right (left) distributive.    The author then gives attention to strongly distributive hyperrings, and obtains the following result inter alia: Let \\((A,+,\\circ)\\) be a strongly distributive hyperring. If a ring \\((R,+,.)\\) exists, together with a bijection \\(\\alpha: R\\to A\\) such that \\(\\forall x,y\\in R\\), (i) \\(\\alpha (x+y)=\\alpha (x)+\\alpha (y)\\); (ii) \\(\\alpha\\) (x\\(\\cdot y)\\in \\alpha (x)\\circ \\alpha (y)\\), then if we denote by S the hyperideal \\(0\\circ 0\\) and \\(T=\\alpha^{-1}(S)\\), T is an ideal of R and the quotient \\((R,+,.)/T\\) is isomorphic to the ring \\((A,+,\\circ)/S\\). Moreover, it is possible to define in \\((A,+)\\) a product \\(\\times\\) in order to obtain a ring \\((A,+,\\times)\\) isomorphic to \\((R,+,.)\\) through \\(\\alpha\\). Furthermore, \\((A,+,\\times)/S\\) will be isomorphic to \\((R,+,.)/T\\) and \\(\\forall a,b\\in A\\), \\(a\\circ b=a\\times b+S\\). A similar result is obtained under a somewhat different hypothesis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752817$9EC6711C-FA00-47AD-9C37-4DEDDFE6C8BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b487702ce327dd4821eb34890938c71a5ce2e815","datavalue":{"value":"16Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752817$2C910EC5-A857-4480-AE31-1EA7DC1C56B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0abf335d4d918b687f29c2c1537f362a79a72e74","datavalue":{"value":"4179591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752817$FF1FBD62-A7F3-4C48-B70B-562834A89D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a930df9f4d3262ebdd8f5436410d705978304f","datavalue":{"value":"strongly right distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q752817$E0EAF621-943C-44FD-AA4B-598138804777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09cbef940ff34e020d024b0b51dba6b8e5aac85b","datavalue":{"value":"right hyperrings","type":"string"},"datatype":"string"},"type":"statement","id":"Q752817$EC76B4B4-325D-4C00-9488-C5E3BD89554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6460b88196ff2867d9c88afe6c83e86695aa0208","datavalue":{"value":"strongly distributive hyperrings","type":"string"},"datatype":"string"},"type":"statement","id":"Q752817$FCDB5C74-2560-4FC5-B26A-0CCD8F208ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a2b4972b0938f5d3700d84ab0bb77fda51f74a","datavalue":{"value":"hyperideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q752817$ADA7485D-7931-4FA1-B16E-086D3D95259B","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":"Q752817$1AD06F37-5A05-46E1-A2D0-FD9D7DA61752","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cb863228753ec3e91ad911eb8e281e15053072","datavalue":{"value":{"entity-type":"item","numeric-id":1212958,"id":"Q1212958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752817$D79EFC11-F45B-4CDA-92A8-01C618E14C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21cba2daa4ccbf1a03fc0f555d3866d724b35683","datavalue":{"value":{"entity-type":"item","numeric-id":5604566,"id":"Q5604566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752817$A72A2E83-10AA-4ACB-BCBC-4F71DC9D6CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40788a7b0658c60cdcc2454fc1e5a349cb586c75","datavalue":{"value":{"entity-type":"item","numeric-id":3669592,"id":"Q3669592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752817$DF65746B-335B-4568-B4D6-B1D71A79AC1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb350117408106c0366a730a135a805b16a63b6","datavalue":{"value":{"entity-type":"item","numeric-id":5751030,"id":"Q5751030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7e4f69915ae7f4c819ac4c5a026c7d5306abe0","datavalue":{"value":{"amount":"+0.9084094762802124","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":"Q752817$F9525A03-3739-43A4-8ECB-EFC2EE154B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f127f680bf405a01c7379b30ead2b2b4c56f7b96","datavalue":{"value":{"entity-type":"item","numeric-id":3502362,"id":"Q3502362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bff00ddbf22ee84c321f03b33a0ab36d1f84f0","datavalue":{"value":{"amount":"+0.8688976764678955","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":"Q752817$3FF977BA-70FF-4516-911D-205BD5FE776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f65467c9c0439bf1aefe38e88d5e015bcad752f","datavalue":{"value":{"entity-type":"item","numeric-id":3975654,"id":"Q3975654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f5eb3eefd95668a48b2dc782d5c282b6821930","datavalue":{"value":{"amount":"+0.8677911758422852","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":"Q752817$4C7E0670-E095-4766-AB9A-D76179CF1AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16489a75d045325b5fc487861e8fa2982710ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4594034,"id":"Q4594034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02c724df0ba9aca37911e7ce179d240220d416f","datavalue":{"value":{"amount":"+0.8618220686912537","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":"Q752817$AD177D25-250E-4978-B5AA-8F1FECE17E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aae377df688bfda5fcdad37ab49abe1eaaa176a","datavalue":{"value":{"entity-type":"item","numeric-id":623691,"id":"Q623691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889e6f0538db959ca4002103f30e6faff0acef51","datavalue":{"value":{"amount":"+0.8510890603065491","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":"Q752817$809624F4-D2CE-4E43-ADC9-4B9D07632B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly distributive multiplicative hyperrings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_distributive_multiplicative_hyperrings"}}}}}