{"entities":{"Q2533230":{"pageid":2543973,"ns":120,"title":"Item:Q2533230","lastrevid":48647260,"modified":"2026-01-05T12:00:19Z","type":"item","id":"Q2533230","labels":{"en":{"language":"en","value":"On the proof of Stark's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3280235"}},"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":"Q2533230$AB49C114-2E7B-482E-BC8D-55DB7526483C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"214909ae82cb6b7e58ee711120fef116f3a2f0e2","datavalue":{"value":{"text":"On the proof of Stark's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2533230$C77BE9EC-2582-4D1F-934E-8C0C1D18A451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9a87baac7393327c686a254fe9035e6559da24a","datavalue":{"value":"0175.33602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$5CDD473D-BB39-4E01-AAB8-CE78F18BA66F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf99575af413964c1b4c605779cf9ef127be166e","datavalue":{"value":"10.1007/BF01425549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$740F30C1-44B0-4AF3-8685-30750183EDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$34B1C679-C344-481F-A9BE-E9C56257AC97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q2533230$FF25F9CA-D84D-4667-B8A3-84894F306A95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efa8be5c4753349f809597c5b64d97ebb48ea587","datavalue":{"value":"https://eudml.org/doc/141914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2533230$735D537B-B657-44D6-AEFA-708089802A31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf5c148479a6b7b5f848e21f8092834fffe8f677","datavalue":{"value":"The author presents a proof that the only imaginary quadratic fields of class number one are those classically known. The proof is along the lines of \\textit{K. Heegner}'s proof [Math. Z. 56, 227--253 (1952; Zbl 0049.16202)] (whose gaps were recently filled in by \\textit{M. Deuring} [Invent. Math. 5, 169--179 (1968; Zbl 0155.38001)])  rather than along the lines of the first proof by \\textit{H. M. Stark} [Mich. Math. J. 14, 1--27 (1967; Zbl 0148.27802)]. The fields in question are reduced to \\(\\mathbb Q(- p)^{1/2}\\), \\(p\\) prime \\(\\equiv \\pm 2\\pmod 5\\), by elementary consideration. From the Dedekind eta function, \\(\\eta(z)\\) one forms \\(\\varphi(z) = -5^{-1/2}\\eta_0\\eta_1\\eta_{-1}/\\eta_\\infty\\eta_2\\eta_{-2}\\) and $\\psi(z) = -5^{-1/2}\\eta_0\\eta_2eta_{-2}/\\eta_\\infty\\eta_1\\eta_{-1}\\) where \\(\\eta_k=\\eta((z + k)/5)\\), \\(\\eta_\\infty=\\eta(5z)\\). The 10 functions \\(\\varphi(z + k)\\), \\(\\varphi(-1/(z +k))\\) \\((k\\) modulo 5) are seen to be conjugates under the modular group and satisfy the equation  \\[ 0 = (\\varphi - \\varepsilon^3) ((\\varphi - \\varepsilon) (\\varphi^2+\\varepsilon+\\varepsilon^2))^3+ 5^{-5/2} j(z)\\varphi^5 \\tag{9}\\]   for \\(j(z)\\) the modular function and \\(\\varepsilon = (1 + 5^{1/2})/2\\), (likewise an equation (10) holds for \\(\\psi\\) with \\(\\varepsilon^{-1}\\) replacing \\(\\varepsilon\\).   On the other hand by an application of the Dirichlet-Kronecker limit formula \\(\\varepsilon^{m_p} = \\varphi(\\omega)\\) for \\(p\\equiv 3\\pmod 5\\) and \\(\\varepsilon^{m_p} = \\psi(\\omega)\\) for \\(p\\equiv 2\\pmod 5\\) where \\(2m_p\\) is the class number of \\(\\mathbb Q(-5p)^{1/2}\\) and \\(\\omega = (5p + (-p)^{1/2})/2\\). Now \\(j(\\omega) = q^3\\) for some integer \\(q\\) (and class number one) so (9) and (10) become the diophantine equation  \\[ 5^{-1/2} (E - E^{-1}) (5 (\\varepsilon^{\\pm 1} E -  (\\varepsilon^{\\mp 1}E^{-1}) (\\varepsilon^{\\pm 4}E^2 + (\\varepsilon^{\\mp 4}E^{-2}+1))^3 = q^3 \\tag{12} \\]  where \\(m_p=2l \\pm 3\\) and \\(E = \\varepsilon^l= \\varepsilon_1^2\\). Thus (12) is a diophantine equation in \\(x\\) and \\(y\\) where \\(\\varepsilon_1= (x + y5^{1/2})/2\\) and it has only the classically known solutions corresponding to \\(m_7=1\\), \\(m_{43}=1\\), \\(m_{43}=7\\), \\(m_{67}=9\\), \\(m_{163}=15\\).   In conclusion the author considers the connection between the diophantine equation (12) and quadratic class number as he asks whether this is \"harmony\" in the spirit of Leibniz and Hilbert or \"thrift\" in the spirit of Dedekind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$8ED8F0F2-51A6-4762-A67A-0F75F59A0D56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0d7fdbc1a2b8e7639c3636cd9be0e2a4893e41d9","datavalue":{"value":{"entity-type":"item","numeric-id":588320,"id":"Q588320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$3394B6C5-8291-4531-8E04-E9FA56F15ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a96ec27960548a095ff7d83af50617655333860","datavalue":{"value":"11R11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$25B44E43-79E2-4773-8206-314219359307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$6D819909-3617-45D4-AD58-C812F81C0560","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22c2d0afd4829ab4a8dddb48bfa1fca1e48f640e","datavalue":{"value":"3280235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$A93E3A0B-9FFA-4F7C-B3E9-336BE446348C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b993ded9546b56e54cac4fb140cad2a3e2d102","datavalue":{"value":"Stark's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$F5191DBA-D6E6-43B2-915A-602F94F8A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4f6c611ca0f2597b01f5065cb51e9ba94beb6b","datavalue":{"value":"class number one","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$6498027E-29AD-4330-91F9-083CB44D2A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0850427edbfe26170cca8a7ea4537380f526fc94","datavalue":{"value":"imaginary quadratic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$58D989F5-99A4-42F4-99D1-E1D71F232F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09dafbfd7ca53eee6ff0edacad604bfb6d554b70","datavalue":{"value":"Heegner","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$2EB731B1-E02E-420B-BAF1-86C1B43E22F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7087467d07f14e4ec27fc56d2e6ffe81240dc7df","datavalue":{"value":"Deuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2533230$70F307A6-EE73-4D26-8549-26DF7800955F","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":"Q2533230$B476F4DC-A5E0-44F4-8113-A78BE65F113E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6262923d6a28333d484e008e31d153347b8a29","datavalue":{"value":{"entity-type":"item","numeric-id":2524853,"id":"Q2524853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$695300D0-4AA0-4932-A2AE-36BFCC589EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca257c26216ad3d51147f847f9b7b2da966b837","datavalue":{"value":{"entity-type":"item","numeric-id":2650559,"id":"Q2650559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$40FB501D-3FB9-4EE8-B254-B1065302273D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2907dee729ae1b6ed8c84c26b5bdcee94c661503","datavalue":{"value":{"entity-type":"item","numeric-id":3246482,"id":"Q3246482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$5A5D497D-8536-40A4-9632-C9FB343A3356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b045b71e4b4c443ab82562e4d442b696eabd6b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2526783,"id":"Q2526783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$BBD00E1C-A8BE-4253-B867-0C60907C4FBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46bfadedd459e67fd0fa1e5212f019022870c9d1","datavalue":{"value":"W1972706382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2533230$72CBF5AA-9864-4E45-BCF4-29FF7C5913C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad69cac34a49566dd37c7e7223e5c3fef758026e","datavalue":{"value":{"entity-type":"item","numeric-id":6482048,"id":"Q6482048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2533230$0113D824-5550-4333-B560-F985CDDDC675","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb12cf29ad6a4d383a278198b3806f1bab33c03","datavalue":{"value":{"entity-type":"item","numeric-id":5569231,"id":"Q5569231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926b353d768a4b4693ac10a5d49d70b9c32c596d","datavalue":{"value":{"amount":"+0.827465295791626","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":"Q2533230$D5E9B750-DD93-4646-8CAD-CA446F6D1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b9aa8f46646ec1b84495341acdfc82de32c07f","datavalue":{"value":{"entity-type":"item","numeric-id":2524853,"id":"Q2524853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931a08b7f4f4c3ef74575f57b60c3ed697d9f604","datavalue":{"value":{"amount":"+0.8238745927810669","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":"Q2533230$E7B0F4ED-C3D3-4CE1-8264-56FFD9C0B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d339e165156e0e5fd41911396bfc3a5385def56","datavalue":{"value":{"entity-type":"item","numeric-id":3105298,"id":"Q3105298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8480969e12e9769a73080a047f7c8bbfb1fef9e2","datavalue":{"value":{"amount":"+0.815819263458252","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":"Q2533230$081F400D-55C9-4459-8BB1-F81C72DB4D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2262905cb67dd8d5647f02940f97cb5e41f86f61","datavalue":{"value":{"entity-type":"item","numeric-id":2540307,"id":"Q2540307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b887988ce5270920a5188cc912a387e9976032","datavalue":{"value":{"amount":"+0.8050631284713745","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":"Q2533230$931F35BC-F0DB-45F7-8375-905622050585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149766edc52fbf5dd8b59205fc98cbc88b09c51f","datavalue":{"value":{"entity-type":"item","numeric-id":2650559,"id":"Q2650559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeae37af5af74be3c3ea5fe0afd76d90d5f081b","datavalue":{"value":{"amount":"+0.8020264506340027","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":"Q2533230$377CB1C0-2A83-4CBB-A95E-C46A42ECB8A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2533230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2533230"}}}}}