{"entities":{"Q1282537":{"pageid":1293287,"ns":120,"title":"Item:Q1282537","lastrevid":70069797,"modified":"2026-04-13T12:13:48Z","type":"item","id":"Q1282537","labels":{"en":{"language":"en","value":"Criterion for the algebraic independence of values of hypergeometric \\(E\\)-functions (even case)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1274240"}},"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":"Q1282537$10393CFF-2965-4DFA-B65A-1E2874A16F5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5803f15f75cae68245ee9642621103d454cae860","datavalue":{"value":{"text":"Criterion for the algebraic independence of values of hypergeometric \\(E\\)-functions (even case)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1282537$8C393E97-0D07-4B38-884F-826E92EA8037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ab545f90b9654b5fb250d55b9d9c4b695142b5b","datavalue":{"value":"0930.11057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$FDD23667-7CAC-414B-BEC0-7850F146CEBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82d4c038083eb236c6cf65fa45301e206ecd8107","datavalue":{"value":"10.1007/BF02310310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$49D1477B-22F6-459B-AA58-06122CF7187E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8d117a04f11418afc5634c1a40a87f1daee2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":650317,"id":"Q650317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$17E1987C-D386-48D4-87C5-1C46F26F3F87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$879322D9-3AD3-4930-9C6C-92E15EA37DD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b2bcbb5139f0e8200d6dea10d7496b7b5828444","datavalue":{"value":{"time":"+1999-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1282537$5EE08E3C-3848-48A6-A253-5CF3C3342705","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69a75a04319cf129981c7c7d97e42f42fdf0f224","datavalue":{"value":"Denote the hypergeometric \\(E\\)-function  \\[ \\varphi(z)=\\varphi_{\\overline\\lambda,\\overline\\nu}(z)=\\sum^\\infty_{n=0}{(\\nu_ 1)_n\\cdots(\\nu_\\ell)_n\\over(\\lambda_1+1)_n\\cdots(\\lambda_{t+\\ell}+1)_n}\\left({z \\over t}\\right)^{tn},\\quad\\ell\\geq 0,\\;t\\geq 1, \\]  where \\(\\lambda_j,\\nu_i\\in\\mathbb{Q}\\), \\(\\lambda_j\\neq-1,-2,\\dots,j=1,\\dots,t+\\ell\\), \\(i=1,\\dots,\\ell\\); \\((\\alpha)_n=\\alpha(\\alpha+1)\\cdots(\\alpha+n-1)\\) \\((n\\in\\mathbb{N})\\), \\((\\alpha)_0=1\\). For \\((a_1,\\dots,a_k)\\) and \\((b_1,\\dots,b_k)\\in\\mathbb{C}^k\\), \\((a_1,\\dots,a_k)\\sim(b_1,\\dots,b_k)\\) means that there is a permutation \\(\\{i_1,\\dots,i_k\\}\\) of \\(\\{1,\\dots,k\\}\\) such that \\(a_j-b_{i_j}\\in\\mathbb{Z}\\), \\(j=1,\\dots,k\\). The author proves the following theorem: If \\(\\ell=0\\) and \\(t=2r\\), where \\(r\\in\\mathbb{N}\\) and gcd \\((r,3)=1\\), then the numbers \\(\\varphi(\\alpha)\\), \\(\\varphi'(\\alpha),\\dots,\\varphi^{(t+\\ell+1)}(\\alpha)\\), here \\(\\alpha\\in\\overline\\mathbb{Q}\\setminus\\{0\\}\\), are algebraically independent over \\(\\mathbb{Q}\\) if and only if the following two conditions hold: (i) there exist a divisor \\(d\\) of \\(r\\), \\(1\\leq d\\leq r\\), and numbers \\(x_0,\\dots,x_{r_1-1}\\in\\mathbb{Q}\\), where \\(r_1=r/d\\), such that \\((\\lambda_1,\\dots,\\lambda_t)\\sim((\\gamma_j+k)/d\\;(j=1,\\dots,2r_1,\\;k=0,1,\\dots,d-1))\\), where  \\[ (\\gamma_1,\\dots,\\gamma_{2r_1})=(x_0,x_0+1/2,x_0+x_1,x_0-x_1,\\dots,x_0+ x_{r_1-1},x_0-x_{r_1-1}); \\]  (ii) there is a \\(j\\in\\{1,\\dots,t\\}\\) such that \\(\\lambda_j\\in\\mathbb{N}\\cup\\{0\\}\\). The corresponding criterion for odd numbers was established by the author in his previous paper [Math. USSR, 56, 69, No. 1, 203-226 (1991); translation from Mat. Sb., 181, No. 2, 189-211 (1990; Zbl 0712.11044)]. For \\(\\ell>0\\) a similar result is not yet obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$4987A6EC-06B5-4BE6-898B-22E268ED0D21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22e5fdeb9857256e0c3f3977c926ccd400bdec5a","datavalue":{"value":{"entity-type":"item","numeric-id":234873,"id":"Q234873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$61238D9C-E56F-40F7-895A-65B060EBF8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cdbbbadd6a0f51224f0901f78847e129fcc704d","datavalue":{"value":"11J91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$87325162-97A0-4115-ABB9-26A2DFF00715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$3440E1A6-2B57-43A8-B077-311331E19CBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c36666303bee35def2a06f853b3ce2a69f59b104","datavalue":{"value":"1274240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$DD695FA5-6C57-4614-A997-73CD6939C8E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8698fa2a36bfed7867a9d6e4aeda6f3937a78389","datavalue":{"value":"algebraic independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$554423FD-3DAB-49CE-926C-AFB59080396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d0506ac0f0db7e820a4941d0a2e6d56d5aebc9","datavalue":{"value":"hypergeometric \\(E\\)-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$9EC23A7A-BAFC-411B-AA92-2AD34C234CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b1af92afe0f47413ac764bbb3abf55d2df92a5","datavalue":{"value":"differential extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$B1DA8DEC-F426-4081-ACD0-EAA4941AA838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06be098097939ff85cbbd4f50996c03ae36dc66c","datavalue":{"value":"power series field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$B1E11A7C-52D3-4EA2-B2EA-0CF36ADAB36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a77c150e5ce6f05df5979e021c3bdc361ab309","datavalue":{"value":"Picard-Vessiot extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282537$B5C4D662-807C-4F1E-9031-5F8211E365FC","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":"Q1282537$3E3954E4-43E4-4493-BFA9-CD7C87A2009E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac5c9aeb664c5cdfeffed6c41c472f8af4a3631","datavalue":{"value":{"entity-type":"item","numeric-id":3256393,"id":"Q3256393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$09D83504-F321-4266-8A0B-23DA5FF5B106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8fbbb245a5f4a1c8ea4bd23a472585de5ebd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4712108,"id":"Q4712108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$DE068F62-D888-4EBF-8C0B-6FAE29F87D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02986850fa37ca88b8a4ebb24126fe9acd7b82fb","datavalue":{"value":{"entity-type":"item","numeric-id":3835536,"id":"Q3835536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$36E9D1FB-38DB-4522-AC75-5A38C652B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caed1e840a738fb5949da74d796c58ae32d387","datavalue":{"value":{"entity-type":"item","numeric-id":5680222,"id":"Q5680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$FFF56DD6-68E4-40DE-80E6-EA789403CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642e23d0782db08ff80c93a87ad7841aee80a8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1106879,"id":"Q1106879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282537$88075084-6036-455F-9835-CC76CE2FA332","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec710e620b5c3232654d698a881863b87a3994e0","datavalue":{"value":"https://doi.org/10.1007/bf02310310","type":"string"},"datatype":"url"},"type":"statement","id":"Q1282537$07F57B7B-3DD4-4E63-B71A-6DF823D45A69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e52f8ce5d372ae1ea5b9055884ec6a9e2234eea","datavalue":{"value":"W2086721744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282537$154EEAB3-546E-4863-82F5-A59B591ABF33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720117b5c9a8c5628a35637b10d831026d2d19cb","datavalue":{"value":{"entity-type":"item","numeric-id":3825154,"id":"Q3825154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b4ce7317de7f2a1f80ff3d54d9e919d0d9ed47","datavalue":{"value":{"amount":"+0.900468647480011","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":"Q1282537$9BD06DCE-740B-4E73-9BD3-7730B3068679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fb357dec5dd55897de6a672b5773d11d2215f2","datavalue":{"value":{"entity-type":"item","numeric-id":3497152,"id":"Q3497152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606345077bd87c6306addbd966e63fbb886d918e","datavalue":{"value":{"amount":"+0.8966892957687378","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":"Q1282537$1552B96B-BD22-4E03-8772-31FD3AC61C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe45ab25e6d62072324550f12dc6a23ddc90ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1358491,"id":"Q1358491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85500d0df3bc74a2e714905e01ab3a331470aa66","datavalue":{"value":{"amount":"+0.8894826173782349","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":"Q1282537$060BE9B7-794E-43E4-B349-51D48E0BEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5ca2003e397606e8b5546526775c4fe3ad8e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3329534,"id":"Q3329534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a54f2b74c287f4550d97e112d9093e11b0ca9b","datavalue":{"value":{"amount":"+0.8769007921218872","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":"Q1282537$9A47AC44-803B-4F64-BF5C-41DCFD23B4AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Criterion for the algebraic independence of values of hypergeometric \\(E\\)-functions (even case)","badges":[]}}}}}