{"entities":{"Q2637457":{"pageid":2648200,"ns":120,"title":"Item:Q2637457","lastrevid":78991130,"modified":"2026-05-06T12:54:09Z","type":"item","id":"Q2637457","labels":{"en":{"language":"en","value":"Menon's identity in residually finite Dedekind domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256938"}},"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":"Q2637457$F8BF0D5E-3C72-4E0B-8243-2CCDBE6D632B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c218fc542c51a4be3eaab30394b5e63fff7baa0b","datavalue":{"value":{"text":"Menon's identity in residually finite Dedekind domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637457$D25A5B5B-980D-435C-9ADC-B49902F5532C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6726e5c7d9bcbcf32cd3b4102092d1ab21bf2f9d","datavalue":{"value":"1293.11008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$BF11439B-2CC3-48A5-B9B4-7628B2DA65D8","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":"Q2637457$F1D024F8-FB55-47A9-911E-1FC943A55354","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":"Q2637457$E2AE8E24-612F-433E-81DF-27D465F02998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5358adfc8d76e07392e1442ff748721538588ad4","datavalue":{"value":{"time":"+2014-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2637457$3E7D1203-3EF2-493A-B43C-6D9295B37204","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c42622092f09eba3fce58fd03d5e48c7dd48dc6e","datavalue":{"value":"Menon's identity states that  \\[  \\sum_{k=1\\atop (k, n)=1}^{n} (k-1, n)=\\varphi(n)\\tau(n),  \\]  where \\(\\varphi\\) is Euler's totient function and \\(\\tau\\) is the divisor 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. For a survey see \\textit{L. T\u00f3th} [Rend. Semin. Mat., Univ. Politec. Torino 69, No.~1, 97--110 (2011; Zbl 1235.11011)].  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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$93A31003-9EB4-4581-BAE1-2CAC7D3638F5","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":"Q2637457$04665B30-C981-47EA-9C9D-7261EE13B9CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$FA48A81B-8771-4326-A8D5-DE90030BC5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"077dcbece09d9838610b860e62bee33545035d51","datavalue":{"value":"20D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$DAED7276-2D12-4DD0-8AC9-A9EE38367F81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24676a61de1b99a63802ae131c0750cfb71d8c0c","datavalue":{"value":"6256938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$812C1073-04E8-44D6-BA71-19782440264D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0bab0df9ac33780dd7163e99df99ad352b93f68","datavalue":{"value":"arithmetical sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$95D8BB27-401D-45A0-B3B3-FA348CE13563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a2b8e4b30ded1e8ebe39ae89a9a99db9e70b31","datavalue":{"value":"Menon's identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$6C92AABE-62DF-45EE-A34D-128829442B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a20a18cbcf6320d19fca8e1106c0cb269801fd","datavalue":{"value":"Euler totient function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$810CFF0C-5807-4585-932F-0E9534E72DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112af8f842200941bcb6a9439527e97eda941bef","datavalue":{"value":"Burnside's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$D1D80F03-592E-4CDD-A53E-A535B3EEBE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced81e8115e06962f55f99b5e8c2238bdc90953a","datavalue":{"value":"Dedekind domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$DDF715C4-6AD5-40FF-9302-9407DD54A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c02797f0d1333f502c4a18304b6dca55179997","datavalue":{"value":"group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$E3AE1187-B0E5-4C44-A4EB-FA6C5CFC27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efa09430041961a59866886ae6e9aa3843ca91a3","datavalue":{"value":"residually finite ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637457$2C131A83-10AE-447A-9D5E-593B1A7F2FCC","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":"Q2637457$27248DD2-D35B-494B-9577-0120D127A62D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80607bbaa945879defce9c49b3a347dfb577427a","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2013.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637457$4725BED4-8B71-4F7A-8642-1E09BDB78952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2291860a22103b76e2dc72d3016f3d69e81804c1","datavalue":{"value":"W1974660966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$4D41536D-0416-473A-8860-7FC54DCB63B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd786d6e508b76fbd7584175bd65f40c6f1668b","datavalue":{"value":{"entity-type":"item","numeric-id":4929800,"id":"Q4929800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$11E6BCCC-0438-4BFA-B436-DB8B278721E3","rank":"normal"},{"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":"Q2637457$0400475C-BEF3-4BC8-A69B-9680473CFD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f0f873f6f8d9a4ea12c4031850ec8c14a356bc","datavalue":{"value":{"entity-type":"item","numeric-id":2649036,"id":"Q2649036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$D2107073-9863-4625-BB13-450C49564A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986e05cfef1c53e891858a34a46638d4252221a1","datavalue":{"value":{"entity-type":"item","numeric-id":3518705,"id":"Q3518705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$803FE568-457D-433A-BD29-1A044A85F63E","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":"Q2637457$C4983B14-B7F3-404B-9C75-633971B1D2B6","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":"Q2637457$6C842C32-8A90-458F-98B8-CC43638B80D5","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":"Q2637457$455B73D9-B80F-4C26-AEF8-6403B6E6A4D2","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":"Q2637457$9A8BCA32-FF8F-4D57-87BA-77B1BF1F7C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f497afb3eed4f20b92d4624445c07488087b41","datavalue":{"value":{"entity-type":"item","numeric-id":5793868,"id":"Q5793868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$5DEA125A-908F-4590-8AC4-A54DBB58E957","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":"Q2637457$E695B4CB-0AB8-46CB-A7E4-10727FE7C80F","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":"Q2637457$56942CF8-28BE-4B97-9B73-A0A74A8CD8CA","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":"Q2637457$924F65DD-7ED1-44B2-9296-D083B7577392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce050ce3415435fa8bdb932c050dc6d4af6c125","datavalue":{"value":{"entity-type":"item","numeric-id":4196577,"id":"Q4196577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$F1BBE867-8C3B-4A05-A1EB-A88E62664F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7eaa83851bb82d599378764521e52e418321e4","datavalue":{"value":{"entity-type":"item","numeric-id":4802220,"id":"Q4802220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637457$0F51B7A6-6645-4311-822B-D85CD9A308E9","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":"Q2637457$8D0E089A-46BE-4717-A508-0AD7178ECF28","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":"Q2637457$31FEF7FB-C83E-49CB-97BA-4D6203897BDA","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":"Q2637457$66FCA8F7-EEA8-4609-811D-E309149E60EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8300eb66d353a672022f9770d283f39e7590b562","datavalue":{"value":"10.1016/J.JNT.2013.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637457$FDF7F8BC-7786-4A36-BB6E-A684BF56CC90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe1893c213238f3c90c17d612553f4d8bcd57fc","datavalue":{"value":{"entity-type":"item","numeric-id":266583,"id":"Q266583"},"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":"Q2637457$E59E5CE6-9A89-4619-A696-F46289772A93","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":"857f5ebc541be216ec4ef8fa5d2216f9800e4082","datavalue":{"value":{"amount":"+0.8890756368637085","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":"Q2637457$9EE649BC-959E-495B-AB87-38BDFB27BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763b88bb5977efb930c2d33d19cebe197bf819a3","datavalue":{"value":{"entity-type":"item","numeric-id":4645767,"id":"Q4645767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c177ae05c9fb992b4d35d2f7997dabd546df0a","datavalue":{"value":{"amount":"+0.887896716594696","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":"Q2637457$5DF11D31-1BF1-4402-92DF-1B41DD8E0343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafd807e4245ccc50769728c3b91a50fa773b2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2226637,"id":"Q2226637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb92e057b15c336f0069539fae275bd4f24b9805","datavalue":{"value":{"amount":"+0.8757776021957397","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":"Q2637457$82D67997-3099-40F4-95A3-BD12C6BA7A7F","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":"797f5f59a2b367b033bf2451373ea4ca43f1f90b","datavalue":{"value":{"amount":"+0.8642094731330872","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":"Q2637457$2A5D6AF7-E8E4-46B0-A6B8-4EA0CFC0831A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Menon's identity in residually finite Dedekind domains","badges":[]}}}}}