{"entities":{"Q793094":{"pageid":794942,"ns":120,"title":"Item:Q793094","lastrevid":64417170,"modified":"2026-04-11T19:43:42Z","type":"item","id":"Q793094","labels":{"en":{"language":"en","value":"On diophantine equations over the ring of all algebraic integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855250"}},"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":"Q793094$86AEF319-93B6-4A32-84C6-9DA9C9F6DDB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35a7853418444999ab2d07603eb293938371ab03","datavalue":{"value":{"text":"On diophantine equations over the ring of all algebraic integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793094$16DE9A5D-8669-4D23-A279-28B038CCB6C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04769e6d5d85038d33e3cc39df61df2b1c671bd5","datavalue":{"value":"0538.12014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$084843AD-05FE-48B8-A495-414F7520773A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0b9763f13b8997f2b6a4ed07b028387910c9af9","datavalue":{"value":"10.1016/0022-314X(84)90038-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$65E3B308-B54A-4253-A293-4506EFD3D575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a24cf3e4c33089d6b609f0f3da96707fc9167c","datavalue":{"value":{"entity-type":"item","numeric-id":793093,"id":"Q793093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$2933AC41-5257-47A1-A046-95B2A27BB75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"131055930a0ca84141f9ed5d18ceb5905384fc70","datavalue":{"value":{"entity-type":"item","numeric-id":415265,"id":"Q415265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$232A12AB-802B-466C-B084-E2B16C5B0022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$BD9B3691-F8EA-489C-B005-0409E1DE6C96","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":"Q793094$CB070F05-E73C-43F3-8047-4B096B0943F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf6d3d3371b4584d966c2dd094f8085f00319ec9","datavalue":{"value":"Let K be an algebraic number field of finite degree and \\({\\mathfrak O}\\) its ring of algebraic integers. Moreover, let \\(\\tilde K\\) be the algebraic closure of K and \\(\\tilde {\\mathfrak O}\\) the integral closure of \\({\\mathfrak O}\\) in \\(\\tilde K\\). Given m rational functions \\(f_ i(X_ 1,...,X_ n)\\in K(X_ 1,...,X_ n) (1\\leq i\\leq m),\\) the diophantine problem - called a Skolem problem - discussed is as follows: under what conditions does there exist \\(z_ 1,...,z_ n\\in \\tilde K\\) such that all \\(f_ i(z_ 1,...,z_ n)\\) belong to \\(\\tilde {\\mathfrak O}\\). For a non-Archimedean prime v of K the corresponding problem for \\(K_ v (=\\) completion of K with respect to v) and \\({\\mathfrak O}_ v (=\\) canonical valuation ring of \\(K_ v)\\) is called the 'local problem'. The authors prove a local-global principle for the solvability of such Skolem problems, i.e. the problem is solvable in (K,\\({\\mathfrak O})\\) if and only if it is solvable in \\((K_ v,{\\mathfrak O}_ v)\\) for all non-Archimedean primes v of K. Actually, only a finite number of local conditions has to be checked: as the authors show, the local problem is always solvable, if the minimum value of the coefficients of \\(f_ 1,...,f_ m\\) is non-negative. This local-global principle implies that there is a decision procedure for Skolem problems, because the local problems are decidable due to a result of A. Robinson.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$C4603FFB-6D64-4B1A-9A1E-D1AB25F32B70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$4FC158B2-E4A7-45BD-85E6-D60CC4F6B1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7b8d255acde5092d50aa69e0770ad963de23610","datavalue":{"value":"11D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$F740277F-B083-4C58-AC81-94D60F027825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$D43E3E4B-E9C6-4861-99A7-B3342AF68A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17565690f34b78615adcebc7ddf96b1bc46e56cc","datavalue":{"value":"11R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$B65B6818-2C76-4A3F-B224-843DC62F1EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d070c0f2a99928c47aef3fbb93bcd97c70ef3e7","datavalue":{"value":"11S99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$73623EFB-871C-4A8F-9F33-95A29779232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$609F6FB9-333B-41D5-8A42-B93F23B7CFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8770a4e4a087092cea79aa147ae37c18bdcb15c7","datavalue":{"value":"3855250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793094$1940666C-BE36-497B-992A-DD588B62578C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"926568dfeb94090169125cb416e07f6a65040b88","datavalue":{"value":"Hasse principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$C2FB7494-29A5-4F82-9079-36849F0F6A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7d108a438c5bd20319acb7070e65f8e15b1711","datavalue":{"value":"strong approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$96B91F09-D02D-4A1D-9EB8-C54B8EF9CCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e76ee448da674d3b5386a1de780af9b2912623e3","datavalue":{"value":"algebraic closure of algebraic number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$BDC33FFC-990E-4BDB-8FE5-25BC4E033A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f66eae8643a481d384f9fcc3f07818e34f830a","datavalue":{"value":"ring of algebraic integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$55BE3C51-F11A-4EAD-8C75-49E9F0F3067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a99a541253e6444c57d9140c6e8791db9df9c7","datavalue":{"value":"rational functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$C0D94CB9-7720-41E3-91CE-B56BD77073CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dd1dcde360856b931905d797a349d2e7744d79","datavalue":{"value":"diophantine problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$8C1B0002-8048-4623-B8E8-2BE519B63723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$BF552ACB-784C-4268-A2D7-89EEB532BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af09d66c05dc616d0057ff9adca38e8a06f7626","datavalue":{"value":"decision procedure for Skolem problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q793094$FB770170-1833-4CC0-B3AE-C5A5C4BED4A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"321f34e2e95fe71a963dfb0e9957de8369b00fc4","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$57668678-4A8D-4755-BA73-79ED28B3203F","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":"Q793094$6E274810-810A-4DF1-ACA5-6A69C2D9C2BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"020ca6b6b965a64d2dd4827ccc39754d0a22dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3889345,"id":"Q3889345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$F488469A-2C26-452B-8F37-1A5B56CA1499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24deb92643e21383affc3f21332a8b5f6469ca07","datavalue":{"value":{"entity-type":"item","numeric-id":5732744,"id":"Q5732744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$D12EB704-B66E-4009-9187-F08EB986D0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$679460E1-B2A7-438E-90EF-C3E53032FD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"190df767b7b809947aaddc58da2748cd559e2c05","datavalue":{"value":{"entity-type":"item","numeric-id":1167766,"id":"Q1167766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$C50F42C3-15E3-475F-BF41-E270D51809A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8b89f0371cfa6317b6d0abe1525d22e6885128","datavalue":{"value":{"entity-type":"item","numeric-id":5612629,"id":"Q5612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$3376107A-429E-436D-B2FC-A2448DA9D0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$F07BACC6-EFB2-4575-9BEE-7B910ECE710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542fee69678d21362e990ec8602715e236358b01","datavalue":{"value":{"entity-type":"item","numeric-id":4759221,"id":"Q4759221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793094$E3D699F4-8FFE-4FB2-9A8B-E22D0AFCC8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c548b94a428c98483b8c9146b1ddf72e27ba4e4c","datavalue":{"value":{"entity-type":"item","numeric-id":3754669,"id":"Q3754669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcbdad74ce402df286cdebfef7ab1b0ca506b7e","datavalue":{"value":{"amount":"+0.8217432498931885","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":"Q793094$E34D6F72-B383-4FA8-818B-58FDB9D54FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0593f2873772ad4d770a1d71b860883d54fc42b7","datavalue":{"value":{"entity-type":"item","numeric-id":1894971,"id":"Q1894971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0025dc7e5ec746606c54339633c2c767ec59c71c","datavalue":{"value":{"amount":"+0.8128277063369751","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":"Q793094$AF7695E1-D83E-41F0-B771-BD04F63E9012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b384febe5181e049ac14a9d5633ce84a920ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3149994,"id":"Q3149994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0025dc7e5ec746606c54339633c2c767ec59c71c","datavalue":{"value":{"amount":"+0.8128277063369751","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":"Q793094$4EC9BB02-01F6-43E2-B763-2DA1CC7340A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6578771a305f6a58ae86871efdb8d527321f1ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4321386,"id":"Q4321386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35887dd17a7937a25a8f9846b67af20debfadd5c","datavalue":{"value":{"amount":"+0.8016170263290405","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":"Q793094$4528F2BA-0B96-4F67-B11C-F95EBF7C6863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72a3526878c8518a6ad5154746542da842e2c57","datavalue":{"value":{"entity-type":"item","numeric-id":4920578,"id":"Q4920578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecd91dde62adb88bf83ea3f7cd840f3d31d547a","datavalue":{"value":{"amount":"+0.8015300035476685","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":"Q793094$D8D2EE3B-6299-4787-9EB2-C7B7F0E14573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On diophantine equations over the ring of all algebraic integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_diophantine_equations_over_the_ring_of_all_algebraic_integers"}}}}}