{"entities":{"Q2270148":{"pageid":2280891,"ns":120,"title":"Item:Q2270148","lastrevid":72997053,"modified":"2026-04-14T09:16:37Z","type":"item","id":"Q2270148","labels":{"en":{"language":"en","value":"Polynomial functions on subdirect products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5681428"}},"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":"Q2270148$65BDE4D2-5386-437B-9877-1099C80FF4C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66fab1e137997022089e00c0aa52b728c40b557","datavalue":{"value":{"text":"Polynomial functions on subdirect products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2270148$B91BF5DF-2D66-45F8-AA39-04076707A698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b81579214b004a88e17c98407cc5d3c1ad46be3","datavalue":{"value":"1211.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$7CBBBAD4-A90A-458B-956F-396E8AB7063D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c114b1c803d3c46eb61ec6ca1306c6260abc4e","datavalue":{"value":{"entity-type":"item","numeric-id":219082,"id":"Q219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$3CA5B349-0DD6-4E5A-A053-941874AA507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36d7439b28a4ba4ddae3d101571d34045e08c13a","datavalue":{"value":{"entity-type":"item","numeric-id":165307,"id":"Q165307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$84294D02-23BB-480A-9462-943CCB9EEB74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$632F9B29-2D27-480F-A557-425666118489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7fe2c523e98eb62c0896902d6e731144883b50b","datavalue":{"value":{"time":"+2010-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2270148$3D1DBB5B-5984-4D4C-B24C-7B7F0AB4FF47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d57701e8d520420cd55be20b1b4fb1f1fc29347","datavalue":{"value":"For an algebra \\({\\mathbf A}= (A, F)\\) with universe \\(A\\) and set \\(F\\) of operations, the set \\(\\text{Pol}({\\mathbf A})\\) of polynomial functions on \\({\\mathbf A}\\) is defined as the clone generated by the operations in \\(F\\) and all constant functions from \\(A\\) to \\(A\\). Furthermore, let \\(\\text{Con}({\\mathbf A})\\) denote the set of all congruences of \\({\\mathbf A}\\). Then a \\(k\\)-ary function \\(f: A^k\\to A\\) preserves \\(\\alpha\\in \\text{Con}({\\mathbf A})\\) if \\((f(x_1,\\dots, x_k),f(y_1,\\dots, y_k))\\in\\alpha\\) for all \\(x_1,\\dots, x_k\\), \\(y_1,\\dots, y_k\\in A\\) with \\((x_1,y_1),\\dots, (x_k,y_k)\\in\\alpha\\). Such an \\(f\\) induces a function \\(f_\\alpha\\) on the quotient set \\(A/\\alpha\\) defined by \\(f_\\alpha(x_1/\\alpha,\\dots, x_k/\\alpha)= f(x_1,\\dots, x_k)/\\alpha\\). Clearly, polynomial functions on \\({\\mathbf A}\\) preserve all congruences of \\({\\mathbf A}\\). Let \\(\\alpha,\\beta\\in\\text{Con}({\\mathbf A})\\). Then it is said that \\({\\mathbf A}\\) has no skew congruences between \\(\\alpha\\) and \\(\\beta\\) if \\(\\gamma= (\\gamma\\wedge\\alpha)\\vee(\\gamma\\wedge\\beta)\\) for all \\(\\gamma\\in\\text{Con}({\\mathbf A})\\) with \\(\\alpha\\wedge \\beta\\leq \\gamma\\leq\\alpha\\vee\\beta\\).  A ternary function \\(f\\) on \\(A\\) is a Mal'tsev function if \\(f(x,y,y)= f(y,y,x)=x\\) for all \\(x,y\\in A\\). Recall that an algebra \\({\\mathbf A}\\) generates a congruence permutable variety if and only if it has a Mal'tsev term function. The algebra \\({\\mathbf A}\\) is called a Mal'tsev algebra if there is a Mal'tsev function in \\(\\text{Pol}({\\mathbf A})\\). The main result of the paper is the following theorem (generalizing a result of \\textit{E. Aichinger} [Proc. Edinb. Math. Soc., II. Ser. 44, No.~2, 379--388 (2001; Zbl 0984.16040)] on \\(\\Omega\\)-groups): Let \\({\\mathbf A}\\) be a finite Mal'tsev algebra, and let \\(\\alpha,\\beta\\in\\text{Con}(A)\\) such that \\(\\alpha\\wedge\\beta= 0_A\\) and there are no skew congruences between \\(\\alpha\\) and \\(\\beta\\). Let \\(f\\) be a function on \\(A\\) that preserves \\(\\alpha\\) and \\(\\beta\\). Then \\(f\\in\\text{Pol}({\\mathbf A})\\) if and only if \\(f_\\alpha\\in\\text{Pol}({\\mathbf A}/\\alpha)\\) and \\(f_\\beta\\in \\text{Pol}({\\mathbf A}/\\beta)\\). In other words: A congruence preserving function on a subdirect product of two finite Mal'tsev algebras is polynomial if it induces polynomial functions on the subdirect factors and there are no skew congruences between the projection kernels.  As a special case, if the direct product \\({\\mathbf A}\\times{\\mathbf B}\\) of algebras \\({\\mathbf A}\\) and \\({\\mathbf B}\\) in a congruence permutable variety has no skew congruences, then the polynomial functions on \\({\\mathbf A}\\times{\\mathbf B}\\) are exactly the direct products of polynomials on \\({\\mathbf A}\\) and on \\({\\mathbf B}\\). These descriptions apply in particular to polynomial functions on non-associative rings. Furthermore, it is proved that also for finite algebras in a variety with a majority term \\(t\\) (satisfying \\(t(x,x,y)= t(x,y,x)= t(y,x,x)= x\\)), the polynomial functions on \\({\\mathbf A}\\times{\\mathbf B}\\) are exactly the direct products of polynomials on \\({\\mathbf A}\\) and on \\({\\mathbf B}\\) (generalizing a result of \\textit{D. Dorninger} and \\textit{W. N\u00f6bauer} [Colloq. Math. 42, 83--93 (1979; Zbl 0432.06005)] on lattices). An example is given which shows that in arbitrary congruence distributive varieties the corresponding result is not true.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270148$E88922DF-0077-479A-B45E-CDDC0221D61B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$35B434B9-C7F6-4A10-A8A2-2707485F5292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$ADEC1338-0ED0-4B8E-B93B-BC9D0684BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$46252F0F-D4C7-412E-AA1B-80F29C8B0C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$C37E2DEF-E68B-4894-9EC0-1907B8A25AA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73e0a7eb1322ca0e793fa2b6ffb78a812f00a8db","datavalue":{"value":"5681428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$E97DF8F4-850E-4A7D-84B9-B4C2B46D6246","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e3931fde90fd5989250b8162929d572bd27156","datavalue":{"value":"clones of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270148$4E255BA8-34FC-4A7A-B09B-0D589829C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e713321b274bf91039d49e67face59361f2a9a","datavalue":{"value":"polynomial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270148$E9B1F62A-7E8F-482B-9AEA-7D1D5EC44C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ee10f38e8859aa29a94091f341012e0cf4f95b","datavalue":{"value":"congruence permutable varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270148$62F1CE9D-3BE8-44A7-AE3D-4ADDEACC868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62760309cf7c54041cd401725fa90763069a74f6","datavalue":{"value":"congruence distributive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270148$654A2E64-B50E-49E7-9F21-A18F7E8C6CB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$247D6DC0-C171-4583-A8E3-5D045865CC21","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":"Q2270148$D1DD5315-2F6D-45A8-B4D7-83D4DADF21C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70db1b28b9c4c5bffdb04030599d4ff65ada57ff","datavalue":{"value":"https://doi.org/10.1007/s00605-009-0120-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2270148$E30994D5-6A1E-4F15-AE7E-4A181CB74959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0756d7a1bd87a7ff2583f902ced890818e70a31","datavalue":{"value":"W1968741755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$3653F342-6263-45E4-872F-2FF43333EE91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4eb7fdb35b38ab5b70954f0d645a3803f237970","datavalue":{"value":{"entity-type":"item","numeric-id":1866832,"id":"Q1866832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$F8D62901-4706-43A7-ACB1-B7CFAA1F6272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81aae093354ea034ad38814dab8c27d0ab7e3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2747928,"id":"Q2747928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$2E9DCCA4-6F8F-40E0-9B79-BCA0DFB119D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09626029fb0ec3cdf21fee9f39e7530681741023","datavalue":{"value":{"entity-type":"item","numeric-id":879240,"id":"Q879240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$AFD2BF16-2B44-4D3D-9FB8-50CBDC79BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$0CFC5E7F-F028-4C69-907E-29F3CC4EF96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbc9871813103aba906bb8b5a96292dcbb1b15e","datavalue":{"value":{"entity-type":"item","numeric-id":3869396,"id":"Q3869396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$506E39B2-3083-4AC1-92D5-FE7B7216BDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$5258C484-E3B0-43A4-825D-F830D709F585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$A9433EC2-A6E6-46DA-9FF9-1E48E7540389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$C3D61087-19A6-4FE9-9178-4F6CF5A9B619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$4EDC3BA3-6C9F-4AA7-91E3-E9ED6EFD5E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2465b1fa08fc63e32c10ceb2d42f4e55ee74fb5e","datavalue":{"value":{"entity-type":"item","numeric-id":4040049,"id":"Q4040049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270148$AA627696-7EF9-4F45-984B-C64206703C22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d28043a0c74a384def4d8f51e45c8fe917089ca2","datavalue":{"value":"10.1007/S00605-009-0120-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270148$43BF6844-B82A-435F-9A0D-65C71AF5D6AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced1181177882acbcb1712048b89056d715b8981","datavalue":{"value":{"entity-type":"item","numeric-id":3791205,"id":"Q3791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8c78cc56aadc3d062884a401d7f8982ca106bb","datavalue":{"value":{"amount":"+0.7923834919929504","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":"Q2270148$4B023749-38B4-4533-A147-2403A164F548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b227d22b0b26972cdfb4d459fe2b55966c8501f7","datavalue":{"value":{"entity-type":"item","numeric-id":4291346,"id":"Q4291346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fe14554040e9274e457b8b4614a64d17839db0","datavalue":{"value":{"amount":"+0.7881402373313904","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":"Q2270148$9CCCBE80-52D6-4AB6-9B78-F84F487E6A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0a77d5db99c9224d3fb3da7fc1dd0a25843ef4","datavalue":{"value":{"entity-type":"item","numeric-id":797611,"id":"Q797611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402aed94b50c4a58decd79521e6c9f07c38f1baa","datavalue":{"value":{"amount":"+0.7868841886520386","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":"Q2270148$6F98431E-D1E4-4789-BE02-90BBCECE0825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ea164e06577bf321304c3f10ab0504c5ec45c6","datavalue":{"value":{"entity-type":"item","numeric-id":535120,"id":"Q535120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4169e2fcbf97a32424f19ce2a3450fce55ac8587","datavalue":{"value":{"amount":"+0.7824975848197937","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":"Q2270148$6017E2BA-EA84-454D-AD7E-0CAB2360A947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88dbacefb6e404cd41dbda64965dbb0e6f5e6777","datavalue":{"value":{"entity-type":"item","numeric-id":5393797,"id":"Q5393797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5d417675f64a5d74793c2913e8b8277134cb7e","datavalue":{"value":{"amount":"+0.7781858444213867","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":"Q2270148$F9C572D1-4402-4752-8608-826575FC6823","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial functions on subdirect products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_functions_on_subdirect_products"}}}}}