{"entities":{"Q1174389":{"pageid":1185138,"ns":120,"title":"Item:Q1174389","lastrevid":66757839,"modified":"2026-04-12T12:40:08Z","type":"item","id":"Q1174389","labels":{"en":{"language":"en","value":"Simple transcendental extensions of valued fields. III: The uniqueness property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8643"}},"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":"Q1174389$F60A6AEC-555E-403D-91C4-0753C6BFCF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdb38fcf7a1eaae1a1a7d4f96ac70ea4e5a3f1e8","datavalue":{"value":{"text":"Simple transcendental extensions of valued fields. III: The uniqueness property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174389$FDBC8114-847D-45A2-92CB-BDC3DC0614D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b87e279412d23a01af55264f90b32897c5189d","datavalue":{"value":"0742.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$FB959BFB-4C1A-46D4-8E02-ABE6FEE7FA9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed8f9fbdeef21fc3fa898fdb5427939c3ea2c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":757488,"id":"Q757488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174389$28651E0E-93FB-408F-9E5E-F201D4AF32E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c09ebad60952f3c8c9469eab8dd04e02299c1f","datavalue":{"value":{"entity-type":"item","numeric-id":773269,"id":"Q773269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174389$F8D22C14-31C3-412C-88FB-532EACAF383C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174389$27ADE155-18A5-4B50-B883-35FEF75CE2DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174389$2242031D-DBE2-4E84-855D-7E8EA6FD95BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef00953f83b86ab3e2f43dd26622c9af3025d124","datavalue":{"value":"[For part II, cf. \\textit{J. Ohm}, ibid. 25, 583-596 (1985; Zbl 0582.12014).]   Let \\((K_ 0,v_ 0)\\) be a valued field and \\(x\\) be an indeterminate over \\(K_ 0\\). For any \\(t\\) in \\(K_ 0(x)-K_ 0\\), one can define an extension \\(v_ 0^ t\\) of \\(v_ 0\\) to a valuation of \\(K_ 0(t)\\) by: for all \\(a_ 0,\\ldots,a_ n\\) in \\(K_ 0\\),  \\[ v_ 0^ t(a_ 0+a_ 1t+\\cdots+a_ nt^ n)=\\inf\\{v_ 0(a_ i)| i=0,\\ldots,n\\}. \\]  The authors consider the following problem: given a valuation \\(v\\) of \\(K_ 0(x)\\) which extends \\(v^ t_ 0\\), does there exist a \\(t'\\) in \\(K_ 0(x)-K_ 0\\) such that \\(v\\) extends \\(v_ 0^{t'}\\) uniquely?   The authors have previously proved that the answer is ``yes'' if rk \\(v_ 0\\) is 1. It is shown in this paper that the answer is also ``yes'' if \\(v_ 0\\) is henselian, and that the answer is ``no'' in general.   The henselian result follows from the theorem that, for \\(v_ 0\\) henselian, \\(v_ 0^ t\\) extends uniquely to a valuation of \\(K_ 0(x)\\) whenever \\(t\\) has the form \\(t=f(x)^ m/b\\), where \\(f(x)\\) is irreducible in \\(K_ 0[x]\\), \\(b\\) is in \\(K_ 0\\), and \\(m\\geq 1\\). The negative result follows from the observation that an affirmative answer to the uniqueness problem is equivalent to a fundamental equality, \\(E=RID^ h\\), relating some numerical invariants of the extension \\(v/v_ 0\\). By studying these invariants punctually at \\(t\\), the authors show that if there exists a \\(t\\) such that \\(v/v_ 0^ t\\) is unique, then \\(v/v_ 0^{t'}\\) is also unique for every \\(t'\\) of minimal deg such that \\(v\\) extends \\(v_ 0^{t'}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174389$30D185F3-0D4E-42C0-80DA-EFFE706FE6CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e07ef5aa4c4d1030ce09a6b25a088938e6f20289","datavalue":{"value":{"entity-type":"item","numeric-id":167728,"id":"Q167728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174389$1BD825F3-74F7-4731-8B49-DC76B09F8817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$CECCA097-6DAE-49E5-AC35-C5108F0550DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$264F669C-763F-4B9B-82C0-4561FE1413BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cac41698464bfd1cb7b4460f617bba6476e398d9","datavalue":{"value":"8643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$DA6B549A-6557-4DE1-8BF6-E3C89CB19DFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9c28032f6de5cf060c8a65e29f26071293cad3","datavalue":{"value":"henselian valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174389$58AABF14-7A42-428E-889B-40944C424EBB","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":"Q1174389$5EB184AF-D156-49D4-9257-D4A19F5CB8EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af73945a3a6ab63ff8f495cf7a895e4a98c928ad","datavalue":{"value":"https://doi.org/10.1215/kjm/1250520076","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174389$3DE2AA06-1B29-437F-9D99-7AAEED3FDBA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dcaf463021b095faa0e6412ea1e1cf7c05a80f5","datavalue":{"value":"W1585916364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$0450B158-CB34-4B37-BC37-512AB1AAEA0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"878035965c583bb5ef335656e1c36701f125628b","datavalue":{"value":"10.1215/KJM/1250520076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174389$61A2CC31-F63B-4866-BD8E-1CE753D6B956","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e668cdf10268b223f32f13a2f85dc4d0a0110f","datavalue":{"value":{"entity-type":"item","numeric-id":3347977,"id":"Q3347977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fa6223383c1cc45f0ae4d5b87507ebf853dbfc","datavalue":{"value":{"amount":"+0.7632576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$D747D675-6C77-47C6-8B87-08C81B986928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d7eb09c32406548bcfdf1bba593e0c6a7a89b4","datavalue":{"value":{"entity-type":"item","numeric-id":4289441,"id":"Q4289441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0a1d1982662d01ea67b82defb54e58b9d6cb21","datavalue":{"value":{"amount":"+0.76038533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$116B507E-234E-4E29-B95A-3175B98ABDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d89b04313955295917eb77392857d77423e589","datavalue":{"value":{"entity-type":"item","numeric-id":4440896,"id":"Q4440896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02990341f286953f735f98ab184ea4041012182f","datavalue":{"value":{"amount":"+0.7373718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$69B806DD-FBB5-4778-A6D1-BF9EBCCD8E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2713cc15cd83c0f2b4d6010bcaa6e2b41379a88b","datavalue":{"value":{"entity-type":"item","numeric-id":5156122,"id":"Q5156122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bf2003febe55fecd094d9bb0c3288febd95d2d","datavalue":{"value":{"amount":"+0.73643494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$DE2EE4A3-2B1D-4E76-B92E-0E628A126484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd38cae77b370a142d1366cb413e4f53d674415","datavalue":{"value":{"entity-type":"item","numeric-id":4520363,"id":"Q4520363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d4f5c0cb6ba26ec6f3a4a0603c559f3179e32c","datavalue":{"value":{"amount":"+0.7341591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$E3BB794D-30E4-45E8-AE3E-C0798A39F867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ad4e83145831961b83863cbe985f5d919ecaef","datavalue":{"value":{"entity-type":"item","numeric-id":675806,"id":"Q675806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc38ff165ec0c499b0cb607d95b033e6297aabc6","datavalue":{"value":{"amount":"+0.72900116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$D9CA04D0-E040-462A-A44D-EF73CF94662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddece3187b77988a85bff4b5a2f6b92c40a488e","datavalue":{"value":{"entity-type":"item","numeric-id":5618455,"id":"Q5618455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bf2051ee225a846e9e2c988cb6ff76cbcde442","datavalue":{"value":{"amount":"+0.72866523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$F33191DB-7116-40BC-AA8D-7FD14DF89730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f59eaba56c4793b2782e9cf75bdac2237664588","datavalue":{"value":{"entity-type":"item","numeric-id":810589,"id":"Q810589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99db1a2c75f9c3f5698e1154e31f33f11b9a59fe","datavalue":{"value":{"amount":"+0.7282132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$A1D3D52E-71C4-4327-8AD0-D6444D5F3FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af69b9c9dc24fa4bd68dafceeb349f0d53d7373","datavalue":{"value":{"entity-type":"item","numeric-id":762553,"id":"Q762553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4082b8bc494bc8ce02d10d4f98f5a0dbaad065b5","datavalue":{"value":{"amount":"+0.72509813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$3F217AC3-0C62-4662-9C32-C4C14B43AF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7167aec3726529143b161a01a8dd3d7da4f2a88a","datavalue":{"value":{"entity-type":"item","numeric-id":694242,"id":"Q694242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8caf1de8e9546a6f0f322d03eec7bd7656b65909","datavalue":{"value":{"amount":"+0.7216619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1174389$0956D6FB-4EFF-42CE-A7A6-50C9F56867E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple transcendental extensions of valued fields. III: The uniqueness property","badges":[]}}}}}