{"entities":{"Q266583":{"pageid":268350,"ns":120,"title":"Item:Q266583","lastrevid":60500283,"modified":"2026-04-10T17:22:39Z","type":"item","id":"Q266583","labels":{"en":{"language":"en","value":"A Menon-type identity in residually finite Dedekind domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568153"}},"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":"Q266583$1BFEEA34-4FF2-4B57-84BA-AD2650A27489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426fe497027a7a84e68af45978d88c87bdf35d76","datavalue":{"value":{"text":"A Menon-type identity in residually finite Dedekind domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266583$BF33EE74-5667-40EC-A2AB-05C695C78BDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa237815556a7d482b202d39462d40b97acf8999","datavalue":{"value":"1378.11014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$C7079D41-C6C1-4E95-A27E-0FD8F4ED53C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$052030FC-0A0D-42FD-8714-45F467614F35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266583$73A9E6D4-817A-4828-A8D0-60B1D6E6E8F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"62eaa5ea9ff980be212e03db393d1685f5dc861c","datavalue":{"value":{"entity-type":"item","numeric-id":185020,"id":"Q185020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$302D7AEA-135E-4292-8EFF-0BE1AA48AE56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$B07FDD27-4B8E-4A23-9817-9EF752F8CBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"077dcbece09d9838610b860e62bee33545035d51","datavalue":{"value":"20D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$904AA0F9-8B8C-44B8-8AAA-8EE58E8B9E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$BABFC6D7-DB3E-4E32-A16A-41959E964C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d82285e8efb295661b71c4f69e7d305baa8203","datavalue":{"value":"6568153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$32DDD00F-633A-44D0-AA00-AEADEDDAB6B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77f9607f60d345d26bdfbbb65b31b1da6b6c919","datavalue":{"value":"Menon identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$B2E5B902-09A9-4FC6-8125-AD5B7856F607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6a627c619984f1e65a3cf1484db52ce2c27459","datavalue":{"value":"Cauchy-Frobenius-Burnside lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$BFE2CBAC-4DA5-42F1-8A8A-C9A50FC13EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced81e8115e06962f55f99b5e8c2238bdc90953a","datavalue":{"value":"Dedekind domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$0B2A854B-B135-4A4A-BC5A-E36A20ED137F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c02797f0d1333f502c4a18304b6dca55179997","datavalue":{"value":"group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$BE732F69-D5D4-461A-8AD7-8CC7D77C0656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efa09430041961a59866886ae6e9aa3843ca91a3","datavalue":{"value":"residually finite ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$7E703AFC-77EB-4613-A0EE-C38C9282CD5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"092969b707151c027ba0408d54f2468a678fe6ee","datavalue":{"value":{"entity-type":"item","numeric-id":888977,"id":"Q888977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$7A8872CB-C882-40CA-B87C-4514A3D31BE4","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":"Q266583$336A2D97-CE0C-4CDF-B894-DE529DB3E892","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5493ed4cc32eabae7dc10725fcb7ac7d28761010","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2015.12.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q266583$36CF434B-FD61-40F3-8CE1-A109EA933EF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2ee828045829f27c3292c25f005601ac6451e7e","datavalue":{"value":"W2289620335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$07AFBD68-C228-45EB-A4FF-95A88C1637DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$9BD95469-5996-459D-951B-7ABC78A6A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4067e754ee1b27246ca4ebf8908b8c69c48d8ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5617719,"id":"Q5617719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$0E2957F1-C3D2-4CBE-A1CE-A2B9B437ABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2da6da7b7b9ede1c8b0448b58bd66eb901fbc4d","datavalue":{"value":{"entity-type":"item","numeric-id":4508783,"id":"Q4508783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$30D73962-D5FF-45A7-820C-B9FFF6283814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b9e7f8dd30a3377121772218f8ac8951175450","datavalue":{"value":{"entity-type":"item","numeric-id":816928,"id":"Q816928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$2CAB3CA0-3BF8-4A5A-BCFB-2D7B2CF6AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a76035c041a54c44e85204ad2d7108e5e33b218","datavalue":{"value":{"entity-type":"item","numeric-id":4892389,"id":"Q4892389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$B81963F9-6C68-498E-BC28-74EEF9FA7F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5164b0744a4d5f3e31f2094787085f1d8383f58","datavalue":{"value":{"entity-type":"item","numeric-id":4392865,"id":"Q4392865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$F58356A4-6EC4-43A6-83AF-03B7985A8222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9fb74f72676ac12791a50be0e2033c9a462843","datavalue":{"value":{"entity-type":"item","numeric-id":4843593,"id":"Q4843593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$87C6980E-F797-4E5C-8F7F-13E934712D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce577357169cd81c68a6aa4956d94f7591485e0","datavalue":{"value":{"entity-type":"item","numeric-id":5626817,"id":"Q5626817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$BEB8E181-B312-4835-9F58-2CF908D8DC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9b787944dc3f64935f58ccd7814612d08c5814","datavalue":{"value":{"entity-type":"item","numeric-id":5520742,"id":"Q5520742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$5567ACBA-3E94-4DD2-A586-0A167A700E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f6b14511bd7914512d49a77cac301c2a0c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":2637457,"id":"Q2637457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$FE5C68AB-287B-4A1F-804F-4A9019BA9D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc263df1a2fd9a83799d270209de35721f3b68c","datavalue":{"value":{"entity-type":"item","numeric-id":4821147,"id":"Q4821147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$7D0B3F22-4DE9-4D35-8971-8AE8CE9BF02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9058f9ad598ecccc627fc03c87e5fb0bc9e6e573","datavalue":{"value":{"entity-type":"item","numeric-id":4425390,"id":"Q4425390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$7A006D0E-0382-4CB2-A94C-DF8EF36D9C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d4d2ab2427b3d64a0891266e8ce065f6c34ee","datavalue":{"value":{"entity-type":"item","numeric-id":1032595,"id":"Q1032595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$EAD77771-5980-4433-B6DD-A248D4C38C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c568a11c0f94eea8f9cbfccfe08c2c51b724643","datavalue":{"value":{"entity-type":"item","numeric-id":452388,"id":"Q452388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$7F7B8D1E-5AB7-4FF4-97D8-8BD465947CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bb28c2f3504cb5e0363bb9cfcedda1c99f20af","datavalue":{"value":{"entity-type":"item","numeric-id":3100866,"id":"Q3100866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$2F32BC94-4A71-4166-A6AB-7721ACE18EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a225f2b783728db2890d90d25f5eebbc5d7630","datavalue":{"value":{"entity-type":"item","numeric-id":4213734,"id":"Q4213734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266583$4FA544B7-9A63-485F-A2A2-8AC9467460D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78ad4f18c127e99eee9422dfbe8dfbab29947d45","datavalue":{"value":"10.1016/J.JNT.2015.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266583$9899B41F-3045-4BBD-90FD-E583A95FC429","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78775b786eb2298073353de6003cf6fb4aa3810d","datavalue":{"value":"Menon's identity states that NEWLINE\\[NEWLINE \\sum_{k=1\\atop (k, n)=1}^{n} (k-1, n)=\\varphi(n)\\tau(n), NEWLINE\\]NEWLINE where \\(\\varphi\\) is Euler's totient function and \\(\\tau\\) is the divisor number function, see \\textit{P. Kesava Menon} [J. Indian Math. Soc., New Ser. 29, 155--163 (1965; Zbl 0144.27706)]. This identity has been generalized by many authors, see e.g. \\textit{B. Sury} [Rend. Circ. Mat. Palermo (2) 58, No. 1, 99--108 (2009; Zbl 1187.20015)]. For a survey of generalizations see \\textit{L. T\u00f3th} [Rend. Semin. Mat., Univ. Politec. Torino 69, No. 1, 97--110 (2011; Zbl 1235.11011)].NEWLINENEWLINEIn [J. Number Theory 137, 179--185 (2014; Zbl 1293.11008)], the present author extends Menon's identity to residually finite Dedekind domains, that is, to Dedekind domains \\(\\mathfrak{D}\\) such that for each non-zero ideal \\(\\mathfrak{n}\\) of \\(\\mathfrak{D}\\), the residue class ring \\(\\mathfrak{D}/\\mathfrak{n}\\) is finite. In the paper under review the present author extends Sury's identity to residually finite Dedekind domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q266583$9C76924B-1C8F-43EB-A888-60AF5D481B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8519deed40997bd40008a4fead36e34217bfaf7a","datavalue":{"value":{"entity-type":"item","numeric-id":2637457,"id":"Q2637457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86ee11c2a02e9a396c162ccb015489a486b9223","datavalue":{"value":{"amount":"+0.9626035690307616","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":"Q266583$9CAF226E-9687-4611-B93C-085703AB63A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c2f0c2cf1fe782a153a707e28c5ac86d0b4ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2117554,"id":"Q2117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5099af72ea3922c9e23392e76af361211f48554e","datavalue":{"value":{"amount":"+0.8731321096420288","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":"Q266583$B08D147E-582D-4A26-AE09-21548D2019DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4036d881f3feb954a556d3099c79c16063ceecc1","datavalue":{"value":{"entity-type":"item","numeric-id":2097507,"id":"Q2097507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8570762eba4fe60bb5250cd4159144f06050cb82","datavalue":{"value":{"amount":"+0.8612014055252075","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":"Q266583$7B787118-3D46-4970-9864-62AD5D3F73C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2564a88b6e39e9f315248b4ad1f207307cec94","datavalue":{"value":{"entity-type":"item","numeric-id":5376577,"id":"Q5376577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e4832590ab90bf8b1cb40b64354dde3c6cf769","datavalue":{"value":{"amount":"+0.8583773374557495","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":"Q266583$2D98DA42-7DDD-4F08-9937-6E3FC99D256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d8328cbb1120fcb00ff41fd7485f1dd0b76e8e","datavalue":{"value":{"entity-type":"item","numeric-id":512231,"id":"Q512231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1168d272e02294b4b3d11f51cc3e7b3d7805da","datavalue":{"value":{"amount":"+0.8499163389205933","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":"Q266583$E379FDC2-6618-4FB8-A182-26D2A1E06922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Menon-type identity in residually finite Dedekind domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Menon-type_identity_in_residually_finite_Dedekind_domains"}}}}}