{"entities":{"Q1601710":{"pageid":1612450,"ns":120,"title":"Item:Q1601710","lastrevid":67961772,"modified":"2026-04-12T20:30:07Z","type":"item","id":"Q1601710","labels":{"en":{"language":"en","value":"Extension theorems for functional equations with bisymmetric operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761059"}},"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":"Q1601710$D51507E4-79DC-4E2B-8C18-10EC737D774B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0914021d62f76932d7e32e55d525a9c58ca13cd1","datavalue":{"value":{"text":"Extension theorems for functional equations with bisymmetric operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601710$C86AD383-2F93-4564-84FE-09C283FAA388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b22f9d5103eb4482c1b7bc67db71e7cd8d8057","datavalue":{"value":"1004.39021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$845E26EC-E326-49C0-8356-DEF10F557B2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e8211cf89fb3e58cebf657950368971306be793","datavalue":{"value":{"entity-type":"item","numeric-id":176881,"id":"Q176881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601710$0D14E882-F639-4934-ABD7-195704E19578","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601710$6C58DB6A-AE6C-44A9-A1E8-5D077EE29A89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3287c7cbae6a15c69d12eae3fc22696ff05b1b74","datavalue":{"value":"Two operations \\(\\mu:X^k\\to X\\) and \\(\\nu:X^n\\to X\\) are commuting if  \\[ {\\underset {j}\\nu} \\bigl[{\\underset {i}\\mu} [x_{ij}]\\bigr] ={\\underset {i} \\mu}\\bigl[ {\\underset {j}\\nu} [x_{ij}]\\bigr] \\]  (where \\({\\underset {i}\\mu} [x_i]= \\mu(x_1,\\dots, x_k))\\) holds for all \\(x_{ij}\\in X\\), \\((i=1,\\dots,k,\\;j=1, \\dots,n)\\). If an operation commutes with itself then it is called bisymmetric. Let \\(m_1,\\dots, m_k:X\\times X\\to Y\\) be binary operations on \\(X\\). A subset \\(K \\subset X\\) is termed \\((m_1, \\dots, m_k)\\)-convex, if it is closed under these operations. A point \\(x\\in X\\) is said to be \\((m_1,\\dots, m_k)\\)-absorbable with respect to \\(K\\), if there exists a point \\(x_0\\in K\\) such that  \\[ m_1(x,x_0), \\dots, m_k(x,x_0) \\in K \\]  The set of all \\((m_1,\\dots, m_k)\\) absorbable points of \\(K\\) is denoted by \\(\\overline K\\). The main result of this paper is the following.    Theorem 1. Let \\(m_1,\\dots, m_k:X\\times X\\to X\\) be pairwise commuting binary operations on \\(X\\) and let \\(K\\subset X\\) be \\((m_1,\\dots, m_k)\\)-convex. Let, furthermore, \\(Y\\) be a set and, \\(M:Y^k\\to Y\\) be a bisymmetric operation on \\(Y\\). Assume that \\(f:K\\to Y\\) satisfies following equation  \\[ f(x)= M \\biggl(f\\bigl(m_1 (x,y)\\bigr), \\dots, f\\bigl(m_k(x,y) \\bigr)\\biggr)\\quad (x,y\\in K). \\]  Then there exists a uniquely determined extension \\(\\overline f:\\overline K\\to Y\\) of \\(f\\) such that  \\[ \\overline f(x)= M\\overline f\\bigl(m_1 (x,y)\\bigr), \\dots,\\overline f\\bigl(m_k (x,y)\\bigr) \\quad (x,y\\in \\overline K). \\]  As applications, extension theorems for functional equations on Abelian semigroups, convex sets, and symmetric convex sets are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$FE6BEDE2-C166-4C5D-874B-7600E4676F85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d7155f1a780fb86270da137ccd4a57bce20cff2","datavalue":{"value":"39B72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$CE816750-03A8-472F-9F99-10B651DCA6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ebf154b072c83dae5f778e71c2977f30812c361","datavalue":{"value":"39B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$096D7CFD-DA54-45AE-8640-7F224AE69A94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fd57141b67a8194ac1df8d0f873cde897032001","datavalue":{"value":"1761059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$9F073C3E-14DE-4EA5-902C-C95BB20C13B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ca2788409f45e24b4f79f35ff6f8f1c38928f4","datavalue":{"value":"abelian semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$D5343DAA-8C81-4C10-95EF-D82D5D38D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6316c2701735ec1970bd27d946e81899c7e13ab0","datavalue":{"value":"bisymmetric operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$BEB8FB65-69CD-4138-AE6E-27876BB14897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa61149cda0353d9418340e9337fba6a4ff8ee56","datavalue":{"value":"extension theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$51726AC2-C5FA-4921-BD7F-08A4F2C6061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f9d2d79650cc184cf1b53a97ca056c73191cda","datavalue":{"value":"functional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$247ED349-DBD0-4B6A-A644-1B3CE889D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3465d3b553139c8fcbfcf785e2d6f309348aef38","datavalue":{"value":"convex sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601710$C0D4FEC7-96F9-45E1-92BE-C9D584501E08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92681e2480281e21d40f7ce0e8e554eb460e69a","datavalue":{"value":{"entity-type":"item","numeric-id":230527,"id":"Q230527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601710$5BBC5BD0-9D29-49F3-8F62-24812988EF79","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0eb16699b100b0e83a8703128b40b2c98be7ac38","datavalue":{"value":{"entity-type":"item","numeric-id":202378,"id":"Q202378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601710$787A1693-BC46-47B2-AD04-865D4269F455","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":"Q1601710$F6D1C4B3-F07A-4C72-9D09-393F69AB2E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ec3197eba9c512f6d2e69a6c8a1770925469aa","datavalue":{"value":"https://doi.org/10.1007/s00010-002-8024-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601710$1ADE3B6A-90DC-46D2-BF77-43175A351D94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be1042d05cb953fc0fef0e4f3b634e78c0e676f6","datavalue":{"value":"W2044130443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$7C20C19C-857C-4269-8DA2-43DE8F1C7CA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f83c7eb876c72abd1cf4dae127444bdad78d6cf9","datavalue":{"value":"10.1007/S00010-002-8024-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601710$274C4B26-1EB4-4400-A92C-AC1FCED5C029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6175a6f24d5ff3e947cd56d4f5cbd7a7a9544792","datavalue":{"value":{"entity-type":"item","numeric-id":5689014,"id":"Q5689014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c376488d94f08c63c3d803859f94a967ab602ce","datavalue":{"value":{"amount":"+0.8974065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$BFDBA31A-BE7E-4E56-9567-C03822647E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81b4b792c3fd588bb33c31bad46acd5c4a58903","datavalue":{"value":{"entity-type":"item","numeric-id":5296475,"id":"Q5296475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ff4cd445375e8492be2fc7a0d63343a354577e","datavalue":{"value":{"amount":"+0.892958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$2E64CD9C-18DA-403B-B011-81C8605913AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdbc64f0623412d6f4203cc20f6b050677dea64","datavalue":{"value":{"entity-type":"item","numeric-id":919243,"id":"Q919243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7217a1c8be8fd4904ff86a3b5c494b92f5a9e109","datavalue":{"value":{"amount":"+0.8913499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$3C166F0C-BAC5-4394-859C-C49C83B8BCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da80f6d7b8123878f6ebab8529555d10abd25ed","datavalue":{"value":{"entity-type":"item","numeric-id":916921,"id":"Q916921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2f843acd79c58913afe21891e98231f178675f","datavalue":{"value":{"amount":"+0.882972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$07DC4DE2-D020-4BEC-80FB-619F5A1F50C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d7048266fa0176d037c64ba9ecdcb687a9bb2a","datavalue":{"value":{"entity-type":"item","numeric-id":1083625,"id":"Q1083625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d3137ff7e257afdbdff11d7025758aa8dd74ce","datavalue":{"value":{"amount":"+0.87941986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$AF66FFAC-74AD-467A-87D5-82CBC2F721CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea79306346c6265576760898280f7e9b373bbba6","datavalue":{"value":{"entity-type":"item","numeric-id":785642,"id":"Q785642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65804ec666561ccd08644b814cba5d328a7734e8","datavalue":{"value":{"amount":"+0.8762528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$540C103E-CA0B-468F-9C56-6A3D4E3DBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dea79119737be62fcc85f88e9186e8c56dec379","datavalue":{"value":{"entity-type":"item","numeric-id":3561539,"id":"Q3561539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5261f11fff261ad4ff13ca8e318605a438aabc","datavalue":{"value":{"amount":"+0.8737692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$BAB8F1F2-8FF2-48AC-96A3-9F3032AA4D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f465c1cd18477be0c5dd1db1ea7830140f97505","datavalue":{"value":{"entity-type":"item","numeric-id":1592815,"id":"Q1592815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b06e79a089b21ecd62f874504fc3f4044022ea","datavalue":{"value":{"amount":"+0.87295336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$0E68D351-1BCC-4705-A8AD-9C1503293B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d91dbe59c01e160e3a8f65b54cef7e35d90615","datavalue":{"value":{"entity-type":"item","numeric-id":4327362,"id":"Q4327362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ede039ec6d9fee2a31dc18e31aa428e4bacca5","datavalue":{"value":{"amount":"+0.8673402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$0052D2C8-E84A-41D9-A6DC-5028D2397A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12d396cc8bb155ab87c3b9c60141f1b6f5633c1","datavalue":{"value":{"entity-type":"item","numeric-id":2707229,"id":"Q2707229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88958944c8aefc886144a586a87912ed14a549b6","datavalue":{"value":{"amount":"+0.866915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601710$78AF5326-F340-42DF-B3AB-43A1892206B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension theorems for functional equations with bisymmetric operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extension_theorems_for_functional_equations_with_bisymmetric_operations"}}}}}