{"entities":{"Q762200":{"pageid":764049,"ns":120,"title":"Item:Q762200","lastrevid":64184862,"modified":"2026-04-11T18:11:43Z","type":"item","id":"Q762200","labels":{"en":{"language":"en","value":"A modified proof of transcendence of the p-adic exponential function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887786"}},"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":"Q762200$3DA91355-3C38-4B21-85E3-C14F6D231304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e3bbeb11def457accb35a6acb4f816bc0e4530c","datavalue":{"value":{"text":"A modified proof of transcendence of the p-adic exponential function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762200$EBAB09CB-D401-4D7B-B3E1-D5D197312A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"623976de5036ac4820e52012f0273761d9d579f4","datavalue":{"value":"0557.10026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762200$4FBA4328-5F42-4F7F-88E3-EE7B38A53E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48e2a1d74f7ea1db442b9db4b6aa510d16fcea1","datavalue":{"value":{"entity-type":"item","numeric-id":367028,"id":"Q367028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762200$2AE40942-9B9C-457A-B089-2461C640DD55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762200$AB64C6F4-BDE8-4541-9923-1F128ACB31B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762200$23B07C86-8C16-4F4F-88C7-60E607B724C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d75329c1bc61b309f5586fba879d493ac9c4fc14","datavalue":{"value":"The author would give a new proof of the p-adic Hermite-Lindemann theorem: if \\(\\zeta\\) is a p-adic number algebraic over \\({\\mathbb{Q}}\\), such that \\(| \\zeta |_ p<p-(1/p-1)\\) then exp(\\(\\zeta)\\) is transcendental. All the classical methods consist of constructing a sequence of auxiliary functions \\(F_ n\\) that vanish many times at the \\(k\\zeta\\) (k\\(\\in {\\mathbb{Z}})\\), actually a polynomial (with integral coefficients) in \\(\\zeta\\) and exp(\\(\\zeta)\\) with good higher bounds for the size and for the p-adic absolute value of \\(F_ n(k\\zeta)\\) when \\(k\\in {\\mathbb{Z}}\\) (provided it is not null). Here the author uses Schnirelman's integral to obtain the upper bound for \\(| F_ n(k\\zeta)|_ p.\\)    Actually such a research of an upper bound for \\(| F_ n(k\\zeta)|_ p\\) only requires the p-adic Schwarz lemma and the fact that one can take the coefficients of \\(F_ n\\) in the p-adic unit disk, hence one can have a shorter proof again. A similar simplification does exist in most of the p-adic translations of transcendence theorems, like the 6 Exponentials Theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762200$82DBF2AA-06CB-4645-84C7-4B229004155C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"feff70a1248da03fc549eef496ca139ae7d893e3","datavalue":{"value":{"entity-type":"item","numeric-id":431545,"id":"Q431545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762200$F1CE54B0-7456-4888-B3F4-93014B2D25E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762200$DE138DAC-96AF-4BAE-90CB-7C96CA189505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2db7c2ef637f895a1617542f6fec055c0c00e7f5","datavalue":{"value":"11S80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762200$B6B265C2-9E60-440D-8D66-C616FF607F62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f039fd7692e26c43110351439979f2fe1b3e1ebd","datavalue":{"value":"3887786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762200$09093FE3-8F3C-4BBC-9605-A163993E219E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4a3dd0c2f387a991e6ad06220012ec546b1a5d","datavalue":{"value":"new proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q762200$37832C70-5F87-4DC7-9FB8-E556F5D65C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4586d510c2cbc214c50d03637412c01bd63c8e72","datavalue":{"value":"p-adic Hermite-Lindemann theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q762200$B0CAD564-F504-468C-9F5E-592318A65477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9759b8cdd6c356d29c549fd070eab9a5e985d4","datavalue":{"value":"Schnirelman's integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q762200$25A75229-3C40-46DC-901D-F01DED58AC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60ea209638fbd3df3ec6eb11ce016f1d01ead723","datavalue":{"value":"p- adic Schwarz lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q762200$9D39F0E6-2470-4BE8-A829-6C5EA32E51E0","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":"Q762200$50339EB8-D5F2-482F-9AFF-0D8815D360AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5b2e0b5845cc2955763adc49fa74d3f97a8d23","datavalue":{"value":{"entity-type":"item","numeric-id":1996494,"id":"Q1996494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98199d0cf5f756f1d2d6efbcec6378acf10033b3","datavalue":{"value":{"amount":"+0.797873318195343","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":"Q762200$1632DEE6-FAC0-4E27-AAB6-0D0094FF0760","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":"bed973838a152c730ac279131f9fef60c660a7e2","datavalue":{"value":{"amount":"+0.788533091545105","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":"Q762200$8ABB76A1-F7E9-47F7-AA42-14163C44B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ae5f3b707627922e0186f870c97f05739ca781","datavalue":{"value":{"entity-type":"item","numeric-id":749588,"id":"Q749588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f10cc4f42aa57563843138ec4bc188bfc81680","datavalue":{"value":{"amount":"+0.7845196723937988","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":"Q762200$5F87242E-5787-47CF-8E7B-86370A464CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c10df0a18afee545049cdd5bfc2d086a571a1","datavalue":{"value":{"entity-type":"item","numeric-id":2220957,"id":"Q2220957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415debfc0d8bca552b221f17efc7d23e3521bb95","datavalue":{"value":{"amount":"+0.7648394107818604","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":"Q762200$1B1F8C33-B052-43F2-A5D3-AC1D8049B4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d191b336bc963d7ffbade52787d7d8d0137309b","datavalue":{"value":{"entity-type":"item","numeric-id":3520119,"id":"Q3520119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6f4ab2f14126d5b8e0be8de41de1e4090e3846","datavalue":{"value":{"amount":"+0.7578619718551636","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":"Q762200$4783A0C4-94AE-4691-A07A-FC3BD2EEDC53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modified proof of transcendence of the p-adic exponential function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modified_proof_of_transcendence_of_the_p-adic_exponential_function"}}}}}