{"entities":{"Q1686332":{"pageid":1697073,"ns":120,"title":"Item:Q1686332","lastrevid":68239965,"modified":"2026-04-12T22:22:35Z","type":"item","id":"Q1686332","labels":{"en":{"language":"en","value":"Congruence preserving functions on free monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821018"}},"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":"Q1686332$DC7AC1C7-9D71-4D3D-B66A-383344CB28E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b2168cef9e96239653b64f19d3c06618ceb84b2","datavalue":{"value":{"text":"Congruence preserving functions on free monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1686332$DAC9E27A-E2FD-4650-A980-EFEDCCDA0B57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5037321d21f7affeb4a1203806e8e183bdebe2fd","datavalue":{"value":"1435.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$5D59E8A1-9C09-46BF-BB90-F1CE75C51FBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$4478A28C-4D50-4843-AE04-F52E8ECEAC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f271b5c5ead0d5762c99c9faaec33d9274cc34d","datavalue":{"value":{"entity-type":"item","numeric-id":235588,"id":"Q235588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$41E63B6D-C08F-4323-871C-C4208F52A574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$16FDD1D5-F8BB-4053-8BB6-D1781D19A64C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$42D60C9D-254F-44BE-946D-321CB910A925","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12ec7063b327c3d84dbc9cfab50ae3a61ebdf01","datavalue":{"value":{"time":"+2017-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1686332$B3157EBE-E344-42DB-B3DF-A7F59C941002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d2ec71e7a6068e74679017841dc66f9af2f8a9","datavalue":{"value":"https://arxiv.org/abs/1609.01144","type":"string"},"datatype":"url"},"type":"statement","id":"Q1686332$FEDE413E-F39B-4817-A03B-0BFE78FA4D9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2053b7fe8a403a460aced4ac9641a1c77216b65","datavalue":{"value":"Let \\((A,\\Omega)\\) be an algebra and let \\(k\\) be a positive integer. A function \\(f\\colon A^k\\rightarrow A\\) is \\textit{congruence preserving} if every congruence of the algebra \\((A,\\Omega)\\) is also a congruence of the expanded algebra \\((A,\\Omega\\cup\\left\\{f\\right\\})\\). An algebra is \\textit{affine complete} if each congruence preserving function is a \\textit{polynomial function}, i.e. belongs to the smallest clone of operations containing \\(\\Omega\\) and all constant functions.  The main result of the paper shows that the free monoid on at least 3 generators is affine complete. To obtain this the characterization of all congruence preserving functions for such monoids is given.  In  [\\textit{P. C\u00e9gielski} et al., Int. J. Number Theory 11, No. 7, 2109--2139 (2015; Zbl 1395.11006)], it was shown that for the free monoid on one generator there exist non-polynomial congruence preserving functions. The open problem is whether the free monoid on 2 generators is affine complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686332$75A95F5E-2D03-4CD9-861C-3927AB87C05F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53aa016e3caf5193412dcf3d4c1f35c414a49c4e","datavalue":{"value":{"entity-type":"item","numeric-id":424122,"id":"Q424122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$897A1170-A513-4C94-9D51-D9438234C24E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$2A722A9E-9212-40EC-8618-94596794069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$99DD93F1-8668-4E7D-AE5D-651FE20E284B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$47879EFF-3A8B-41F5-AB4F-E6EC8F276BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$9E1754B5-1CCD-4DE4-B375-B88AB85C7531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a1066a18511bc5e14c71883273c245a3d9b08a","datavalue":{"value":"6821018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$B856721C-ECD5-4D62-854C-403D35B76A2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cebaa362a2627cba8131ff0ccff2a4b6c628340","datavalue":{"value":"congruence preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686332$256D261B-BB26-4CED-AE3D-3BAC49B7C8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686332$0ED885F3-BEBA-4F58-AFEE-18DDC9D60917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e30d6d1a73531f5af33e7748bcd6410405825e","datavalue":{"value":"affine completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686332$B66AFB9D-8E4E-42A5-AB4E-D35F3CD54F16","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":"Q1686332$38101A92-644E-4AF8-A18F-45048D45840C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9462829bbc13cef01ea15f3a8bf65eaf7a9dd2d6","datavalue":{"value":"W2514304517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$DBEBC640-73E4-4EF4-8F82-1798EEF38A1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9cc6f4aba85c6306a700c7eab4f5a96bc6d5d3","datavalue":{"value":{"entity-type":"item","numeric-id":1367021,"id":"Q1367021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$128E9164-D2A3-4579-93D4-FCFC4D6247B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7841db2785111a8cd4fc769e7fa108b047b2754d","datavalue":{"value":{"entity-type":"item","numeric-id":2944896,"id":"Q2944896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$FD6ED082-468A-4095-9791-CC579CAA45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdd186023312cbba7bce8a253873cd51ad46aae","datavalue":{"value":{"entity-type":"item","numeric-id":3451555,"id":"Q3451555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$5F4357D1-E14D-465D-BB3B-BE210DCAD6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c502acc6dfcc535002510abd06634bbddec40","datavalue":{"value":{"entity-type":"item","numeric-id":5345028,"id":"Q5345028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$C601E67B-E8ED-42D9-B5E9-010C6D0B60AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2453c1f93596530f37a8d887b0b8e4ed9511a5","datavalue":{"value":{"entity-type":"item","numeric-id":5522957,"id":"Q5522957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$DBAC7132-85D4-4DBE-A38F-3EF15BA2123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$C1204B44-1793-4C37-AA77-316C468422B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebda5f5a1ce3cb9ac241e2602dc118886a0580da","datavalue":{"value":{"entity-type":"item","numeric-id":5644025,"id":"Q5644025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$AAA5BF32-B032-463D-A715-EA9BE726654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb73df118e683ab301b556f3902af8725b0530","datavalue":{"value":{"entity-type":"item","numeric-id":5613220,"id":"Q5613220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$6A3F5AF6-2F90-458A-8B23-951A45C7FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5248cfd220d8dff3b72aa55d46a1e68231c3b3fe","datavalue":{"value":{"entity-type":"item","numeric-id":4187874,"id":"Q4187874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$88EACB1F-FC29-46A3-8955-F6722D7B3B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d48c1a854da3d856c2c86171f307bf058f4951d","datavalue":{"value":{"entity-type":"item","numeric-id":998783,"id":"Q998783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$BAAF8202-9276-48AD-9FFC-2C17D6ABB020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bcf9029aefc4482b0835142132ba759af52105","datavalue":{"value":{"entity-type":"item","numeric-id":2541471,"id":"Q2541471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686332$A74728D4-84C1-4D0F-A1BB-FE320F29B458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cccb114843fdd773e44083e70b52e546dc88a50","datavalue":{"value":"10.1007/S00012-017-0464-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686332$D68AC90D-CFA8-4E87-9CEC-100AC34AF64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9b7a429ca3476984d380d96cf88ed8aa346fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2217772,"id":"Q2217772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feca393558ada52d99c0b08a818377df822d4a01","datavalue":{"value":{"amount":"+0.8172810077667236","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":"Q1686332$2D41A230-326B-45D7-80BF-90D03E01EBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda55dcc938210058f86e9689536a7a99c0da92d","datavalue":{"value":{"entity-type":"item","numeric-id":5024662,"id":"Q5024662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebccd04c6e2040339be4ab68adb4339561fbb2cb","datavalue":{"value":{"amount":"+0.801079273223877","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":"Q1686332$33762AAD-2ECC-4A62-A16F-D228F09D0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398cdb865ad956fda68a5cde121764860f11813d","datavalue":{"value":{"entity-type":"item","numeric-id":1771927,"id":"Q1771927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852ac5d699b0c82b31e932c3feb5e0b155683af5","datavalue":{"value":{"amount":"+0.7931772470474243","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":"Q1686332$EC082BB2-87CF-41EC-BCFB-940375AC5BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede792851a1d751bfdb624a4da4c72b517be1aae","datavalue":{"value":{"entity-type":"item","numeric-id":3751782,"id":"Q3751782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85702683b1ba9ea7b4a3a3b56e13a628f76f29b6","datavalue":{"value":{"amount":"+0.7545552253723145","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":"Q1686332$50F2077D-3002-4E7F-B734-DAEC1CDE5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9a801ba80ce10f3b12d6de4c507f4655fbf749","datavalue":{"value":{"entity-type":"item","numeric-id":1100488,"id":"Q1100488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4431c1ca426856f75e19d08726fc52b67210a850","datavalue":{"value":{"amount":"+0.7524788975715637","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":"Q1686332$67584992-3C12-4E43-ADA4-BBFC346DF903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence preserving functions on free monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_preserving_functions_on_free_monoids"}}}}}