{"entities":{"Q1428969":{"pageid":1439709,"ns":120,"title":"Item:Q1428969","lastrevid":67422141,"modified":"2026-04-12T17:32:16Z","type":"item","id":"Q1428969","labels":{"en":{"language":"en","value":"A transcendence criterion over \\(p\\)-adic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063079"}},"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":"Q1428969$E8DE9409-0EED-43E8-9AB3-C57CD5181F22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34aa94b555dafdbd4974d8e663a45c574c3d9a0a","datavalue":{"value":{"text":"A transcendence criterion over \\(p\\)-adic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428969$72F3A60C-5C1D-4D36-8F5E-B6F358BE78D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d64adefd861afb380a6f1328342437b617330dcb","datavalue":{"value":"1042.11047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$E2A634A3-1C0B-4754-AB22-FB27311F9D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e6d96e13843cc601bd69e410c1eaded847d35c","datavalue":{"value":{"entity-type":"item","numeric-id":180175,"id":"Q180175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428969$32618300-FDD6-439E-8045-B9D0612E2E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd80c4f8a7c88a4bd018de319af16d97fbbd474","datavalue":{"value":{"entity-type":"item","numeric-id":177021,"id":"Q177021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428969$F82D0F43-FCBA-4B87-B4F3-5578F3385C73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a550d8ac0fd1ac23be3a86dcd027d3648e93751","datavalue":{"value":{"entity-type":"item","numeric-id":266994,"id":"Q266994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428969$9FBDF4C5-2286-4682-86F6-E57664DCC24C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428969$B7279C8B-7883-4B5B-B646-3E5D35A4ECEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98c98ea7325ab960f7ce140d615ea3306f73476e","datavalue":{"value":"Let \\(p\\) be a prime number, \\({\\mathbb Q}_ p\\) the field of \\(p\\)-adic numbers, \\(\\overline{{\\mathbb Q}} _ p\\) a fixed algebraic closure of \\({\\mathbb Q}_ p\\), \\({\\mathbb C}_ p\\) the \\(p\\)-adic completion of \\(\\overline{{\\mathbb Q}}_ p\\) and \\({\\mathcal O}_{{\\mathbb C}_ p}\\) the ring of integers of \\({\\mathbb C}_ p\\). The theory of saturated distinguished chains of polynomials plays an important role in the problem of describing the structure of irreducible polynomials in one variable over a local field \\(K\\). For instance, one can use a saturated distinguished chain for a given element \\(\\alpha\\) in a fixed algebraic closure \\(\\overline{K}\\) of \\(K\\) to construct an integral basis of \\(K(\\alpha)\\) over \\(K\\). In the paper under review the use of saturated distinguished chains of polynomials allows the authors to characterize the elements \\(t \\in {\\mathcal O}_{{\\mathbb C}_ p}\\) which are transcendental over \\({\\mathbb Q}_ p\\).  The main result is that if \\(t\\in {\\mathcal O}_ {{\\mathbb C}_ p}\\) is transcendental over \\({\\mathbb Q}_ p\\), then for any sequence \\((t_ n)_ {n\\in {\\mathbb N}}\\) in \\({\\mathbb C}_ p\\) with \\(\\lim _ {n\\to \\infty} t_ n = t\\) and any sequence of polynomials \\((P_ n(X)) _ {n\\in {\\mathbb N}}\\) in \\({\\mathbb Z}_ p[X]\\) such that \\(\\lim _ {n \\to \\infty} P_ n (t_ n)=0\\), we have \\(\\lim _ {n \\to \\infty} P'_ n (t_ n)=0\\). Taking \\(t_ n = t\\) it is obtained that \\(t\\in {\\mathcal O} _ {{\\mathbb C}_ p}\\) is transcendental over \\({\\mathbb Q}_ p\\) if and only if for any sequence of polynomials \\((P_ n(X))_ {n\\in {\\mathbb N}}\\) in \\({\\mathbb Z}_ p[X]\\) such that \\(\\lim _ {n \\to \\infty} P_ n (t)=0\\), we have \\(\\lim _ {n \\to \\infty} P'_ n (t)=0\\). It is also obtained that if \\((\\alpha _ n)_ {\\alpha \\in {\\mathbb N}}\\) is a Cauchy sequence of elements in \\({\\mathcal O}_ {{\\overline{\\mathbb Q}}_ p}\\) and \\(f_ {\\alpha_ n}(x)\\) denote the irreducible polynomial of \\(\\alpha _ n\\) over \\({\\mathbb Q}_ p\\) and either the sequence \\((f'_{\\alpha_ n}(\\alpha _ n))_ {n\\in {\\mathbb N}}\\) is not a Cauchy sequence, or this sequence is Cauchy but it does not converge to \\(0\\), then \\(\\lim_{n \\to \\infty} \\alpha_ n\\in {\\mathbb C}_ p\\) is algebraic over \\({\\mathbb Q}_ p\\). The paper ends with an application concerning elements \\(\\beta \\in {\\mathcal O}_ {{\\overline{\\mathbb Q}}_ p}\\) for which the differential \\(d\\beta\\) vanishes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428969$BC778CA5-4DB9-40A3-9DEA-3BC8825FF7DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"26fd5b8e1484001fcb30eeee2f4fec518210f686","datavalue":{"value":"11J61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$4E7D878A-3D9C-4555-89CF-63E88897D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d070c0f2a99928c47aef3fbb93bcd97c70ef3e7","datavalue":{"value":"11S99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$690A3DE5-B938-4F63-90EF-B5E59F769A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$1A73EC7B-FB3C-4EFF-A4A5-EC106E593D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$92BC5913-6A2A-40BF-BDA3-FDD572B52E50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21752b390d4d79e3433f411ca670a80505380f7","datavalue":{"value":"2063079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428969$1E550F3A-75A5-4A15-A89E-5597010B6416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a0a024567fdc5533cd7e52365d063836f9f52","datavalue":{"value":"local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428969$EDDA83B8-CB9D-4826-877A-F32742779FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b24ee5869e97bd88c509377a1e91423303dffa","datavalue":{"value":"field of \\(p\\)-adic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428969$7A93BE6B-0737-4949-9D14-B7253F445AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32125db31f5a5052aaf9bb5dffa9bf8a655433c","datavalue":{"value":"distinguished chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428969$E6ED4706-E9C1-4C3F-BB68-EAC83A8BB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b206ac5f5fce66b4071344fe6751f3b0e72e9c9c","datavalue":{"value":"transcendental extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428969$A7F5818D-D65E-403A-A22E-095DEA5B9C0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428969$1AB6B7FA-7206-49AC-BFAD-7B600C620E70","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":"Q1428969$20A7ADBD-C01A-49D4-8203-503D50F6051C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26aca23e68ed1c075cb385636250dd134a4ecf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1379639,"id":"Q1379639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea3759fef54a193bcd75b7d292e2d214ac66e88","datavalue":{"value":{"amount":"+0.786113440990448","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":"Q1428969$D8E17060-4198-4C9C-9BCB-B242B30325E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065ef80418575f88e3019155579c20f78e2afd8e","datavalue":{"value":{"entity-type":"item","numeric-id":2868229,"id":"Q2868229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea3759fef54a193bcd75b7d292e2d214ac66e88","datavalue":{"value":{"amount":"+0.786113440990448","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":"Q1428969$3ACFA455-C23D-490F-AE37-0F2FD3150B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85239c3308b52e3316a233080a313c6bce83cf24","datavalue":{"value":{"entity-type":"item","numeric-id":1071817,"id":"Q1071817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136cbadf03a9e76e72b52ebc0bbf0f429e96e014","datavalue":{"value":{"amount":"+0.7715755105018616","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":"Q1428969$87A75D79-B555-4221-B532-1C8D10139FEB","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":"fb65661d0bc925f723d343449051fa191d704883","datavalue":{"value":{"amount":"+0.7660767436027527","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":"Q1428969$FDEFAFD5-5473-4800-A06E-1AC918D54E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679b983aa0dabe726318214effbd0da999b36eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1865246,"id":"Q1865246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128f48256e6a245c0d416011fe1d01dea403b44d","datavalue":{"value":{"amount":"+0.7622461915016174","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":"Q1428969$C0D79DA5-CBAE-4905-9192-D0D690004D39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A transcendence criterion over \\(p\\)-adic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_transcendence_criterion_over_%5C(p%5C)-adic_fields"}}}}}