{"entities":{"Q1825924":{"pageid":1836666,"ns":120,"title":"Item:Q1825924","lastrevid":73639614,"modified":"2026-04-14T16:45:23Z","type":"item","id":"Q1825924","labels":{"en":{"language":"en","value":"Hilbert functions and Witt functions. An identity for the congruences of Atkin and of Swinnerton-Dyer type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4122128"}},"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":"Q1825924$685A89C7-9B92-471E-A17B-C785FEAD8EBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c305aad24d2153a91aa779e47355404cdd1232","datavalue":{"value":{"text":"Hilbert functions and Witt functions. An identity for the congruences of Atkin and of Swinnerton-Dyer type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825924$4D4C2AAD-196F-4E45-BD01-23777606BF7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2fe69c68c27392e9d2b4326c0771be67bede70","datavalue":{"value":"0685.14026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$A4374297-8553-47BB-A02C-23281AF38385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6993a08f19810270c01e08d4f86fb0a170befefe","datavalue":{"value":"10.1007/BF02571239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$AC00F148-A788-4BD5-86E2-D211B6DFFC76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$C5D548B7-A861-47D6-BFC1-946D7C92BE05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q1825924$EBE0D1F1-E7F8-453D-9F0A-9A94AC899168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7913f0c8b40671e6fedfd04b34f94a7c0832606f","datavalue":{"value":"https://eudml.org/doc/174172","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825924$B687EEB8-EDFD-400E-8BC1-E0AD8BDB6772","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22b5303ffb354e83ec7fa1aa0b4650545a74fa47","datavalue":{"value":"Hilbert functions and Witt functions are studied. They describe the arithmetics of the (matrix) coefficients of logarithms of curvilinear formal group laws. Equivalently, they describe the arithmetics of covariant Dieudonn\u00e9-Cartier modules for the formal groups, defined by them.    Three theorems are given that describe the transition between both concepts. The first, theorem 1.12 interpretes the logarithm in terms of the exponential series, defined by the canonical curves. - The second, theorem 2.4, is an identity, relating logarithm and F-type. If one reduces this identity modulo \\(p^ m\\), congruences are obtaind that in case of elliptic curves, defined over \\({\\mathbb{Z}}\\), are the well known congruences of Atkin and of Swinnerton-Dyer. - The third, theorem 4.3, expresses for potentially multiplicative groups the matrix \\(\\alpha\\) of the Frobenius F in terms of the structure constants of the Hilbert function, obtained from the logarithm. It appears that \\(\\alpha\\) can be described such that over p-Hilbert domains, the p-adic convergence of the entries is obvious.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$1832A133-278A-43B5-A1CC-9CD653B4B477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$20292511-D2E8-41D3-A1B7-35500177958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$028132A2-63D6-48B0-B5C8-FF3FF1157A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$4EDD20AA-83D8-4094-BA24-6D9B98E57955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef110fa5c129d94930a5f78e40d9192a94753e0d","datavalue":{"value":"14H45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$FBD68A9B-D9E3-4827-A5B1-D014367E4C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a4dd8c77ee5dd4e7045fca9da4781d2c7a94a0b","datavalue":{"value":"4122128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$D6AD0E02-F4A7-4350-AAE0-1C1990769396","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b970ccb5442ad472945333328d3a8c743cd7e6f9","datavalue":{"value":"Atkin congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$DBC9D35D-9DDB-4679-8B95-00D66AAED2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0de353ae4383523c671b61c71b7ede93e67a30","datavalue":{"value":"Swinnerton-Dyer congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$14708961-F53B-4236-B144-ECB14AFF6FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9059703de31fc4215a015e287b87920d4931745","datavalue":{"value":"Hilbert functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$3AFD7D92-368E-48CA-8482-92D8BF9252FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952ac80931b3c2705188099d848f6074118668d0","datavalue":{"value":"Witt functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$810CC8F7-3E93-46D8-A535-44F811A67777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6b0814f6dae8fe011254e0da41e63031887c45","datavalue":{"value":"logarithms of curvilinear formal group laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$BB024377-6EC2-4D9A-B9CD-C994095EEB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff1beb90c2cb49da6300882f583eb43d103d6b","datavalue":{"value":"Dieudonn\u00e9- Cartier modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825924$C337CCEF-378A-4DF8-B3FE-5A7FA4B1B7D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b38b7cfe09e88818903de16c7a2ed755eabbdfb0","datavalue":{"value":{"entity-type":"item","numeric-id":910450,"id":"Q910450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$690BF0E8-D78F-4CE3-98B5-E82F18967FEA","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":"Q1825924$7FCB82FC-5FA3-40FA-87EE-5DA72C2EBE53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8edb45a14f6bb49574c951acbc7085b04ebf7b","datavalue":{"value":{"entity-type":"item","numeric-id":5644042,"id":"Q5644042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$50EB8633-F241-489D-A63E-7D53B58D1E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff9d7d445f24efe5e19a0fe885abdda06b52746","datavalue":{"value":{"entity-type":"item","numeric-id":910452,"id":"Q910452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$B59679FC-C3FB-40D5-945C-E27D9E100219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557fba99543f08b29d5fd47bfd47382f4715e70a","datavalue":{"value":{"entity-type":"item","numeric-id":1157372,"id":"Q1157372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$C299E4D8-A7E3-41D9-A6F1-BA1D2D7A9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4159abcc518dd7f49f7efa31c24cc017cff60c","datavalue":{"value":{"entity-type":"item","numeric-id":2541231,"id":"Q2541231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$700B6C4C-5A27-4456-9964-45FAC7D81FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169622344421ca3e8e310a6d4e9a6ff92f39e2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4047662,"id":"Q4047662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$A91E2512-50CD-4D4D-B2C9-8F4556C221E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3f495ff3e5f6a5ffd8e2155702c5226f3a0f58","datavalue":{"value":{"entity-type":"item","numeric-id":2626875,"id":"Q2626875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$7583FF58-CD45-404E-917B-03AEF9CA8198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f6a3fcbd7a395d44aa5929af88fda2d3af8ced","datavalue":{"value":{"entity-type":"item","numeric-id":5661948,"id":"Q5661948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$62D6A0C5-AF2B-4BBC-A688-FF617CA4DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af11e9f80f0d1c3cf1e1e93ede4ab1b03ca3fb91","datavalue":{"value":{"entity-type":"item","numeric-id":4748285,"id":"Q4748285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$81D480DC-014C-4421-89A6-45D46DD7A294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf3f32825b8a3612582001fdfdbc36e9651fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4075566,"id":"Q4075566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$4DC1B640-718C-4AB6-934A-3466F20086F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8aa74b4d59d8e9dc22dbf20ff8da469b04d6dc9","datavalue":{"value":{"entity-type":"item","numeric-id":801964,"id":"Q801964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$8CE7A856-C989-416C-ACD7-276A1BE51A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d04ad36605fd2293435fff78eddeee196806b3","datavalue":{"value":{"entity-type":"item","numeric-id":3788121,"id":"Q3788121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825924$CEF04FFF-26BF-4A67-943A-095DE1DA7F6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1fbc8a3e99683c6f6aeae0f721e07d6408bfd37","datavalue":{"value":"W178425785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825924$1755E988-B4AE-4F5F-BBE2-F8CFCF446432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf7e58369c7ee997ff28f8bfdcb3e7599369368","datavalue":{"value":{"entity-type":"item","numeric-id":1208168,"id":"Q1208168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8136ec48ac9984a156254bb3d8d71ae462f80ae2","datavalue":{"value":{"amount":"+0.7890076041221619","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":"Q1825924$2CD9BC72-92C9-407C-947F-EA5CBC47DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db066fb716a3d232466e971b6d4b5f6e70b564d5","datavalue":{"value":{"entity-type":"item","numeric-id":1098904,"id":"Q1098904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002647d018deefd56e42814ffaabb8bc7f8b4c01","datavalue":{"value":{"amount":"+0.7874336242675781","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":"Q1825924$8EE3E104-AF16-48EE-853C-821285B87613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e37b04631808ef164a7be761459cd390ff51e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3737569,"id":"Q3737569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba762700f12ff118e37f61daf830a8f7bd0e7ca","datavalue":{"value":{"amount":"+0.7710540890693665","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":"Q1825924$A61CE29F-275B-4D13-B483-7129C9042432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8c52ae86ab1ddb670db66c7461bc2503c78072","datavalue":{"value":{"entity-type":"item","numeric-id":1109094,"id":"Q1109094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d8efe2d111901f430dad64d244de165449ddea","datavalue":{"value":{"amount":"+0.7345761656761169","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":"Q1825924$1762D1A9-138F-4D4D-B63E-053FF169E6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60349a9ad243a6b153b43de581a39f6a4373f6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3348000,"id":"Q3348000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fc864e434861da5ce075d9eabebf0d997edf49","datavalue":{"value":{"amount":"+0.7320407629013062","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":"Q1825924$34BBD264-7700-4DB1-A98D-CDFB3CE1F19E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert functions and Witt functions. An identity for the congruences of Atkin and of Swinnerton-Dyer type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert_functions_and_Witt_functions._An_identity_for_the_congruences_of_Atkin_and_of_Swinnerton-Dyer_type"}}}}}