{"entities":{"Q581598":{"pageid":583365,"ns":120,"title":"Item:Q581598","lastrevid":62942166,"modified":"2026-04-11T09:07:35Z","type":"item","id":"Q581598","labels":{"en":{"language":"en","value":"A theorem of characterization of residual transcendental extensions of a valuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128948"}},"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":"Q581598$E03049A5-2670-40FF-91A5-9B3704621D20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a8bba4921af0cb7030586b4833eb07fb71088d2","datavalue":{"value":{"text":"A theorem of characterization of residual transcendental extensions of a valuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581598$83ECA39A-D141-40F1-A395-427E3D113A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"383795edd14b63eb992880e805cd49629c4fea6f","datavalue":{"value":"0689.12017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$3035CCE7-0B17-4483-A802-88FA8E8CA31C","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":"Q581598$28533411-43BA-47E1-9B02-A7CEF1881F99","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":"Q581598$7D5D6903-8E78-4549-8615-9BE021B330F4","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":"Q581598$7963EF64-FC11-4A2F-B28E-58942F1542A2","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":"Q581598$A124A086-DB65-44D7-927A-A33D96707DC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q581598$C031F43D-0329-41F6-B81E-EBE5C2D313D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"688bbc6dee85c355b3ff6d628e892decc98fa520","datavalue":{"value":"Es seien \\(K\\) ein K\u00f6rper und \\(v: K\\to \\Gamma_ v\\) eine Bewertung mit dem Bewertungsring \\(O_ v\\) und dem Restklassenk\u00f6rper \\(k_ v\\). Eine Bewertung \\(w: K(X)\\to \\Gamma_ w\\) (\\(X\\) Unbestimmte) wird r.t.-Erweiterung (residual transcendental extension) von \\(v\\) genannt, wenn \\(w\\) Fortsetzung von \\(v\\) und \\(k_ w\\) transzendente Erweiterung von \\(k_ v\\) ist. \\(\\text{Grad}(w/v)\\) ist dann als minimales \\(n\\) definiert, zu dem ein \\(r\\in O_ w\\) mit \\([K(X):K(r)]=n\\) existiert, dessen Restklasse \\(r^*\\in k_ w\\) transzendent \u00fcber \\(k_ v\\) ist. Au\u00dferdem sei \\(e(w/v)=[\\Gamma_ w:\\Gamma_ v|\\) und \\(f(w/v)=[k:k_ v]\\), wobei \\(k\\) die algebraische H\u00fclle von \\(k_ v\\) in \\(k_ w\\) ist. Schlie\u00dflich sei \\(\\bar K\\) algebraischer Abschlu\u00df von \\(K\\) und \\(\\bar v\\) Fortsetzung von \\(v\\) auf \\(\\bar K,\\) die dann eine Fortsetzung \\(\\bar w\\) von \\(w\\) auf \\(\\bar K(X)\\) bestimmt. Ist \\(w\\) r.t.-Erweiterung von \\(v\\), so ist auch \\(\\bar w\\) r.t.-Erweiterung von \\(\\bar v\\).    Das Hauptergebnis der Arbeit besteht in folgenden Aussagen: Es sei \\(w\\) eine r.t.-Erweiterung von \\(v\\). Dann gibt es ein \\(\\alpha\\in \\bar K\\) und ein \\(\\delta \\in \\Gamma_{\\bar v}\\), so da\u00df f\u00fcr alle \\(f(X)=a_ 0+a_ 1(X-\\alpha)+\\ldots+a_ n(X-\\alpha)^ n\\) stets \\(\\bar w(f)=\\inf \\{\\bar v(a_ i)+i\\delta \\}\\) gilt und speziell \\(\\bar w(X-\\alpha)=\\delta\\). F\u00fcr alle \\(g(X)\\in K[X]\\) mit \\(\\text{Grad}\\,g<n=[K(\\alpha):K]\\) gilt weiter \\(w(g)=\\bar v(g(\\alpha))\\). Ist \\(f\\) das Minimalpolynom von \\(\\alpha\\) \u00fcber \\(K\\), \\(\\gamma =w(f)\\) und \\(e=e(\\gamma,K(\\alpha))=\\min \\{e\\in\\mathbb N\\mid e\\gamma \\in \\Gamma_{v'}\\}\\) mit der Einschr\u00e4nkung \\(v'\\) von \\(\\bar v\\) auf \\(K(\\alpha)\\), so gibt es ein \\(\\ell (X)\\in K[X]\\) mit \\(\\text{Grad}\\,\\ell <n\\), so da\u00df f\u00fcr \\(r=f^ e/\\ell\\) einerseits \\(w(r)=0\\) erf\u00fcllt ist und andererseits \\(r^*\\) transzendent \u00fcber \\(k_ v\\) ist. Mit der Restriktion \\(v'\\) gilt \\(Grad(w/v)=n\\cdot e(\\gamma,K(\\alpha))\\), \\(e(w/v)=e(v'/v)\\cdot e(\\gamma,K(\\alpha))\\) und schlie\u00dflich \\(f(w/v)=f(v'/v)\\). Speziell folgt aus diesen Ergebnissen \\(e(w/v)\\cdot f(w/v)\\leq \\text{Grad}(w/v)\\).    Zahlreiche weitere Anwendungen betreffen unter anderem Vermutungen von Nagata und Ohm. Weitergehende Resultate werden f\u00fcr den Spezialfall \\(e(w/v)=f(w/v)=1\\) hergeleitet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581598$3642A9CE-0E5D-4B5E-9E61-8DCE308140EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$31A934A7-C4B5-426B-B27A-14ED3FDC617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$C15FEF1F-DA39-4939-8A2F-F8C96F99FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$29DC8A27-3A8C-4E87-BF68-1F0ED99DDBD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f010138fc18c2fc2d56d52c7ee735d705e137ca8","datavalue":{"value":"4128948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$B648E356-776A-42C0-A92B-D5A9E5EBE8DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c79f7626d4caece86efcd12d5f14377b1c4f6cb7","datavalue":{"value":"extensions of valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q581598$3B5B209D-E736-4A38-9FF5-3944126A8217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ccbe4f9ea548cd27a161a23668df2637ae9a2","datavalue":{"value":"residual transcendental extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q581598$ACDF941E-A671-4FAF-B9CE-B53872FBD677","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee2ede4a355c58f213ac2b20eb879c9882968295","datavalue":{"value":{"entity-type":"item","numeric-id":1065894,"id":"Q1065894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581598$BF305379-E8C3-4379-B02E-31220BF76F06","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":"Q581598$86EB9630-3C60-4AF2-B5D8-008A57ED475D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0875eeae94bd0848aea41a2e22ce9bbc45ec39","datavalue":{"value":"https://doi.org/10.1215/kjm/1250520346","type":"string"},"datatype":"url"},"type":"statement","id":"Q581598$B1E96BB0-B24E-40FE-9A09-7925DB7D637F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90d2644bffbab9a87419b44ebb4abfc87ba41f37","datavalue":{"value":"W1629502106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$EC5ABA13-AFF0-4DFE-98CF-9CB4FB27027F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e41adab94ee3a551a086b3f77f350b0e05656d28","datavalue":{"value":"Q105439540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$8537397A-BB57-44BF-A093-5EE80F3D3D50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d0d295a58a38bfa57c95d56af6c7058ef863bec","datavalue":{"value":"10.1215/KJM/1250520346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581598$6467B832-579F-4AB6-9637-D1627DD357FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827bad9a5a2cc179f29dff9ff333fc5286091a5b","datavalue":{"value":{"entity-type":"item","numeric-id":3073937,"id":"Q3073937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f15f78cd3572ea76e2ad0a1d57734fd6ed783b","datavalue":{"value":{"amount":"+0.8791705965995789","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":"Q581598$D22EA113-F194-4D0E-9306-F4A465B1744F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2656760f6aa790414c8162e38d07e095cbee0197","datavalue":{"value":{"entity-type":"item","numeric-id":3551927,"id":"Q3551927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb45bd9b0994ec4f6824a019728dfc60b326979","datavalue":{"value":{"amount":"+0.8766469359397888","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":"Q581598$656C4ACE-6DA2-444D-839D-E08747B1AB49","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":"48650c7a8db0a71e2da58128ef76af3ef6a9cd3d","datavalue":{"value":{"amount":"+0.8750385642051697","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":"Q581598$CFBBB3F2-1C6A-405D-AC52-7CB7161FEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3010d918e0892f2c948ef00ec7de7af92d90e570","datavalue":{"value":{"entity-type":"item","numeric-id":3475353,"id":"Q3475353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf2353186c5d99b580019e9707c49aaf007d50d","datavalue":{"value":{"amount":"+0.8701258301734924","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":"Q581598$7F073E67-73E2-460B-90A6-F2BE019D2444","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":"ee54496d8fc73e6de1960c45f1cd2c91ffe36e22","datavalue":{"value":{"amount":"+0.8496310710906982","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":"Q581598$24969654-2272-4931-80C9-7DE841DB327E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem of characterization of residual transcendental extensions of a valuation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_of_characterization_of_residual_transcendental_extensions_of_a_valuation"}}}}}