{"entities":{"Q804640":{"pageid":806488,"ns":120,"title":"Item:Q804640","lastrevid":42703503,"modified":"2025-07-08T16:12:52Z","type":"item","id":"Q804640","labels":{"en":{"language":"en","value":"Minimal pairs of definition of a residual transcendental extension of a valuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202424"}},"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":"Q804640$B97306C7-446E-4855-9212-21FA5E7641C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c370245f22dd9c837bf786c78f25f763dfc5e7e","datavalue":{"value":{"text":"Minimal pairs of definition of a residual transcendental extension of a valuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804640$9C80569A-619E-47DC-B512-7FAD9C51F878","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a121820f31c7b82a64d86bc9162ad97d7bfaf5bf","datavalue":{"value":"0728.12009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$95E5AC88-9228-4B95-86F5-B78088733574","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":"Q804640$0677B9F7-A78F-4E2A-9CF0-B53C5F06DE3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q804640$8D05B2D8-B740-4008-B099-08A72557C386","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b5a8a3c9202874731f549d2df6a7f50dc2165c0","datavalue":{"value":"Let \\((K,V)\\) be a field with a valuation with \\(k_ v\\) as its residue field. An extension w of the valuation v to the rational function field \\(K(X)\\) is called a residual transcendental extension of v if \\(k_ w\\) is transcendental over \\(k_ v\\). By a common extension of w and \\(\\bar v\\) to \\(K(X)\\), where \\(\\bar v\\) is an extension of v to the algebraic closure \\(\\bar K\\) of K, is meant a valuation \\(\\bar w\\) on \\(\\bar K(X)\\) which induces \\(\\bar v\\) on \\(\\bar K\\) and w on \\(K(X)\\). Such a common extension always exists. The authors have shown earlier that if w is a residual transcendental extension of \\(\\bar v\\) to \\(\\bar K(X)\\) then there exists apair \\((a,\\delta)\\) in \\(\\bar K\\times G_{\\bar v}\\) where \\(G_{\\bar v}\\) is the value group of \\(\\bar v\\) such that w is the same as the valuation \\(w_{a,\\delta}\\) defined by \\(w_{a,\\delta}(f(X))=\\inf_{i}(\\bar v(a_ i)+i\\delta)\\) where \\(a_ i\\) is the coefficient of \\((X-a)^ i\\) in the Taylor expansion of f(X) about a. Such a pair \\((a,\\delta)\\) is called minimal pair with respect to K if for every b in K with \\(\\bar v(b-a)\\geq \\delta\\), \\([K(a):K]\\leq [K(b):K]\\). The authors show that every residual transcendental extension w of v to \\(K(X)\\) has a minimal pair of definition \\((a,\\delta)\\) with a separable over K. They consider the question of minimal pair of the valuation \\(w_{a,\\delta}\\) on \\(\\bar K(X)\\) with respect to K for any given pair \\((a,\\delta)\\) when \\((K,v)\\) is a Henselian field.    In the last section the existence of some residual transcendental extension v of \\(K(X)\\) with prescribed residue field and value group is established. [This was also established by different methods by \\textit{M. Matignon} and \\textit{J. Ohm}, Proc. Am. Math. Soc. 104, No.2, 392-402 (1988; Zbl 0692.12011)]. In theorem 4.5 a general condition is given under which \\(d(w/v)=e(w/v)\\cdot f(w/v)\\) where \\(d(w/v)\\) denotes the least integer n such that there exists a rational function \\(r(X)\\) in the valuation ring \\(df\\;K(X)\\) with respect to w of degree n such that its image in \\(k_ w\\) is transcendental over \\(k_ v\\). The other constants e(w/v) and \\(f(w| v)\\) have their usual meaning. This result is used to prove the conjectures of \\textit{J. Ohm} [J. Math. Kyoto Univ. 25, 583-596 (1985; Zbl 0582.12014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$A85AE10D-2E5D-48B1-A40A-65D0D6CF427B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdf6506a29b4047f6334174acdd6f7a1bd5e8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":801971,"id":"Q801971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804640$960ED2FF-E4D6-407F-93CB-30089952B761","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$204260BC-8CFD-46F1-B469-F8D69544E127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$8A8B4BA1-4DFF-4649-AEE2-A541A9518E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$2D173F1D-A0CE-41E5-9013-4698C2B6890A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04f68f016f0f72ba8ba5e90b832324291e3f7676","datavalue":{"value":"4202424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$F8E95E22-325B-42FE-9FB3-33FAD2553676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$F5BF47AA-8543-42E0-8CD5-7482D33B92A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9033fd8915f829f7545381c2dae6ef2546eb4078","datavalue":{"value":"residue field","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$48016E62-3C67-4BA2-8A47-9EA70A8E849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0c9a1c448c2d2fd676ea3fbdf69f9b70a881a3","datavalue":{"value":"rational function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$8AD8910D-96A2-4670-A43E-E24CABB84CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ccbe4f9ea548cd27a161a23668df2637ae9a2","datavalue":{"value":"residual transcendental extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$36DEFB70-D727-4E30-A482-2064D03E96A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01a3a7754c27d64555454241c696d828bfb19a8","datavalue":{"value":"value group","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$AB83754E-D589-45F0-BD34-48D4B3443151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089045109444783772792da658bd57f5bf33eabb","datavalue":{"value":"minimal pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$2000968E-8867-440E-8A07-D32BB0673443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6626b4b8bd6386abcdedcc91770b6ca2be3bbb84","datavalue":{"value":"valuation ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$D1402312-4490-4FEB-AF6C-2E40BE58C745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12004ab5c5cd62149c2601648c63f5bfc034157","datavalue":{"value":"conjectures of \\textit{J. Ohm}","type":"string"},"datatype":"string"},"type":"statement","id":"Q804640$8B3E09E3-794E-487D-A6FC-8E440922208B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2a04532d1348ee9b74a6eda05af9b6f3895a508","datavalue":{"value":"Q105439756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$7F4E1AD6-E67F-4DA4-A293-14DEECD380CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e6d96e13843cc601bd69e410c1eaded847d35c","datavalue":{"value":{"entity-type":"item","numeric-id":180175,"id":"Q180175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804640$A8024493-CC50-401F-802C-84E13E637D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7214ff5fb8769c76786cc88a1c5d63b49902799","datavalue":{"value":{"entity-type":"item","numeric-id":180176,"id":"Q180176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804640$E0C4ED07-C652-45DC-A7F2-DA88AD24A46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd80c4f8a7c88a4bd018de319af16d97fbbd474","datavalue":{"value":{"entity-type":"item","numeric-id":177021,"id":"Q177021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804640$FCDBDD68-D1A1-4BF6-98DE-24DE1E2F7E49","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":"Q804640$65C420EB-54A0-471C-A38C-2A3BD8318F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e79b0b4d52aa2f60de19ffb742abc5f643de68","datavalue":{"value":"https://doi.org/10.1215/kjm/1250520067","type":"string"},"datatype":"url"},"type":"statement","id":"Q804640$DAD0C2D4-FAB9-4152-83DF-7B48E1E1F4EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8a8268967deabab0ee20634d793643c2909bd6f","datavalue":{"value":"W1594560655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$10B62AB9-F4D5-4F67-96BB-267468F2DCF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd088b39a9dc38e76808df60cb66b917ec61ca36","datavalue":{"value":"10.1215/KJM/1250520067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804640$B46F26E5-596F-4F00-B4CA-DB7F31672374","rank":"normal"}],"P1643":[{"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":"b59245b5a52a06f100421cbd822f254af4867f45","datavalue":{"value":{"amount":"+0.8531862","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":"Q804640$C7A5363B-0326-4B34-B25A-872D4223239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb18fa6de07d6b336193cd11766d505e2d3123c","datavalue":{"value":{"entity-type":"item","numeric-id":3795760,"id":"Q3795760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406eef0ff20b72ba3e5d59ab37608b43ee4e7576","datavalue":{"value":{"amount":"+0.8392318","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":"Q804640$44F6CF38-601C-4718-AB8E-1F3C056CB3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3d5e214b581c932faab3af1cbf69eaf26bb574","datavalue":{"value":{"entity-type":"item","numeric-id":2019294,"id":"Q2019294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3534aee7d6b196a6ffb9129bc893013ef045be","datavalue":{"value":{"amount":"+0.8341048","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":"Q804640$0D5C2D32-FE20-4D69-B3FE-26CFAC97557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c50312f910edb780c450878315c6c8a60e65b24","datavalue":{"value":{"entity-type":"item","numeric-id":648242,"id":"Q648242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e294d54b2c9c8dbdba3b02ea07995bda76a8ea","datavalue":{"value":{"amount":"+0.82007766","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":"Q804640$034C7C90-8C41-4A45-87E8-136E2B9246F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b2fa36236fe12d263d8f7227d7f6085a5262c","datavalue":{"value":{"entity-type":"item","numeric-id":4904432,"id":"Q4904432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999ee5c16db5ed3c0bc7a5978c50164565699fc6","datavalue":{"value":{"amount":"+0.8197922","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":"Q804640$CDA4B989-F712-4F22-81F2-3F04A100A5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f783f442b0360f9b8e3e890efd999c6c19bb779d","datavalue":{"value":{"entity-type":"item","numeric-id":4817670,"id":"Q4817670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b858eec3565a37631927fc47ca2e7ac02ea2e8","datavalue":{"value":{"amount":"+0.8174147","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":"Q804640$7B9C9340-8EF9-4D7B-8178-61F7247640A0","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":"e68f4cf0aa1085a7b680eef1d74e072247a0f26b","datavalue":{"value":{"amount":"+0.8129354","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":"Q804640$19651BB2-3305-4D44-B7F5-FFAC36998A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b0bb23392f07a0bb74d9451ac38b994558ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4729881,"id":"Q4729881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f2aecf27774204d332b7ae722fff2e8ef65557","datavalue":{"value":{"amount":"+0.81205595","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":"Q804640$E66BC085-0E59-4AA7-B679-2DA3584A7B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500fec93b417a791d6aec32e37df12e91c1382c","datavalue":{"value":{"entity-type":"item","numeric-id":1356817,"id":"Q1356817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102a00cfc5c8a789d6965dc3a90782ffa37c5439","datavalue":{"value":{"amount":"+0.8081797","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":"Q804640$4FFC046F-1169-476F-9B3B-FE81E9312487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e982919e3e69cd7e34051f050b74b596d558ae","datavalue":{"value":{"entity-type":"item","numeric-id":4892999,"id":"Q4892999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9a45d346256bf763c5464e94c4991702da8c9e","datavalue":{"value":{"amount":"+0.80490893","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":"Q804640$C7381536-8D37-49CA-8B06-B3F4E7B5FEA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804640"}}}}}