{"entities":{"Q2830401":{"pageid":2841138,"ns":120,"title":"Item:Q2830401","lastrevid":58032126,"modified":"2026-04-03T12:59:27Z","type":"item","id":"Q2830401","labels":{"en":{"language":"en","value":"Characterizing congruence preserving functions \\(\\mathbb Z/n\\mathbb Z \\to \\mathbb Z/m\\mathbb Z\\) via rational polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645233"}},"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":"Q2830401$45392F7F-0AF7-45C7-8422-7BCE057AD447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb8d2d9550c42f92cf0acda83f14b7d0c467c59b","datavalue":{"value":"1377.11005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830401$A79F1262-2993-4C3C-9920-82D582C4B845","rank":"normal"}],"P16":[{"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":"Q2830401$F4E478B8-3B67-4918-90BB-3D338EC8C41C","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":"Q2830401$B32D7ED9-000B-4E70-B3FB-C30F7137EF3A","rank":"normal"},{"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":"Q2830401$8EEE02A9-9CC2-4D4F-9049-F443BD9EA9A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5c57c1b97c1eb46e36683bd00f46296ab3c1a1","datavalue":{"value":{"time":"+2016-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2830401$04A4CE72-0F0E-4C3F-8E7D-5F53B8C86A7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa2e96508b8a18ed0cbaaf9a0d57f8f8f943e71","datavalue":{"value":"https://arxiv.org/abs/1506.00133","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830401$243FB1C0-8C98-45C4-8C51-4B0468704734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0166bb1bf20e2e9a0ba38b5119658406a9c6126f","datavalue":{"value":"http://www.emis.de/journals/INTEGERS/papers/q50/q50.Abstract.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830401$46718301-038B-42A4-9CD5-BC675E4770F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830401$BAF2E64D-210C-4711-AB84-FCE258DA49B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830401$306F5ABE-D457-4875-802E-22FF7BA2E048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fc2273240b217a017c125cc1b3daee3586e9fbf","datavalue":{"value":"6645233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830401$804DF455-A62A-4965-9B3B-D36FCC4F0760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6fe8984adba90476c866c739495450232bafca","datavalue":{"value":"congruence preserving function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2830401$F433AA73-D3F2-4813-B603-BB2A6BE154FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66d603d9444f758e7a6af028584a42396644a95b","datavalue":{"value":"rational polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2830401$88E7BC89-D33F-4FB4-A0F2-12425C7D132E","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":"Q2830401$B101E5D3-78FD-4C53-8731-84810D1DE17D","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"77d3ce46f77e0388197ba193bb8ede1a17d6f1a6","datavalue":{"value":"bafkreicsdrxhlbimz7os33362sqza7emlk6imquk5ivckttbrcnxbn7uze","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830401$5B0B562F-3193-45E5-A4E9-0C1DB4E9FF66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9b7171169c2d9a8e61742d576e4c5a850d7e0c1","datavalue":{"value":{"text":"Characterizing congruence preserving functions \\(\\mathbb Z/n\\mathbb Z \\to \\mathbb Z/m\\mathbb Z\\) via rational polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830401$7B2B8B02-8488-4C6B-9782-FCA88E285B00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830401$6DDD37B1-6AEF-45E4-88DC-9328D5562C05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0ed6c19b3f7ae377bf107e3a0ed9543338df00a","datavalue":{"value":"A function \\(f:\\mathbb{Z}/n\\mathbb{Z}\\to\\mathbb{Z}/m\\mathbb{Z}\\) is said to be \\textit{congruence preserving} if, for every \\(d\\mid m\\) it holds that NEWLINE\\[NEWLINEa\\equiv b\\pmod{d} \\Rightarrow f(a)\\equiv f(b)\\pmod{d}.NEWLINE\\]NEWLINE The authors first show that the set of functions \\(\\{P_0,P_1,\\dots,P_{n-1}\\}\\), with \\(P_k:\\mathbb{Z}/n\\mathbb{Z}\\to\\mathbb{Z}/m\\mathbb{Z}\\) defined by \\(P_k(x)=\\binom{x}{k}\\) is a basis of the \\((\\mathbb{Z}/m\\mathbb{Z})\\)-module of functions \\(\\mathbb{Z}/n\\mathbb{Z}\\to\\mathbb{Z}/m\\mathbb{Z}\\).NEWLINENEWLINEThen, the main result of the paper states that a function \\(f:\\mathbb{Z}/n\\mathbb{Z}\\to\\mathbb{Z}/m\\mathbb{Z}\\) is congruence preserving if and only if \\(f=\\sum_{i=0}^{n-1} a_iP_i\\) with \\(a_i\\) a multiple of \\(\\mathrm{lcm}(i)\\) in \\(\\mathbb{Z}/m\\mathbb{Z}\\).NEWLINENEWLINEFinally, the authors use this result in order to count the number of counting preserving functions \\(\\mathbb{Z}/n\\mathbb{Z}\\to\\mathbb{Z}/m\\mathbb{Z}\\) in terms of the prime-power decomposition of \\(m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2830401$22FA4673-189D-46E3-BBA7-957E30EC259B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb092524bfbd1446f7d573d52a5edf29b0b15ee1","datavalue":{"value":{"entity-type":"item","numeric-id":270276,"id":"Q270276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830401$2C422FE6-0E38-49DE-8CAE-6C8491A0CF04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac994b5eeef726ed724017e0a92584e0af8b66ca","datavalue":{"value":{"entity-type":"item","numeric-id":1367021,"id":"Q1367021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad2435c43ef5fc3a0b41dcad2526f094279b88e","datavalue":{"value":{"amount":"+0.8794485926628113","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":"Q2830401$216F4B2C-F668-4166-867A-409C7E3DAF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7df69b347ea696d89742cf613c7f5256590e97","datavalue":{"value":{"entity-type":"item","numeric-id":1057319,"id":"Q1057319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c67f9f6887d1577aa17f4e7ffc504c8038c921","datavalue":{"value":{"amount":"+0.8784740567207336","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":"Q2830401$5558D282-0865-48FE-91BC-866374B02B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35732025ce5db9515f59efae927647962688642","datavalue":{"value":{"entity-type":"item","numeric-id":2291368,"id":"Q2291368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1a8c55966e5f33fe3838758a5f514a1e9c886a","datavalue":{"value":{"amount":"+0.8109527826309204","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":"Q2830401$DD7CE0A3-EB6A-4485-AF18-26C7185A99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea3e0db9e4c731a09a199e0847ff5e973cb24cf","datavalue":{"value":{"entity-type":"item","numeric-id":1343780,"id":"Q1343780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b299f4923d45d45a9281538221d66c80422c8a","datavalue":{"value":{"amount":"+0.7949063181877136","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":"Q2830401$D4402773-5DB0-4419-A604-90AF95FE4E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deddd9888f07ea1fa6861d3dff647ccaecb657e2","datavalue":{"value":{"entity-type":"item","numeric-id":2368647,"id":"Q2368647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6ca327a6b7303589e1c407bf04bea98d6c4775","datavalue":{"value":{"amount":"+0.7944270372390747","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":"Q2830401$7BA5DF6E-2F06-49E4-9E5D-C886DB8D52A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2830401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2830401"}}}}}