{"entities":{"Q1124627":{"pageid":1135376,"ns":120,"title":"Item:Q1124627","lastrevid":66184314,"modified":"2026-04-12T08:06:45Z","type":"item","id":"Q1124627","labels":{"en":{"language":"en","value":"A new \\(p\\)-adic method for proving irrationality and transcendence results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112696"}},"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":"Q1124627$EDBD88BB-60C6-479D-BAC2-920EE72EDCDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99b0a408395f2c39728c2b19356991a40c5cf372","datavalue":{"value":{"text":"A new \\(p\\)-adic method for proving irrationality and transcendence results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124627$CB0F5694-847F-47FA-83A5-E67E1A3CCA87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22656dc7549307e84e0b0d01433c6cd28b8880dd","datavalue":{"value":"0679.10025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$FF37097D-0F2C-4A06-AFAA-27529726CF0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77fa76ea4c424990ff0b0317b4d4938a9c28cfcc","datavalue":{"value":"10.2307/1971488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$512FBDB8-B7FB-49DA-8057-9582262EF72E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4cf58ce29f28ab7c9cef379cea7c8a9c27926e","datavalue":{"value":{"entity-type":"item","numeric-id":231829,"id":"Q231829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124627$A3C33B36-AB76-4DAB-BDBB-487EE760D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc510e9abc5f37684089f9df824caf56619eb03a","datavalue":{"value":{"entity-type":"item","numeric-id":799738,"id":"Q799738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124627$16E73441-302E-4140-BA36-D60383FE3DB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124627$91AD0A2D-CC16-4FE7-A123-CE1B0DFFBE29","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":"Q1124627$C53F130C-6803-4BA5-A8DA-51675A290B32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae742d67f52cfaead2295c519a29696e8a9512df","datavalue":{"value":"This surprising note links a fairly technical \\(p\\)-adic criterion for rationality due to the authors [`Rational solutions of linear differential equations', J. Aust. Math. Soc., Ser. A 46, No. 2, 184--196 (1989; Zbl 0695.12019)] for which the special case required here is, however, fairly straightforward and is detailed independently, and the observation that the Lindemann-Weierstra\u00df Theorem is entailed by the following result: Suppose \\(u\\) is a formal power series over \\({\\mathbb Q}\\) and has nonzero radius of convergence. Then the rationality of \\(w(x)=x^ 2u'(x)+(x-1)u(x)\\) entails the rationality of \\(u\\). The apparently simple principle is that the Lindemann-Weierstra\u00df Theorem asserts exactly that a finite sum \\(\\sum\\) \\(A_ i \\exp \\alpha_ ix\\) with algebraic parameters does not vanish at \\(x=1\\) (except of course in trivial cases) and that such a sum is a divisor (in the ring of entire functions) of a Taylor series with rational coefficients.    The fact that \\(u\\) be defined over \\({\\mathbb Q}\\) is essential to the argument as detailed, though, of course, it suffices for the field of definition to be some number field. Subsequent to presentation of the argument it was pointed out by Beukers that its \\(p\\)-adic features are not of the essence. Nevertheless, it remains of significant interest to understand just what conditions are required on \\(u\\) to permit the argument to succeed and just what r\u00f4le is played by the \\(p\\)-adic features.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124627$883763AF-48F6-4B7E-93B0-1D36D4040A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$F931B924-068A-4C99-B9D6-C077B690AA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c4d8defd21b53e7641f92a39f901060616e4cc6","datavalue":{"value":"11J72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$8520D520-44BA-43F9-93CF-8083DC5AAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2db7c2ef637f895a1617542f6fec055c0c00e7f5","datavalue":{"value":"11S80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$57B53176-BCFB-44CD-8FAB-A8983F472056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b745564e46a3acb7c8c15ab2ae30dc70b53995f","datavalue":{"value":"12H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$C3996826-1CB3-4DDB-8BE2-E9ACE48ACF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da367063785e33696704b5b676b75d3decae7628","datavalue":{"value":"4112696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$68676463-45C6-42CE-9303-8321D7D13F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d242520f6c01962e0892d40a40b5e3cdd1eb98e5","datavalue":{"value":"\\(p\\)-adic criterion for rationality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124627$DFAF004E-2109-447B-8D07-239C673A0969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71a778a593d895a1c4b002a8f6b1360e99579e8","datavalue":{"value":"Lindemann-Weierstra\u00df Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124627$1022B1B7-FA70-476A-A9BB-E41F4562EBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee8eb46db70a22d179f2634f799484e09450d0","datavalue":{"value":"Taylor series with rational coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124627$367C5079-2423-45A9-91D3-206BCD5D0918","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":"Q1124627$A1252079-880D-425E-B5EB-C67FF1218FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7f98a0adaf1eeeef28f4e88abd267de844cacf4","datavalue":{"value":"https://doi.org/10.2307/1971488","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124627$8B937C56-707A-4403-978A-A2ED8C1E9001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0e9a4ee19420b2f9ffc6175eda065b8e7234660","datavalue":{"value":"W2315804994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124627$80F3D60E-F416-4536-B6DB-2872F4E66D5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0657944b55828f31eabec7d80ef893d15d05c1","datavalue":{"value":{"entity-type":"item","numeric-id":3734523,"id":"Q3734523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7a35abd261e8242c3b8dbd6a238e2bb4f93e28","datavalue":{"value":{"amount":"+0.7365459","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":"Q1124627$3C9A3843-ABCC-42E3-9F40-8FBB8E004D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe137a0408adc3983e927611ecd024d476266fe","datavalue":{"value":{"entity-type":"item","numeric-id":3982586,"id":"Q3982586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fd581652427bb73ad331ac57830625c87c25c3","datavalue":{"value":{"amount":"+0.7365397","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":"Q1124627$D30DDDE6-2E0E-4FF7-A510-18564DF922EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab6d98fa8f984598df0b2374469c519d8204ed2","datavalue":{"value":{"entity-type":"item","numeric-id":2833342,"id":"Q2833342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48e52202541c4b3c2bdb803b5f9aaec698947d0","datavalue":{"value":{"amount":"+0.69061923","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":"Q1124627$3F38E680-335E-4F62-B553-31393BA95362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9a8c4a24915b5f57230972298d931b21f179ac","datavalue":{"value":{"entity-type":"item","numeric-id":909695,"id":"Q909695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d55eb1b131469d96db7b0c6a855faa7d1f3554","datavalue":{"value":{"amount":"+0.6876774","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":"Q1124627$6C124E93-3140-46A0-8394-87D7169D0A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838eef43c041af073b319521f057c48f8b4d84e5","datavalue":{"value":{"entity-type":"item","numeric-id":3807307,"id":"Q3807307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad30252768661d90efb301446776d2c3d85aa92","datavalue":{"value":{"amount":"+0.6860329","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":"Q1124627$1CB09169-534B-4044-985F-05F9F6BF88A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e6429b15231f561ca523fcd049880c23f2b0f5","datavalue":{"value":{"entity-type":"item","numeric-id":4333003,"id":"Q4333003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5cfef419970db71899298c21a10a85334c4b70","datavalue":{"value":{"amount":"+0.6831366","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":"Q1124627$99A32B30-6D5B-44BF-8115-CA90C35164FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ff953ddfbafeb6fb7de56285336a7360e8a6e5","datavalue":{"value":{"entity-type":"item","numeric-id":1920489,"id":"Q1920489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d48297ebff226f8ce33c0ee7033b11e27d7e3c","datavalue":{"value":{"amount":"+0.68183184","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":"Q1124627$7FF4AFDE-11E4-49B0-8B5B-CA32763AD9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc3951acd32595b86fc60f62cb1ddcb80ea5800","datavalue":{"value":{"entity-type":"item","numeric-id":5697646,"id":"Q5697646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee7c9a87eebe0c271da1f3eadda9b44c18fa62c","datavalue":{"value":{"amount":"+0.6804141","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":"Q1124627$7FD10B03-A757-46A6-95EF-30405325276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef2297d09a00d7cbcdc61bcb0c0775d6ffbf7","datavalue":{"value":{"entity-type":"item","numeric-id":4879311,"id":"Q4879311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb797957cb7bc54d3c8f7874a4e080c64de536c","datavalue":{"value":{"amount":"+0.67973906","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":"Q1124627$B05B8416-FCA7-48A1-BE7C-1FBC46CF8BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5718420d7e2be9f58333467dda8daaa1f1ad434","datavalue":{"value":{"entity-type":"item","numeric-id":1188202,"id":"Q1188202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2432263cd250d9a820730efccf1de8dab7eac","datavalue":{"value":{"amount":"+0.67918485","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":"Q1124627$C500807D-C389-408C-96FB-3F9E01D25239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new \\(p\\)-adic method for proving irrationality and transcendence results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_%5C(p%5C)-adic_method_for_proving_irrationality_and_transcendence_results"}}}}}