{"entities":{"Q1210030":{"pageid":1220779,"ns":120,"title":"Item:Q1210030","lastrevid":69899832,"modified":"2026-04-13T11:05:07Z","type":"item","id":"Q1210030","labels":{"en":{"language":"en","value":"An isomorphism theorem for Henselian algebraic extensions of valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168949"}},"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":"Q1210030$B3D9AC6B-BFD6-4097-A679-67E0593860D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e46e3afdf178f0faefbbb3d6877cc2ee914c2c","datavalue":{"value":{"text":"An isomorphism theorem for Henselian algebraic extensions of valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210030$6901CEF8-A962-4CD9-9D48-78DF6D0770AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8049939539e082894f23978e498a3371b716136","datavalue":{"value":"0773.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$DA48406D-5FC2-4758-9B78-0B169670E1D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"401910702531f404d499b3561fec30a8941d1ea5","datavalue":{"value":"10.1007/BF02567049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$2E6D67A5-3623-4B61-935A-2DEEF6ED5BB2","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":"Q1210030$06A61D81-2CAD-4119-B256-37E3B70312FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"801899a19e49e1be229534ba76fa2654689cf4e7","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210030$5A0A86A1-D764-4E30-8FE7-3B38F4ECB73B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210030$FE5D9017-EC73-4128-9296-0F621941188D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210030$F409DE8A-B9FC-4D1C-AD90-B8F742586695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"402b97b78f73b8f8f7dbbfdbf71e5f4f898052ea","datavalue":{"value":"https://eudml.org/doc/155774","type":"string"},"datatype":"url"},"type":"statement","id":"Q1210030$C4ECC7F2-D5B0-4884-B1E2-2E7BC68E6FB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77376a95b0ae033eb7f88fbe570e9087de3ca4dd","datavalue":{"value":"The paper is motivated by the following problem. Given a valued field \\(\\mathbb{K}=(K,v)\\), find elementary invariants to classify, up to isomorphism over \\(\\mathbb{K}\\), the algebraic Henselian valued field extensions of \\(\\mathbb{K}\\). A partial solution of the problem is given in [\\textit{A. Prestel} and \\textit{P. Roquette}, Formally \\(p\\)-adic fields (Lect. Notes Math. 1050) (1984; Zbl 0523.12016), Corollary 3.11].   The main goal of the paper is to suitably extend this result to a more general case including that of valued fields of characteristic zero. Let \\(\\mathbb{K}=(K,v)\\) be a valued field. Denote by \\(O_{\\mathbb{K}}\\) its valuation ring, by \\(vK\\) the value group. Let \\(vK^{\\geq 0}=\\{\\delta\\in vK\\mid\\delta\\geq 0\\}\\). For \\(\\delta\\in vK^{\\geq 0}\\), let \\(\\mu_ K^ \\delta\\) be the ideal \\(\\{a\\in O_ K\\mid va>\\delta\\}\\) of \\(O_ K\\). Denote by \\(O_ K^ \\delta\\) the factor ring \\(O_ K/\\mu_ K^ \\delta\\). Consider the multiplicative groups \\(G_ K^ \\delta=K^ \\times/1+\\mu_ K^ \\delta\\) for \\(\\delta\\in vK^{\\geq 0}\\). For \\(\\delta\\in vK^{\\geq 0}\\) the map \\(\\theta_ \\delta\\) of the subset \\(\\{x\\in O_ K^{2\\delta}\\mid x^ 2\\neq 0\\}\\) into \\(G_ K^ \\delta\\) is defined by \\(\\theta_ \\delta(a+\\mu_ K^{2\\delta})=a(1+\\mu_ K^ \\delta)\\) for all \\(a\\in O_ K\\) subject to \\(va\\leq 0\\). Consider the system \\(\\mathbb{K}_ \\delta=(O_ K^{2\\delta},G_ K^ \\delta,\\theta_ \\delta)\\), and call it the mixed \\(\\delta\\)-structure assigned to \\(\\mathbb{K}\\). Now, let \\(\\mathbb{K}\\) be a valued field, \\(\\mathbb{L}\\) an algebraic extension of \\(\\mathbb{K}\\) and \\(\\mathbb{F}\\) a Henselian extension of \\(\\mathbb{K}\\). Then conditions are formulated under which \\(\\mathbb{L}\\) is \\(\\mathbb{K}\\)-embeddable into \\(\\mathbb{F}\\). Similarly, let \\(\\mathbb{L}\\) and \\(\\mathbb{F}\\) be two Henselian algebraic extensions of a valued field \\(\\mathbb{K}\\). Conditions are formulated under which \\(\\mathbb{L}\\) and \\(\\mathbb{F}\\) are \\(\\mathbb{K}\\)-isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210030$6B3928FF-6ED0-41A0-B526-BAB5C3FAE846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$5C0C6FF4-C38B-4DC6-95E4-DE1AA4129832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$FE1B755D-2366-4361-A61D-63D70D536769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"defb2261098f82429420af2f648077fe8f6b5e78","datavalue":{"value":"168949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$3AF1154D-1714-41CF-B129-E5C8FB6725E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5acbfa54243fdd6fd960751327a340ed0dad9ec","datavalue":{"value":"tame extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210030$EA8D54D4-8BD3-486F-90F8-0971F26C9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80927bed62ea440a7298644b48b0da2a470f145","datavalue":{"value":"valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210030$6EA8D530-0330-48E5-BB09-0E835D73EF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b15a94b4753043b694efdc497b7f17d76c7055","datavalue":{"value":"algebraic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210030$BB7876B9-2652-4835-8D0D-005ACCD2BD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76380812220c36b5ebae92c0c1bc0293e6426c15","datavalue":{"value":"Henselian extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210030$3FD3D7CC-6889-4171-BAD0-3D046CCB0934","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":"Q1210030$3584AEF1-8F85-4405-991A-584AC14DE87F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5c3b3f4eebd7010652189c3da809a4dcd8b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":810501,"id":"Q810501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210030$737F3D3A-133C-4457-9D3D-D8C73336BB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eeee610acd5f3fc715b0b0296aaa67260c5126a","datavalue":{"value":{"entity-type":"item","numeric-id":1320036,"id":"Q1320036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210030$45362CB2-821B-46EE-A804-86877D55E3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210030$1F88B22D-4198-47E1-9962-7D7BFECEF162","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":"Q1210030$74E3C113-2A5E-4A4C-A8D1-6069A0DDE329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f87b8659fc05935cad2958be791142972c8fb2b","datavalue":{"value":"W2027336894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210030$DF20AA6E-F011-45B5-A3A2-2C36CE884822","rank":"normal"}],"P1643":[{"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":"1f87cc8ae1ddf3d304053ae4c066ea9e068515e9","datavalue":{"value":{"amount":"+0.8017702698707581","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":"Q1210030$182A5497-6883-4C25-A729-7B8D0F84503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8265dc7b6678b104e05dac8b65503d53413f4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2279958,"id":"Q2279958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06f9e09d7f496e84b73328df09e800784f9f30c","datavalue":{"value":{"amount":"+0.7792008519172668","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":"Q1210030$C88A5652-4D23-4D4F-86C7-9C04F48F536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9a0141a381c10ed1ab228faeffcb69b87d8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2659099,"id":"Q2659099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc5e38177e9e958ea36ad7b42c2e5481121f74d","datavalue":{"value":{"amount":"+0.7646126747131348","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":"Q1210030$87383BCB-68BC-4405-80BA-1D5943009F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ab9730b6c7c908982839ec2ad966e6324e5def","datavalue":{"value":{"entity-type":"item","numeric-id":3563890,"id":"Q3563890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ea4c980d5c960f8fae5c8e8b1f08332656b282","datavalue":{"value":{"amount":"+0.7605501413345337","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":"Q1210030$3DCDB184-F81F-4D0D-B53F-6DBF95829F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf5c78a1e874b2b779dd4945cb95f65a394de04","datavalue":{"value":{"entity-type":"item","numeric-id":2888775,"id":"Q2888775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c4e7e60f84de0225b93cf929cf3354d09de558","datavalue":{"value":{"amount":"+0.7572020888328552","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":"Q1210030$CA68CB23-E14A-42D0-AC59-D02867DE1D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An isomorphism theorem for Henselian algebraic extensions of valued fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_isomorphism_theorem_for_Henselian_algebraic_extensions_of_valued_fields"}}}}}