{"entities":{"Q1279623":{"pageid":1290373,"ns":120,"title":"Item:Q1279623","lastrevid":68436726,"modified":"2026-04-12T23:41:46Z","type":"item","id":"Q1279623","labels":{"en":{"language":"en","value":"Ramanujan's modular equations and Atkin-Lehner involutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1250636"}},"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":"Q1279623$FD6A96BA-19CE-4B50-B1C2-667285CDB6FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5354625129acc6b7ec0dfda1233db9072b9e28c","datavalue":{"value":{"text":"Ramanujan's modular equations and Atkin-Lehner involutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279623$5142F204-2394-4879-80D3-BB715C6632DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b4999cb2168d4cd471b9307418cac521ad01b08","datavalue":{"value":"0922.11040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$DE37FE76-A670-4634-A214-A84B1B68D0D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8841c275164fd6894de1055bc8e983b0f2a4493","datavalue":{"value":"10.1007/BF02762264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$05903A49-B5DC-4852-AEB6-2F1ECC08BFB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83382c7804ad0cb7880eb8f3c7aa4742f40738cc","datavalue":{"value":{"entity-type":"item","numeric-id":180190,"id":"Q180190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$C26129EB-33E4-48B1-9A94-A0AFA67E9E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c0559a12c8bda816257bfeb293e2653e326f8f","datavalue":{"value":{"entity-type":"item","numeric-id":167123,"id":"Q167123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$34DC483A-F4AF-4648-9B12-5B548A1F01EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$362D201E-87D5-4D51-B8C0-5B463CC8A5FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279623$B3347502-11C0-4EB2-9F7B-917EAE7D093C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"167d5293aa2458184b1bc95d2e807b37f9c44b8d","datavalue":{"value":"This paper concerns a set of identities of which the following is the simplest:  \\[ -Q+{1\\over Q}= P+{8\\over P}, \\]  where  \\[ P= {\\eta^3(\\tau) \\eta^3(3\\tau)\\over \\eta^3(2\\tau) \\eta^3(6\\tau)}\\quad\\text{and}\\quad Q= {\\eta^6(\\tau) \\eta^6(6\\tau)\\over \\eta^6(2\\tau) \\eta^6(3\\tau)}. \\]  Here \\(\\eta\\) is the Dedekind \\(\\eta\\)-function. The paper offers about a dozen identities of this shape, together with a unified method of proof, given in \\S 4: ``Let \\(\\sigma\\) be a modular function with invariance group \\(A\\) such that the genus \\(g(A\\setminus \\mathbb{H}^*)\\neq 0\\). If there exists a group \\(G\\) such that \\(m:= [G: A]<\\infty\\), \\(g(G\\setminus \\mathbb{H}^*)= 0\\), and \\(A\\vartriangleleft G\\), then we always have an identity of the form  \\[ \\sum^m_{i= 1}\\sigma|_{g_i}= {n(f)\\over d(f)}, \\]  where \\(G= \\bigcup^m_{i= 1} g_iA\\), \\(n(x)\\) and \\(d(x)\\) are both polynomials in \\(x\\), and \\(f\\) generates the function field of \\(G\\setminus \\mathbb{H}^*\\). To determine \\(d(f)\\), we first set \\(\\wp:= \\left\\{\\text{poles of }\\sum^m_{i= 1} \\sigma|_{g_i}\\right\\}\\setminus \\{\\text{poles of }f\\}\\). Since by assumption, \\(f\\) is a bijection from \\(G\\setminus \\mathbb{H}\\to \\mathbb{C}\\cup\\{\\infty\\}\\), we conclude that  \\[ d(x)= \\prod_{p\\in\\wp}(x- f(p))^{e_p}, \\]  where  \\[ e_p=- {\\text{order of }(\\sum^n_{i= 1}\\sigma|_{g_i})\\text{ at }p\\over \\text{order of }(f- f(p))\\text{ at }p}. \\]  Note that \\(d(x)\\) is defined to be \\(1\\) if \\(\\wp= \\phi\\). The polynomial \\(n(x)\\) can then be determined by comparing the Fourier expansions of \\(d(f)\\sum^m_{i= 1}\\sigma|_{g_i}\\) and \\(f\\) at \\(\\infty\\).''   In practice, \\(G\\) is an extension of a level \\(N\\) congruence subgroup by an Atkin-Lehner involution \\(N_e= \\left(\\begin{smallmatrix} ae & b\\\\ cN & de\\end{smallmatrix}\\right)\\), where \\(e\\| N\\). This new method of proof yields some modular equations beyond those of Ramanujan.   The final section lists ``all genus \\(0\\) discrete groups \\(\\Gamma\\), \\(\\Gamma_0(N)\\subset \\Gamma\\subset \\Gamma_0(N)+\\), where the \\(\\Gamma_0(N)+\\) is generated by \\(\\Gamma_0(N)\\) together with all its Atkin-Lehner involutions''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279623$26EF9859-66BE-40D6-A6A5-77F3BAC2422E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"43eb4d298c9d72ec265a7344f1ce13b9a3af74f5","datavalue":{"value":{"entity-type":"item","numeric-id":212917,"id":"Q212917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$2C2A4975-3D88-4583-BFDE-8B3A6CE611A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$FA8ABE2C-DF33-43D9-995A-B8E783A4A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7d6f43b461df83aae6c957cd96e11902a62525","datavalue":{"value":"11F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$10E8C410-6334-4CB9-B8B9-7BC78CACB02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c61979e4c3d4177dcdda5982fb7e1952a991fc","datavalue":{"value":"11F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$B0D76DFD-1B22-4045-9BB3-A82C0C8ACE1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a122cf778a51e92aeed6fb7c4e3c409ccde9a5d5","datavalue":{"value":"1250636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$88622D42-847A-404F-AF5E-0550A6FF9071","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4677672f6bc8ee383c28cbfd75dac7e54d12325b","datavalue":{"value":"Ramanujan modular equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279623$1ABACC4D-DCE4-4CDD-8000-E01C223DDD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e706e24b8e706672ba09c86aed4b00c1c3bc9988","datavalue":{"value":"modular function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279623$A1E4A972-00B2-4F9C-B5D9-1578E434E622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c38b02b4495a754e84e63c4e535500c9f1939d","datavalue":{"value":"congruence subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279623$7EFFD44F-E668-4589-AF2D-2B4009A2FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc899484c5410317060a97c06535932df77756b","datavalue":{"value":"Atkin-Lehner involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279623$6F46FEB9-985F-4CC2-9077-CD18DEBA7241","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":"Q1279623$7E2DF260-7CCD-4628-A782-0E2A52041D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0787b9828e67f903bad513af0d57c783c53f5ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4000402,"id":"Q4000402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$6DAD2B3B-42E4-428E-BECA-D9261E322AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a718a6ef6b09436dc07bc5e2ba999df3f97efe","datavalue":{"value":{"entity-type":"item","numeric-id":4276250,"id":"Q4276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$520C7107-CD0C-4368-A312-D0C448D11AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee0a9856b633caab85b566e3c7d0fc8ed39014f","datavalue":{"value":{"entity-type":"item","numeric-id":4863034,"id":"Q4863034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$A0BC3C62-0806-4478-8C14-6B8022072C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2d0925ad99a24058414aab3288a3abdff6e6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4336558,"id":"Q4336558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$30F54F57-4A7B-4156-853C-02EF8DC3110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3290ec70bfc64a31f871f605c5d6ea902258f656","datavalue":{"value":{"entity-type":"item","numeric-id":4875822,"id":"Q4875822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$652F5320-0BA9-4B60-991E-8382DFF22E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8998ae38cff9580e69cb6777cdbcd5384c59245e","datavalue":{"value":{"entity-type":"item","numeric-id":4126408,"id":"Q4126408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$910AE7AC-BEBC-41F8-9C74-40F4C01AB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177adeb6b098ef146d05eecc632733aa533af781","datavalue":{"value":{"entity-type":"item","numeric-id":3838156,"id":"Q3838156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$8555ED68-1525-491C-9630-3014854721CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462a9efc5aa1e0172b266608b523be272fc25e86","datavalue":{"value":{"entity-type":"item","numeric-id":1062089,"id":"Q1062089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$848398CB-E90B-4F96-8B15-E713C7CC8E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544491efb5593648739830a32c73d4494dd3509c","datavalue":{"value":{"entity-type":"item","numeric-id":5568136,"id":"Q5568136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$96E18507-D802-4AF7-A3CC-478120FDC776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80bcc237ccc9c2155e93c1dfa1e52062b7e38f9","datavalue":{"value":{"entity-type":"item","numeric-id":5513003,"id":"Q5513003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279623$053BEBB4-B5B2-43A8-A26E-519169E849E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d5de4f586add2776233913bec22bbf3dbcd381d","datavalue":{"value":"https://doi.org/10.1007/bf02762264","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279623$3F625C34-9BC3-4B1F-997A-E15C0A748809","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a78fdf5f9177ed241a054ce60cca196801b678c","datavalue":{"value":"W2066124438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279623$8CD97018-5DF3-437E-B5A4-57091949ACCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c92b7d211e203fb161f1512b74b6501e84ed41","datavalue":{"value":{"entity-type":"item","numeric-id":1840490,"id":"Q1840490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c7a3c4cef4387c6b1c0b22be83023abd5a77c1","datavalue":{"value":{"amount":"+0.8018868565559387","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":"Q1279623$095757DE-580C-48BA-9D47-E71C2183582B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3b244ef337dceb49e6a50873ebc7ec38fa2a9f","datavalue":{"value":{"entity-type":"item","numeric-id":811552,"id":"Q811552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5877671e28567530c2ca5f879f48329b4854d13","datavalue":{"value":{"amount":"+0.8001298308372498","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":"Q1279623$3822EBAE-2FC9-48C5-A08F-E8E8C23E8913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b885355dc94e4695c535b0c46c00cf70c77807","datavalue":{"value":{"entity-type":"item","numeric-id":4310737,"id":"Q4310737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1e9f7ba7d4a5dcefddea43d4989f6ddf0ba506","datavalue":{"value":{"amount":"+0.7891666889190674","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":"Q1279623$8B89F62F-0669-49AD-BEC4-2867F264D55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae918a97157a995c5d34417df9df763a0925723","datavalue":{"value":{"entity-type":"item","numeric-id":2491675,"id":"Q2491675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1d5f6738102ee629b9a3ae7614e6c88a6e6fa5","datavalue":{"value":{"amount":"+0.785385012626648","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":"Q1279623$CF1BFB82-EDE8-4EBB-AC82-2615CC60E038","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramanujan's modular equations and Atkin-Lehner involutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramanujan%27s_modular_equations_and_Atkin-Lehner_involutions"}}}}}