{"entities":{"Q7027428":{"pageid":21667467,"ns":120,"title":"Item:Q7027428","lastrevid":77538347,"modified":"2026-05-05T00:45:34Z","type":"item","id":"Q7027428","labels":{"en":{"language":"en","value":"Multivariate Hensel lemma for ultrametric fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7984504"}},"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":"Q7027428$0FFEF4DE-CB39-4AF3-83FD-DF9214844539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3eae743cdd950e90d45b0b1b660886ca795421","datavalue":{"value":{"text":"Multivariate Hensel lemma for ultrametric fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7027428$3F57D3EE-AEC3-4882-B535-B1ACEA243EE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab0344803c32e43fce173db816c9b8fd1c330bb","datavalue":{"value":"1562.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$9BDDFFDA-2723-48FD-A921-7569011A6769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ebc7b5da311435ab97c5a438c5696a8fd752c6","datavalue":{"value":"10.1016/J.JALGEBRA.2024.12.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$A668A9BA-4892-4895-ACD0-975FBB1E207E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee783ee86e7ab91a1576dbe7954ff7f22ac339e","datavalue":{"value":{"entity-type":"item","numeric-id":2266748,"id":"Q2266748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$9E936A9D-CD42-4F48-8C15-B67593E38FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$2E9A5A4D-45F4-4D81-A5D7-4BAA672A2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34782918c7bfaa13a5f71af1fa06feee819605ce","datavalue":{"value":{"entity-type":"item","numeric-id":645115,"id":"Q645115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$D7778C41-22F1-417A-B2A3-654953FBFC61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$DC4FBC8D-C159-45EC-99FB-B9C9E184A38C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea347ba7555b724e15297c1d47ab41222d91cd0","datavalue":{"value":{"time":"+2025-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7027428$C60D6E31-E254-4DB5-BEA5-4490BA5D83F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d859437d881d200166ec0a610a4144357d547b8","datavalue":{"value":"This paper is part of a series of articles whose objective is to rewrite the theory of valued fields in constructive terms, without using non-constructive tools, commonly used in mathematics, such as Zorn's lemma or Law of excluded middle.\\N\\NIn this paper, the authors provide a direct constructive proof of the Multivariate Hensel Lemma for ultrametric discrete fields, without using the Zariski's Main Theorem.\\N\\NRecall that an ultrametric field \\((K,|\\cdot|)\\) is an ultrametric discrete field if \\(K\\) is discret (there is a zero test) and if the disjunction \\(|x| = 1\\) or \\(|x| < 1\\) or \\(|x| > 1\\) is valid for all \\(x \\in K\\). This amounts to saying that \\(V\\) is an integral residually discrete local ring.\\N\\NThus, given an ultrametric field \\((K, |\\cdot|)\\) with a nontrivial absolute value, together with its separable closure \\(\\widetilde{K}\\) in its completion \\(\\widehat{K}\\), the authors prove first that given a Newton polynomial system \\(F=(f_1, \\ldots , f_n)\\) at (\\(\\underline{0}\\)) over \\((V, m)\\), it admits a unique zero with coordinates in \\(\\widetilde{m}\\). Then, it's proved that \\((K^H,V^H)\\) is isomorphic to \\((\\widetilde{K},\\widetilde{V} )\\), where \\((K^H,V^H)\\) is the henselisation of \\((K,V)\\) constructed as in [\\textit{F. V. Kuhlmann} and \\textit{H. Lombardi}, J. Algebra 228, No. 2, 624--632 (2000; Zbl 0966.12004)].\\N\\NHence, from these two results, it's concluded that the system \\(F\\) also admits a unique zero with coordinates in \\(mV^H\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$1979042D-F34F-49A6-B319-DA1DDE9903AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"711aa22cb7d2a9b468bf8d0bcd8ead5433906677","datavalue":{"value":{"entity-type":"item","numeric-id":831960,"id":"Q831960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$5C4968D0-8452-405D-9D91-ACA908093574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc6cf58bc921e20acb50dbb6734bef1fed224192","datavalue":{"value":"13B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$35675796-DD1A-465F-B2C5-61E4AC528948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4f913a75c61668decaed701ae5192d432188bf","datavalue":{"value":"13J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$5A8C05F3-9EC1-4574-9A2C-17AB98331440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$0C1626B3-0898-4F25-8803-27FAE020BAAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f09f9e8c17d413005bba8443598ae20b75f65dd9","datavalue":{"value":"7984504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027428$24F651BC-90BD-44AB-A560-8C602C89D040","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$50AAFDC7-1024-46F0-8354-C8DBF0859272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"807aaba0ef999857077af51ff3da56ff557fe531","datavalue":{"value":"ultrametric field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$24F5CFC8-6BE1-4429-B81D-4A57A6ADE68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80927bed62ea440a7298644b48b0da2a470f145","datavalue":{"value":"valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$640D33C6-5743-40CA-801F-FF24738C3A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4a61b8490dd0c331cfa2b060297f55aa78de7f","datavalue":{"value":"Henselization of a local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$91AFA502-3920-487C-A130-A379ADD1C0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee3ef7bfdddb67742e63510554e62a0e4235d8e","datavalue":{"value":"Henselization of a valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$4D02076C-9A2F-438C-9943-B6A4A1DD16A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4a74a4d31caf21e8d8c4c4f5a15c09800b4aa0","datavalue":{"value":"multivariate Hensel lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027428$33E789F3-7A6F-4C5C-9756-AFD7E4B6CF54","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":"Q7027428$B5D3B854-ED12-43AA-A61A-844C04D528CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbf3d27560f30e74f118bc65c43e8b9c507f75","datavalue":{"value":{"entity-type":"item","numeric-id":3506323,"id":"Q3506323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$65906398-8EEF-4425-AB7F-F6580855965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ae4f0491d2208b6e71e2620b490bfabe9d0e75","datavalue":{"value":{"entity-type":"item","numeric-id":402421,"id":"Q402421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$24B6F41F-1738-473E-8A27-27C10B7D61CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b2328ef943ae6480a147759b3a399dcc7cacbf","datavalue":{"value":{"entity-type":"item","numeric-id":827052,"id":"Q827052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$DDDA0A39-1467-4D33-8DB9-1A319E75E106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36d9fba74a71513249c5fb6a9591e63be8485dd","datavalue":{"value":{"entity-type":"item","numeric-id":5808439,"id":"Q5808439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$D5890068-871F-4FE1-BCFB-24390F114CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$D84A6DB0-422A-4696-A264-7CF404E227B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$F817CFB3-BA76-4E77-BC21-7E18CF9CFD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8597ea8f033b7c7d8f4a033e73bb1a71b237a49c","datavalue":{"value":{"entity-type":"item","numeric-id":4405003,"id":"Q4405003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$24F3B0E1-F387-4840-B006-A4CDFB5BE5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$B5E84C88-EBAB-4013-90D2-0B5EE5A0F962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610e312e1ed2b96ee93eb0dd86d0596f4d282922","datavalue":{"value":{"entity-type":"item","numeric-id":2802205,"id":"Q2802205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$4F3F98E1-D067-4CED-9087-5238151B41AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c789ab0eaabbf650f8f72bd0ad6cde52a39861ca","datavalue":{"value":{"entity-type":"item","numeric-id":5221837,"id":"Q5221837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$9FB65F4C-C26C-4681-AB6D-327B842552D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$8B636E85-1477-45C4-B430-2CFD24306AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c686d2128ea88057b69d380f53e7ac21a75a4203","datavalue":{"value":{"entity-type":"item","numeric-id":1565351,"id":"Q1565351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$26087A4E-2A2E-4DB7-8A7F-706AB36FD7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$C961F2F9-9211-4A88-A1ED-9B735AB3CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1fc4e5fba249435630db22bffff73e6d5355a6","datavalue":{"value":{"entity-type":"item","numeric-id":4372400,"id":"Q4372400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$8E1D5A69-40A1-4CA2-8BBF-782D47EA8E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df80930099c3c3f4aab90c61a2aee3ebd31f940","datavalue":{"value":{"entity-type":"item","numeric-id":1829462,"id":"Q1829462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$06C471F2-B2D2-4739-BA6B-2D9D1244E456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec9e0d30bc02025b5128cb33b1b97602cf15a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3090098,"id":"Q3090098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$4D7A8CB8-A79F-4543-838D-9434B536491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d988294cc9cac3793eec4db597a2ad02eeebdf6e","datavalue":{"value":{"entity-type":"item","numeric-id":1570369,"id":"Q1570369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$FDE22DBA-CFAF-49A9-AD12-56EEFD893AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b93f9536bacf506b73d4f22da7f8b64f91e99b","datavalue":{"value":{"entity-type":"item","numeric-id":4440904,"id":"Q4440904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$D919AAEA-7192-48FA-9075-42689F10AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6604ec8953cee30ba02c1aa30fab47460d2fda","datavalue":{"value":{"entity-type":"item","numeric-id":5332667,"id":"Q5332667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$E9CCD391-CCC8-4B1E-B0F8-139B99A99744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$EF560ADF-9B23-495D-BDFF-55E1DFE09073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81538b3d643a979144db60dc093be912ebf604d","datavalue":{"value":{"entity-type":"item","numeric-id":6190905,"id":"Q6190905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$9EBFAF39-419E-4A8B-99B0-E0FFA289629D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6152ee39c3837507f82dd455429b31bc491a51","datavalue":{"value":{"entity-type":"item","numeric-id":2341091,"id":"Q2341091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$FEC8B1C0-B168-42C5-96EC-A969492C9756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad84bafe607b07d22f99c8e928e725117d6472c4","datavalue":{"value":{"entity-type":"item","numeric-id":6607729,"id":"Q6607729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$94A175C1-FEA4-4A38-BB79-360F39E6921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86048322dd178880e286d9bfa7e4022e0869625","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$A9513252-F739-4A49-A944-952EC24A7A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$51636C21-FBE1-4000-9F58-C4233A5C5733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7731c7277f1fb5d4c786e49968328158437b8b14","datavalue":{"value":{"entity-type":"item","numeric-id":5819518,"id":"Q5819518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$8662296A-CB1B-43A7-B4FF-B2D297516DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec0856d0ab97b761ab885564b5c0fad7027db2","datavalue":{"value":{"entity-type":"item","numeric-id":5735274,"id":"Q5735274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$89333821-35D8-45F2-9434-B9A5EEA7849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b2b93f3dd09107005d0ffe107394d794b70597d","datavalue":{"value":{"entity-type":"item","numeric-id":1840149,"id":"Q1840149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$E7B2A6A5-DA1E-4565-B888-90C1512C9BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5fe821380b1adea69293bee6b2a3bb9c2bea10","datavalue":{"value":{"entity-type":"item","numeric-id":1588404,"id":"Q1588404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$1FE9E1A9-CAA3-4C59-A561-D71B0B09E0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e583474df4c6a45fa6d6bdd6ac3e2bb0120a1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3153401,"id":"Q3153401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$4DB1E637-F682-4BC1-AA3E-EB4BD090893C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80af2c1f93e6af0aac1c3719bf92d6daa17781d8","datavalue":{"value":{"entity-type":"item","numeric-id":4210105,"id":"Q4210105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$9C7A541F-13DB-4BF5-A9E9-E49FAAC8CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c3cafd2236f26ce933a975356c990aec10f958","datavalue":{"value":{"entity-type":"item","numeric-id":2348270,"id":"Q2348270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027428$8A512CDB-958D-477D-890B-81718FC928E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multivariate Hensel lemma for ultrametric fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multivariate_Hensel_lemma_for_ultrametric_fields"}}}}}