{"entities":{"Q926487":{"pageid":928335,"ns":120,"title":"Item:Q926487","lastrevid":65427630,"modified":"2026-04-12T02:31:35Z","type":"item","id":"Q926487","labels":{"en":{"language":"en","value":"The Atkin orthogonal polynomials for congruence subgroups of low levels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5277381"}},"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":"Q926487$53961D85-3514-4269-B5E7-AB33579BB179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40290457752264a5165f97bf358a27df6d92f05b","datavalue":{"value":{"text":"The Atkin orthogonal polynomials for congruence subgroups of low levels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q926487$9B1ECD05-B6CD-4818-A871-D2295B86976C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d18d10398ebe4b0a9b729f0b6fbc4112b0d1388","datavalue":{"value":"1181.11037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$EF3FD0F3-4681-4C65-9B9F-3B5CFE6AE45C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62e76c39bdc5b0c29aefc8fe5597218331c87f73","datavalue":{"value":{"entity-type":"item","numeric-id":193061,"id":"Q193061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$A7E789D4-D922-4677-8056-DB0B53D1124B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$8B0DE2D1-54F4-43E9-9242-4DF10024BAD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9210b7f4387a8a6dc8e8fac3d9ed99451b2d14b5","datavalue":{"value":{"time":"+2008-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q926487$3CB8051D-1F5B-49C2-A50C-515E61A04D01","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9ff676e241bd4733689d77c9a626a2fb430f4c7","datavalue":{"value":"Let \\({\\mathcal M}_N\\) denote the ring of modular functions for the group \\(\\Gamma_0(N)\\) which are holomorphic on the upper half plane and at all cusps except for \\(i\\infty\\). The Atkin inner product \\(A^{(N)}(f,g)\\) is defined for \\(f,g\\in{\\mathcal M}_N\\). It has several properties in commen with the Petersson inner product for cusp forms. For \\(N= 1\\), A. O. L. Atkin found the inner product and its relation to supersingular elliptic curves over finite fields, but he did not publish his results. Atkin's results and further properties for \\(N= 1\\) were elaborated by \\textit{M. Kaneko} and \\textit{D. Zagier} [AMS/IP Stud. Adv. Math. 7, 97--126 (1998; Zbl 0955.11018)]. The author [J. Math. Kyoto Univ. 40, No. 4, 751--773 (2000; Zbl 0993.11021)] defined the Atkin inner product for arbitrary \\(N\\) and showed that the Hecke operators are self-adjoint with respect to this product.   In the paper under review he generalizes Kaneko's and Zagier's results to those groups \\(\\Gamma_0(N)\\) which are noncompact triangle groups, which embraces just the cases \\(N\\leq 4\\). Then a function \\(j_N\\) is explicitly defined such that \\({\\mathcal M}_N\\) coincides with the polynomial ring \\(\\mathbb C[j_N]\\). (Of course, \\(j_1\\) is the elliptic invariant.) In Theorem 1, the Atkin inner product is defined by a certain Laurent coefficient, it is identified with a line integral in the upper half plane, and it is shown to be positive definite on \\(\\mathbb{R}[j_N]\\). In Theorem 2, a sequence of orthogonal polynomials \\(A^{(N)}_n\\) for \\(A^{N)}\\) is introduced by a recursion and described by explicit formulas. In Theorem 3 it is shown that the degree \\(n\\) polynomial \\(A^{(N)}_n\\) has \\(n\\) distinct roots in a certain open interval. Theorem 4 gives the relation between \\(A^{(N)}_{n_p}(X)\\) and supersingular elliptic curves over a field \\(K\\) with prime characteristic \\(p\\). These curves have no torsion over the algebraic closure of \\(K\\). Their number \\(n_p\\) is finite. Theorem 4 states that \\(A^{(N)}_{n_p}(X)\\) is congruent modulo \\(p\\) to a product of factors \\(X- j_N\\) taken over certain supersingular curves. The group \\(\\Gamma_0(4)\\) is conjugate to the principal congruence subgroup \\(\\Gamma(2)\\).   In this case the supersingular polynomial dates back to \\textit{M. Deuring} [Abh. Math. Semin. Hansische Univ. 14, 197--272 (1941; Zbl 0025.02003 and JFM 67.0107.01)]. The restriction to the cases \\(N\\leq 4\\) seems to be reasonable since otherwise one cannot expect positive definiteness even when the genus of \\(\\Gamma_0(N)\\) is \\(0\\). The author shows that the Atkin inner product is in fact degenerate for \\(N=5\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q926487$D282AF11-BBF4-400A-8586-71F6AC58F1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7d6f43b461df83aae6c957cd96e11902a62525","datavalue":{"value":"11F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$EAA3EB5C-B94D-475D-BFFF-7A2114E922E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$6530AC3A-9367-4041-A501-9FA712068118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbcd6dd1b5cafee184ac56ff8eb9fd2e8218aae7","datavalue":{"value":"11F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$D10D8B21-FA85-4547-ACF5-8321F509C1E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c430f1784217efefe07d1036e9344b89bb9f34c","datavalue":{"value":"5277381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$E511D316-DC8D-47B4-85D3-9C7CCCD075C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bea2d3ca590292a2c7cfbee336e41a4f695a814","datavalue":{"value":"modular form","type":"string"},"datatype":"string"},"type":"statement","id":"Q926487$72DEA6D7-B3EF-4257-B5C7-634C43CF7DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001a4bfab4cc1e147ed731e59dda9af07a97c548","datavalue":{"value":"hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q926487$67742709-7D18-4FF5-ADE5-9FDB03557A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43bbd6db1e17ff9cac819e2286efa58b7dc9e837","datavalue":{"value":"Atkin's orthogonal polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q926487$7AB04583-13CA-4CD9-99FE-B70FA59B38DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c60ec5b1c59988da38eb2ada6bc449d4f40ff1e2","datavalue":{"value":{"entity-type":"item","numeric-id":189293,"id":"Q189293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$37F61F7C-6AC7-4483-9F41-94D7528E0B51","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":"Q926487$8EAA84EB-B934-4C43-93DA-3DDBC5678447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4dda3aad55f3e3fc724fe256f3a1f6c27422c87","datavalue":{"value":"https://doi.org/10.1007/s11139-007-9026-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q926487$7A12B1CA-5EC3-4F78-B52C-A56A2C7A3C38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2b2f5fc9c9e44256d282bfc228f636032ac67e","datavalue":{"value":"W1987625821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$E7847B03-F878-49B8-A3D2-B9888E23D9BB","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":"Q926487$9A00659E-F0F5-48DE-85C6-EE7B4DAC0783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6302a9a6033c79c99a14f825049cd5b07c800061","datavalue":{"value":{"entity-type":"item","numeric-id":2703812,"id":"Q2703812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$38707799-8CB0-472B-A2EA-8F3D07F8B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5351451260d09d398ba2b7cbe9c8feb8b2619f25","datavalue":{"value":{"entity-type":"item","numeric-id":4767396,"id":"Q4767396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$A60026AD-ACB4-412C-8704-B449F6D85489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb383fecdb95610c3f463b2a5539ca1176caf12c","datavalue":{"value":{"entity-type":"item","numeric-id":1417927,"id":"Q1417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$09F8EA97-0424-4C82-B3D8-94F992BED395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ade43b3d7fc1de00967c10e7b8e4b3dfd6ec27d","datavalue":{"value":{"entity-type":"item","numeric-id":4213385,"id":"Q4213385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$202E3D66-3A6A-4CC4-AF01-DC5C00CBD5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb380c40c10a7d9d6dec3becc8293ee7708df6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3710637,"id":"Q3710637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$8492F88E-F0DD-4E88-8D6F-AE31AC574B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f81f88605d6084269b1dd96da133d3269bd591","datavalue":{"value":{"entity-type":"item","numeric-id":1102317,"id":"Q1102317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$4F29E065-03E1-4E32-9498-113D995C579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264f3ee1efdb957d55ee64db7dbd0e74c9fb5c97","datavalue":{"value":{"entity-type":"item","numeric-id":1219361,"id":"Q1219361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926487$811DBDE7-B45D-4BB7-B9D2-D328BC307CD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dee7d0230f8cfdaa8c5385cb98c8af9453b969e","datavalue":{"value":"10.1007/S11139-007-9026-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926487$3FDDB70F-378D-4E43-99C1-6D520F59CA2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824d000270f5e74a3cad87df1e5f6e6012538d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5939019,"id":"Q5939019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2155437ca36de927e7465fbf290cd8285f8fb370","datavalue":{"value":{"amount":"+0.77386856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$82AD7CBF-8D35-4385-866C-6768A264A214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0e082e455385fb466aefd18729782f3e636f48","datavalue":{"value":{"entity-type":"item","numeric-id":4213385,"id":"Q4213385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898c98e4feb1d51f0da12bd36af9d91e64c394e9","datavalue":{"value":{"amount":"+0.74300313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$3B1B9E95-BEEF-424E-9B6C-8B2C1CD633D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a319c360f64dbe4dfd6606d5bee7ccb85ebb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3395927,"id":"Q3395927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2728a769305a6baf4af14fefa3595f9184b24874","datavalue":{"value":{"amount":"+0.71555763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$2265AE06-95A3-425F-9D44-E78CE6843EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66254ce1916716ed4c943be85a6857257c8495d","datavalue":{"value":{"entity-type":"item","numeric-id":3173464,"id":"Q3173464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7053007c573826c1a1f610c0236430368feeae31","datavalue":{"value":{"amount":"+0.66134006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$2C5F43BC-3E9D-4698-BA7F-3618D450A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1290e9675927bb904104cc7910b77162b3c537dc","datavalue":{"value":{"entity-type":"item","numeric-id":1429155,"id":"Q1429155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4983cc3c895d7650a28d2d480ec78f5e5f9c42aa","datavalue":{"value":{"amount":"+0.6576923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$31C94FDD-BE44-4E66-8A90-B78A7A363883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23877d97fddd189966b600a7dccc2a36e0ade646","datavalue":{"value":{"entity-type":"item","numeric-id":2856114,"id":"Q2856114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec7036d157ea51b70a8bc62b78602aba3a2c64f","datavalue":{"value":{"amount":"+0.65113807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$4310D699-4689-4699-993A-810BBA2FCC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bc70f4e3d7b60969c16a7ec73f44f0fd716774","datavalue":{"value":{"entity-type":"item","numeric-id":4875861,"id":"Q4875861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1756eaaff83687d752dfe3f7bcd6083853531eb6","datavalue":{"value":{"amount":"+0.6492088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$CF00A27E-B61C-4A9F-A730-CB848C9AC9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43cdcf04674d1095c60c424d043cbd0688e58aa0","datavalue":{"value":{"entity-type":"item","numeric-id":953051,"id":"Q953051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e912f04980d61e7670dfd512482b0518ef9091a","datavalue":{"value":{"amount":"+0.6486149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$9007CD42-0E6E-4E4B-BFE1-71BC32E4BE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0ee9c6dc3694a1ecef09fd32781b3c1b6adfea","datavalue":{"value":{"entity-type":"item","numeric-id":2267761,"id":"Q2267761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f406b536baad65a12f2c8e23d03a8ed4113539","datavalue":{"value":{"amount":"+0.6484151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$2AE50941-1A08-427F-A433-BB83E5888B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2aac21d502cd9f1e36c0988b6d6299f448f4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2940199,"id":"Q2940199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fac59de2e7e199eb72f8a1b5d29c8f26d5124a","datavalue":{"value":{"amount":"+0.6423762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q926487$E71E747F-6B2F-4460-B885-BED76C1A3092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Atkin orthogonal polynomials for congruence subgroups of low levels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Atkin_orthogonal_polynomials_for_congruence_subgroups_of_low_levels"}}}}}