{"entities":{"Q406347":{"pageid":408114,"ns":120,"title":"Item:Q406347","lastrevid":61614696,"modified":"2026-04-11T00:29:24Z","type":"item","id":"Q406347","labels":{"en":{"language":"en","value":"Henselian elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341135"}},"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":"Q406347$74D9C55D-3358-48EA-BD3E-A22D6A1D1861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f163383d4af2821385ad7e1c80cdd1d61185098","datavalue":{"value":{"text":"Henselian elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q406347$6FE6CF9F-4084-48F8-9575-A998B1CEED2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"818c420717ce52b531559c193ca386584d5c786a","datavalue":{"value":"1308.13005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$4DA1C6FF-B932-4E1B-B430-5BF1BFE38880","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9664aa1c7e25b5c97b07c5281d7ee8d16f778b83","datavalue":{"value":{"entity-type":"item","numeric-id":323733,"id":"Q323733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$D37F634B-2489-4791-9C0D-C5BDF0D777CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"254014ea8edfec08e2aa70acb271d5897835cc17","datavalue":{"value":{"entity-type":"item","numeric-id":6081065,"id":"Q6081065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$1A6BE1E9-84F2-4927-A23E-18E611C7AD5D","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":"Q406347$D0A7D867-10E8-407E-AC0D-398083CAD3A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q406347$A981B04A-8AFD-46E8-A06D-5B1F712D2AB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23221e57c07f7bbb1a0f5ff07efeaca7ac336b50","datavalue":{"value":"https://arxiv.org/abs/1311.6155","type":"string"},"datatype":"url"},"type":"statement","id":"Q406347$46B03F43-A0BA-4D8B-974E-626A7B11E581","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8e50fbf4be56133fc1dd932e3a92f13bab2feb7","datavalue":{"value":{"entity-type":"item","numeric-id":590860,"id":"Q590860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$46FEEF48-3DC7-45F0-8069-65A2A22BBB3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$25354435-5557-4BAE-A75A-202783CE8605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$B9DBFE81-9BC8-4996-9F81-7FB164CAAB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$39EA5C34-AD96-48DC-8B6C-FACE57ACAB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$A4E2D038-A898-42AF-82A6-C29061C6CCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$5783349E-370F-4866-BE02-C17C1CC0B19A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b06951ca2e8f7e7458b721568eac64b30f98b8e7","datavalue":{"value":"6341135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$93E0E404-02BA-46D3-A62C-CF147E6FF326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bdc961b3af5e2d3dc3196e0b77e0774e06e8a1","datavalue":{"value":"Henselian elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q406347$82D76D4E-4F8B-4E49-A31D-3EC9B490E403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41c87e18e70edb21bcbcb707dd732b42b609f824","datavalue":{"value":"locl uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q406347$49EF0974-7DDD-45EA-B1B0-CFAA494F31A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7508b86fad649acca048d5891e955e05e051dc","datavalue":{"value":"elimination of ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q406347$9C270AC8-4B45-4D8C-BA2A-353D9A01CA4C","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":"Q406347$E3779BD9-EB8C-48E8-9DB0-9FB2BE95F83B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"048dcd8db3644b09be5abdf3635208e99cafd421","datavalue":{"value":"W4206065001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$55BA3F15-81B3-4CED-AD45-D11907695071","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c638417fd3facf7a5f717752a155fcb5d13abdbb","datavalue":{"value":{"entity-type":"item","numeric-id":3284301,"id":"Q3284301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$E6623FF5-054F-4C51-862B-5712D92DE216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$2318A57F-E76E-4E68-8141-7B11B0C5A025","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":"Q406347$922E27F3-DD8B-42D1-85D1-9AF467E6FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865739c8c46b7eb8ebee9997f21b126349ae7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4513600,"id":"Q4513600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$AD5435DC-A9AE-47BE-AE7E-A93277E2A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec7adcdafaccd86ea3861b20301d76ce82189f","datavalue":{"value":{"entity-type":"item","numeric-id":3681045,"id":"Q3681045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$F6D7BC00-8ED0-4FD4-A439-73085C1C6114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb5c0371772ab9ba43f9449492ec63c314ec65e","datavalue":{"value":{"entity-type":"item","numeric-id":4383040,"id":"Q4383040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$8A0065AA-30B0-4E5A-88D5-037EF260E134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe2be96829f938d46cfbd2b876d223603beab89","datavalue":{"value":{"entity-type":"item","numeric-id":3413460,"id":"Q3413460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$EF575D9C-40E3-4B43-91F6-7777777DE5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b875537b277d26990aa2e13790436638d9ce99","datavalue":{"value":{"entity-type":"item","numeric-id":1016478,"id":"Q1016478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$7BD6078C-3B38-4808-AFC7-6DE5C7A7441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb60e442d5e3a56c123a7f4a67757a0fe30a211","datavalue":{"value":{"entity-type":"item","numeric-id":5393639,"id":"Q5393639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$687B648B-A45F-44D8-B0DF-A82A37F0F894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$28BA364F-010D-4718-9B2A-0AB2B1D094E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228f62abc3549c169631905d0a0edc061c78d6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1405726,"id":"Q1405726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$509C988E-DC73-47DC-B1B7-EABEA2B30FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37ff3d2c013d0d6c023ff8740018361e956e09f","datavalue":{"value":{"entity-type":"item","numeric-id":3995214,"id":"Q3995214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$FD6FCAEC-9753-4DBA-BF48-3148F3407EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406347$EAB35B7C-5A40-4ECC-BF1A-6699C5BF8C07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b38dc6989df34275ee1ee3aa422c2f9ca98eb527","datavalue":{"value":"10.1016/J.JALGEBRA.2014.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406347$8FC1DCB5-DA3D-4AF7-80FE-FF39E0A72AC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"858549b28a6f89e57a605424e1983fe9e38523fb","datavalue":{"value":"First recall some definitions. For an extension \\(A\\subseteq B\\) of rings with unity, an element \\(b\\) of \\(B\\) such that \\(h(b)=0\\) and \\(h'(b)\\) is a unit of \\(B\\), for some polynomial \\(h(X)\\) in \\(A[X]\\), is called a Henselian element over \\(A\\). A local ring is regular if its maximal ideal is generated by \\(d\\) elements, where \\(d\\) is the maximal lenght of a chain of prime ideals. A valued function field \\((F|K, v)\\) is said to admit local uniformization if, for every finite subset \\(Z\\) of the valuation ring \\({\\mathcal O}_F\\) of \\(F\\), there exists a subring \\(R\\) of \\(F\\), of finite type over \\(K\\), such that the field of fractions \\(\\text{frac}(R)\\) of \\(R\\) is equal to \\(F\\), \\(R_{{\\mathfrak p}}\\) is regular (where \\(\\{{\\mathfrak p}= \\{x\\in R\\mid v(x)> 0\\}\\)) and \\(Z\\subseteq R\\).NEWLINENEWLINELet \\(A\\) be an integrally closed domain with quotient field \\(L\\), \\(I(A)\\) be the integral closure of \\(A\\) in the separable-algebraic closure \\(L^{\\text{sep}}\\) of \\(L\\), and \\({\\mathfrak m}\\) be a maximal ideal of \\(I(A)\\). The inertia field of \\(L^{\\text{sep}}|L\\) with relation to \\({\\mathfrak m}\\) is the subfield \\(L^i\\) of \\(L^{\\text{sep}}\\) fixed by the group \\(\\{\\sigma\\in \\text{Gal}(L^{\\text{sep}}|L)\\mid\\forall x\\in I(A): x- \\sigma(x)\\in F{\\mathfrak m}\\}\\); we know that if \\(A\\) is the valuation ring of a valuation \\(v\\), then \\(v(L^i)= v(L)\\) and if \\(L\\subseteq F\\subseteq L^i\\) then the extension \\((F|L, v)\\) is said to be unramified. Now let \\(F\\subseteq L^i\\) such that \\(F|L\\) is a finite extension, \\(A^*= F\\cap I(A)\\) and \\(B= A^*_{{\\mathfrak m}\\cap A^*}\\).NEWLINENEWLINE First the authors prove that there is \\(\\eta\\in B\\) such that \\(F= L(\\eta)\\), the minimal polynomial \\(h(\\eta)\\) of \\(\\eta\\) over \\(L\\) lies in \\(A[X]\\) and \\(\\eta\\) and \\(h'(\\eta)\\) are units of B. Next they prove that \\(B= A[\\eta]_{{\\mathfrak n}}\\), where \\({\\mathfrak n}= A[\\eta]\\cap{\\mathfrak m}\\).NEWLINENEWLINE In particular, for every finite \\(Z\\subseteq B\\) there exists a unit \\(u\\) of \\(B\\) in \\(A[\\eta]\\) such that \\(Z\\subseteq A[\\eta,1/\\mu]\\). With the extra assumption that \\(A\\) is a valuation ring, for every \\(b\\in B\\) there exist Henselian elements \\(r\\), \\(s\\) in \\(B\\) such that \\(b\\in A[\\eta,r,s]\\). They prove that there exists a finite valued field extension \\((F|L,v)\\), where \\(F\\subseteq L^i\\), such that \\({\\mathcal O}_F\\) is not a finitely generated \\({\\mathcal O}_L\\) algebra. They give a list of equivalent conditions under which \\({\\mathcal O}_F\\) is a finitely generated \\({\\mathcal O}_L\\) algebra. For example, both of: there exists a unit \\(u\\) of \\(B\\) in \\({\\mathcal O}_L[\\eta]\\) such that \\({\\mathcal O}_F={\\mathcal O}_L[\\eta,1/u]\\), and: there are Henselian elements \\(r\\), \\(s\\) in \\({\\mathcal O}_F\\) such that \\({\\mathcal O}_F={\\mathcal O}_L[\\eta,r,s]\\). The other conditions are related to \\(\\text{Spec}({\\mathcal O}_L[\\eta])\\), and they hold if \\(\\text{Spec}({\\mathcal O}_L)\\) is well-ordered by inclusion. Now, let \\((F|K, v)\\) be a valued function field. If there exists a transcendence basis \\(T\\) of \\(F|K\\) such that \\((K(T)|K,v)\\) admits local uniformization, \\(F\\subseteq K(T)^i\\) and \\(v\\) is trivial on \\(K\\), then \\((F|K, v)\\) admits local uniformization.NEWLINENEWLINE In the appendix, they prove that if \\(R\\) is an integrally closed domain and \\(R\\subseteq S\\) is an integral extension such that \\(\\text{frac}(S)|\\text{frac}(R)\\) is finite and \\(\\text{Spec}(R)\\) is the union of finitely many chains, then \\(\\text{Spec}(S)\\) is the union of finitely many chains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q406347$CB0EF737-BEF3-4953-88BD-3181FDF31D72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffe1fef8d8a2bfc1dd7d0e8757c2b298dab7814","datavalue":{"value":{"entity-type":"item","numeric-id":5860713,"id":"Q5860713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701816942c42a871499f2e761829a7f10bb17517","datavalue":{"value":{"amount":"+0.8238551616668701","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":"Q406347$7B0FF08F-BA39-4412-9997-F7E05671A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a983420d0639ae28752db75abfd3479f9e4cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":785331,"id":"Q785331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceef7ac87a52ae0de2743c445f81f56dcc6812d","datavalue":{"value":{"amount":"+0.8013050556182861","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":"Q406347$43E99E39-C63F-48BA-8B0A-5674F693C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b0164a33b53050b2cd98e3c3c4c182bcec0046","datavalue":{"value":{"entity-type":"item","numeric-id":4784801,"id":"Q4784801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e860700f95e691ac3abbf419d80bd6d0ebd8a2","datavalue":{"value":{"amount":"+0.7813034057617188","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":"Q406347$B78CB6CD-5273-43AA-8FED-46AC7FB284BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cdd56d52e413715dd40fa86111c02accc089db","datavalue":{"value":{"entity-type":"item","numeric-id":644984,"id":"Q644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30aa712810775692aa5a67df1d813b5c79751b89","datavalue":{"value":{"amount":"+0.7746245861053467","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":"Q406347$32A735C0-0680-4042-BD8D-99E742544D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953b734dd8e5cd9681027589e131c3fd21811fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4695646,"id":"Q4695646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fd0fa0a38da615622f2a28d591a473b11affcd","datavalue":{"value":{"amount":"+0.7737305164337158","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":"Q406347$5CD7B6A6-4764-4DCC-870C-3C4C32620503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Henselian elements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Henselian_elements"}}}}}