{"entities":{"Q1101511":{"pageid":1112263,"ns":120,"title":"Item:Q1101511","lastrevid":49155730,"modified":"2026-01-06T16:41:41Z","type":"item","id":"Q1101511","labels":{"en":{"language":"en","value":"Singular moduli, modular polynomials, and the index of the closure of \\({\\mathbb{Z}}[j(\\tau)]\\) in \\({\\mathbb{Q}}(j(\\tau))\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045881"}},"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":"Q1101511$E22DFD77-E7EE-405B-8BAE-2CC71BAE22FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1a8cde7534747190f819fcb61a142d55db9fe3","datavalue":{"value":{"text":"Singular moduli, modular polynomials, and the index of the closure of \\({\\mathbb{Z}}[j(\\tau)]\\) in \\({\\mathbb{Q}}(j(\\tau))\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101511$4A7E7D8F-9BF9-4F42-A889-7ADF972CD5C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d235f775bfc63c896d7c9a07c38f783942c42e1","datavalue":{"value":"0642.12014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$8C13597E-7D73-47DA-90F7-5BB2A63D2533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a375a861b5c58c6fe0c7fc002fbd3c7534560dbb","datavalue":{"value":"10.1007/BF01446429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$11A2E3FA-41E0-4B6F-A857-BC3F2AC1AE4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"598248833e8fa0ccb3f79ead45893ae6376a0cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1101510,"id":"Q1101510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$C56E2E31-694F-42E1-8CFA-5B4702325AC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$76438D16-7883-4693-8CEF-8806F3BE502B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101511$FADCF8EF-E906-4E8B-B703-784BBB4A6F6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caa52a30345d1e62bd055b272cd3c76fe4d9ce93","datavalue":{"value":"https://eudml.org/doc/164502","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101511$5115A425-7F36-4EAD-971C-56D939DFCF73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5282ee803a3ce475e600bcd5fc866217f9fe8327","datavalue":{"value":"Gross and Zagier used the prime factorization of differences of singular moduli to study modular polynomials and used the results to compute the index, I, of \\({\\mathbb{Z}}[j(\\tau)]\\) in its integral closure in \\({\\mathbb{Q}}(j(\\tau))\\). The algebraic proof they presented held only for prime discriminants. In this paper we generalize their results to relatively prime composite discriminants and give wholly algebraic proofs of our results.    Let \\(\\tau _ 1\\) and \\(\\tau _ 2\\) be elements in the upper half plane and imaginary quadratic over \\({\\mathbb{Q}}\\) and having fundamental discriminants \\(d_ 1\\) and \\(d_ 2\\) respectively. Let \\({\\mathfrak O}={\\mathbb{Z}}[(d_ 1+\\sqrt{d_ 1})/2]\\subset {\\mathbb{Q}}(\\sqrt{d_ 1})=K\\). Let j(z) be the elliptic modular function. The m-th modular polynomial, \\(\\phi _ m(x,y)\\in {\\mathbb{Z}}[x,y]\\) is defined by  \\[  \\phi _ m(j(z),j(z'))=\\prod _{\\det \\gamma =m mod SL_ 2({\\mathbb{Z}})}(j(z)-j(\\gamma z')).  \\]  This product is taken over all equivalence classes of \\(2\\times 2\\) matrices of determinant m, modulo the left action of \\(SL_ 2({\\mathbb{Z}})\\). - One simply stated result concerning \\(\\phi _ m\\) is that any prime \\(\\lambda\\) of either \\({\\mathbb{Q}}(\\sqrt{d_ 1})\\) or \\({\\mathbb{Q}}(\\sqrt{d_ 2})\\) dividing \\(\\phi _ m(j(\\tau _ 1),j(\\tau _ 2))\\) must have characteristic \\(\\ell <md_ 1d_ 2/4.\\)    Now fix one fundamental negative discriminant d. For non-negative integers n let R(n) (resp. \\(r_ 1(n))\\) be the number of integral ideals (resp. integral ideals in the principal class) of \\({\\mathfrak O}\\) having norm n. Extend both functions to \\({\\mathbb{R}}\\) by setting \\(R(x)=r_ 1(x)=0\\) for arguments other than non-negative integers. For each prime p, finite of infinite, let \\(\\epsilon _ p: {\\mathbb{Q}}_ p(\\sqrt{d})\\to \\{\\pm 1\\}\\) be the local character given by class field theory. - Define \\(\\rho _{\\ell}(n)=0\\) if there exist two primes \\(p| d\\) such that \\(\\epsilon _ p((n-| d|)/n)=-1\\), and \\(\\rho _{\\ell}(n)=2^{a(n)}\\) otherwise, where \\(a(n)=Card\\{p| (n,d)\\}.\\)    Theorem. Let \\(\\ell\\) be a rational prime not dividing d. Then \\(ord_{\\ell}(I)=\\sum _{n\\geq 0}\\sum _{k\\geq 1}\\rho _{\\ell}(n)\\cdot (R(n)-r_ 1(n))\\cdot R((/d| -n)/\\ell\\) k).\\ A more precise form of this theorem extending it to all rational primes is found in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101511$1B91A3C6-F5A5-473A-9D90-F0A27B91CE36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$7B8CF9D7-38F9-433E-8014-A85CD3FF168F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7d6f43b461df83aae6c957cd96e11902a62525","datavalue":{"value":"11F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$AAE02A05-83E1-49DF-BEE8-D4887D5903F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$F4467B50-26D5-4B52-949A-02EBF7DDCD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$9620A704-D33C-42B0-BF88-CD805BCCA9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef110fa5c129d94930a5f78e40d9192a94753e0d","datavalue":{"value":"14H45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$C856D503-4AF5-4E17-AE55-935C08BDCD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a96ec27960548a095ff7d83af50617655333860","datavalue":{"value":"11R11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$EB1108B3-D753-4C6C-85B4-DC93664D2E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c0286e87e3187f78f317993a66e3d4b5f36a318","datavalue":{"value":"4045881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101511$DE0DD8BE-E791-4D93-B654-904687B17FED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93d73e0d649e0740818e8dc4fbc1bfd30c61105","datavalue":{"value":"elliptic modular function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101511$DEE4D975-978F-429F-AEA7-0C1F6582CD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c91d3b0c8c137c5e3034e317b1b985e7e6d59ba5","datavalue":{"value":"modular polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101511$520F9C87-A5AA-464B-8C41-15A78C78159E","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":"Q1101511$313605EE-BAF1-4B3C-AFA4-44B74088F7E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fb8c56899b67d85ad02bac52b375801a70b014","datavalue":{"value":{"entity-type":"item","numeric-id":2646926,"id":"Q2646926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$380F61C3-6C10-46DC-8CF3-063DD5306C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299fbdfb1b6c20b939a8c20defae4aad39cfb20e","datavalue":{"value":{"entity-type":"item","numeric-id":3474735,"id":"Q3474735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$85AA0C34-0309-4BCB-BFD6-E7EFF410E123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e57463a90e9f796c3f9cc20396c1c81a8d8419","datavalue":{"value":{"entity-type":"item","numeric-id":3029078,"id":"Q3029078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$E20A7876-0D3E-482D-B13F-E66A2B354E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6757eb2ffc992b2830863ddde4def356169b0d59","datavalue":{"value":{"entity-type":"item","numeric-id":3665193,"id":"Q3665193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$FA541F30-7153-4120-BBCD-093AC36069A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ddcf72284929d3b765c6aa2af9682da55abec6","datavalue":{"value":{"entity-type":"item","numeric-id":1139100,"id":"Q1139100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$902C679D-5F9E-43C4-9169-9BAD8D5B2A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66cdd2dadfb088fc836b382794c1a2cac6b94cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1086308,"id":"Q1086308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$FE5EC3D6-F5F5-4315-8C92-F426842F1985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b2b9931c6489caa2b181c56a25b38051fba537","datavalue":{"value":{"entity-type":"item","numeric-id":3335847,"id":"Q3335847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$89A99715-612F-44B6-8C59-9D6C5318C9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d8be9ff371ebc1736d9d51693d9157d5ee2499","datavalue":{"value":{"entity-type":"item","numeric-id":3964705,"id":"Q3964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$A1C68D43-BE0A-4BAD-898C-F04496E925C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05095409b07cdaede500e84c28f08d02fd9d4cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2531780,"id":"Q2531780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101511$A7FC4033-A787-4652-AB73-E2DBB12CD69A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88891793950e1f6c1afdc47413bff22ae476ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3335847,"id":"Q3335847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc55a50be7ed314035a6fadaaa59d6e3643907b","datavalue":{"value":{"amount":"+0.8451533913612366","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":"Q1101511$D2252EDB-CBB1-4BAD-B2AF-ED9ED3D02668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4dfb7b328ce22ba821aebbf9a535da4298d927a","datavalue":{"value":{"entity-type":"item","numeric-id":3450211,"id":"Q3450211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5205ebe810b48e66b2f5df206ed827e3c3c68e5a","datavalue":{"value":{"amount":"+0.8002955317497253","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":"Q1101511$C2A5B2EF-509A-45AB-A180-A2DDD5362B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290a3fe32ca40daf64c19c7ab5413ed2ae950b59","datavalue":{"value":{"entity-type":"item","numeric-id":3029078,"id":"Q3029078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f43ff4adb4b3ecb6e205b0a95425ea0f872c96","datavalue":{"value":{"amount":"+0.7921558022499084","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":"Q1101511$A492D9AC-C8DD-494D-87D4-BD7976223E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb322c7f9cd409ab7370280d050a685c3ffabac","datavalue":{"value":{"entity-type":"item","numeric-id":4681957,"id":"Q4681957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07470842f139647ee818a54264a138861c70270","datavalue":{"value":{"amount":"+0.7848315834999084","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":"Q1101511$4788E496-2C9A-46C0-927C-F29E6C58EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e393814aff0782dd9805fddb215359e8a0443524","datavalue":{"value":{"entity-type":"item","numeric-id":810101,"id":"Q810101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c69023f7ac17e9c717df6638175ad2c0fa707b","datavalue":{"value":{"amount":"+0.7811292409896851","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":"Q1101511$C1FB087B-7C50-40D0-AC28-B5CE8709D201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1101511","badges":[]}}}}}