{"entities":{"Q6155809":{"pageid":13290298,"ns":120,"title":"Item:Q6155809","lastrevid":58727412,"modified":"2026-04-06T12:03:28Z","type":"item","id":"Q6155809","labels":{"en":{"language":"en","value":"Tame key polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7693119"}},"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":"Q6155809$7EB39147-7190-462A-B089-C67D9DC9612D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81c228f32f0fdfc2e7674b5885616d42c8985e8b","datavalue":{"value":{"text":"Tame key polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6155809$71D1078D-4896-4E3A-855C-BD6CEDD80526","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"094b77ea49e46e59f826dcc7eaa70ee0096c8757","datavalue":{"value":"1522.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$DE92F8AC-73BD-49E0-83B8-9CA72849DBEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2987e48f5abb7c4a673316a56647f61327dd983c","datavalue":{"value":{"entity-type":"item","numeric-id":785763,"id":"Q785763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$CC7A9FC8-1E34-485C-88C0-B393A1CB3205","rank":"normal"},{"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":"Q6155809$EE918BF6-0983-4499-BB0B-132D4E479A93","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":"Q6155809$C5DB7AAB-27F2-4AAC-BC19-FF71C9A7C79E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"663ec16ecbc56706b2dc00e5da23114c24123651","datavalue":{"value":{"time":"+2023-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6155809$97BFAE75-3F50-4824-8701-C6FF1D8F236E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9967cd2ceb7c25a077f9e373d643d00e0bd855e","datavalue":{"value":"https://arxiv.org/abs/2208.11590","type":"string"},"datatype":"url"},"type":"statement","id":"Q6155809$6CCE7E8E-F094-4BA4-9DA9-4B66BCB27EA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e19a41b4c3a6c7d343eebcb18e44a46f77c0825","datavalue":{"value":"An algebraic extension \\((L|K, v)\\) is called tame if the extension of \\(v\\) from \\(K\\) to \\(L\\) is unique and, for every finite subextension \\(E|K\\) of \\(L|K\\), the residue field extension \\(Ev|Kv\\) is separable, \\((vE : vK)\\) is not divisible by char\\(Kv\\) (\\(vK\\) the valuation group of \\((K,v)\\)), and \\([E : K] = (vE : vK)[Ev : Kv]\\). A henselian field \\((K, v)\\) is called a tame field if \\((\\widetilde{K}|K, v)\\) is a tame extension, where \\(v\\) still denotes the unique extension of \\(v\\) to the algebraic closure \\(\\widetilde{K}\\) of \\(K\\). A root \\(a\\) of a polynomial \\(f\\in K[X]\\) is a maximal root of \\(f\\) if for every root \\(b\\) of \\(f\\) we have \\(v(x-a)\\geq v(x-b)\\). An extension \\((K(x)|K, v)\\) is weakly pure (in \\(x\\)) if \\(x\\) is a limit of a pseudo Cauchy sequence in \\((K, v)\\) of transcendental type, or there is \\(a \\in K\\) such that \\(v(x-a) = \\max v(x-\\widetilde{K})\\). Let \\(Q\\in K[X]\\) be a monic irreducible polynomial. Every element \\(f(x)\\) in \\(K(x)\\) can be written in a unique way as \\(f(x)=f_0(x)+f_1(x)Q(x)+\\cdots +f_j(x)Q(x)^j\\), where \\(f_0,f_1,\\dots,f_j\\) are polynomials of degrees less tha the degree of \\(Q\\). Then we let \\(v_Q(f(x))\\) be the minimum of \\(v(f_0(x)),v(f_1(x)Q(x)),\\dots,v(f_j(x)Q(x)^j)\\).  In the following \\((K,v)\\) is a henselian valued field. The first theorem that the authors prove deals with a transcendental extension \\((K(x)|K,v)\\) such that there is a tame extension \\((L'|K,v)\\) where, for some extension of \\(v\\) from \\(K(x)\\) to \\(L'(x)\\), the extension \\((L'(x)|L',v)\\) is weakly pure (this involves the case where \\((K,v)\\) is a tame field). They denote by \\(L\\) the relative algebraic closure of \\(K\\) in a fixed henselization of \\((K(x),v)\\). They prove that the extension \\((L(x)|L,v)\\) is immediate and they construct a sequence of elements of \\(L\\) which is either finite or a pseudo Cauchy sequence of transcendental type which pseudo converges to \\(x\\). Every element of this sequence is a maximal root of its minimal polynomial over \\(K\\), and the sequence \\((Q_{\\nu})\\) of these minimal polynomials is a complete sequence of key polynomials for \\((K(x)|K,v)\\) (i.e., for every \\(f(x)\\in K[x]\\), \\(v(f(x))\\) is eventually equal to \\(v_{Q_{\\nu}}(f(x))\\)). In the next theorem they prove similar results for a tame algebraic extension \\((K(x)|K,v)\\). Finally, they generalize these results to a countably generated tame extension \\((L|K,v)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$01356CEB-23D3-4D30-9FAA-4D7D6DAF71E4","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":"Q6155809$DAC96EE7-A63A-44FC-9D6B-CB91EB40FF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$7F294BE3-37AE-4209-928A-614B37B76AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$8C50C927-235F-4F3F-A38B-30713F28073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$162EDAFF-22F4-481A-976B-E67DB517F7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b92b5e489aed34a9ca3f7340c14e97d1759c5cf1","datavalue":{"value":"7693119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$84C5C717-F086-49C9-8132-0DB81A32FD68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$799E3ADC-06E2-4661-9DFB-06205E736428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecd69a6d6f7ca8849068cc67a56effa10cb344","datavalue":{"value":"minimal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$A621674D-5BA1-4954-A264-208EEA3DAB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4149347abcf860dcd120da5239a18e32be216ba1","datavalue":{"value":"key polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$516C94E3-4DCF-446D-9F58-77E515D2F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0eed7b7a575806f3958eedf3fc888944b480cf2","datavalue":{"value":"pseudo Cauchy sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$1E1EA23B-3253-48A6-8B63-1C7FAAA33528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f9e1892c2a6c09fb605558956ba0b9655717ec","datavalue":{"value":"valuation transcendental extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$689677A7-9BEA-4C7A-AACD-772E4A8B9EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8279e38d13c2615b412c8ab5b599f1675d53c8","datavalue":{"value":"tame fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155809$FB69117F-14D5-4A6A-9188-E97BC9C6550E","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":"Q6155809$15831ACB-0983-4612-8FA6-C4400E00AC92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a167b332adfd1506382dd39845551a1695c2129","datavalue":{"value":"W4362696579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$0D9BC8A3-EA12-4E0C-9231-AF8BB7609E59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87479d53cb85f22a3072c3b811f6d0b16f04ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2254143,"id":"Q2254143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$A305777B-7B60-4477-9354-C99A911870DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75f1fd5208fb1923740d1e01d1c70e80271785b","datavalue":{"value":{"entity-type":"item","numeric-id":5247009,"id":"Q5247009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$3C586626-A3D4-451F-B50F-E48DEBF40896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e69a6b6a2532956687a7647a6252aaf9e4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":2959265,"id":"Q2959265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$62B0978F-A330-402C-82F7-6B34C2940CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d361984523ff557d53103af8205cabf683f409","datavalue":{"value":{"entity-type":"item","numeric-id":1643185,"id":"Q1643185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$BD5D7340-7A82-4E4C-9FE0-D2733527E719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b1ed6a0209cf390f3e7d87e8e21b225ebe9e29","datavalue":{"value":{"entity-type":"item","numeric-id":2559510,"id":"Q2559510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$E2C572E1-FCC1-41E0-971B-06FE6EF37F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533cc7d71967392df635bd1b63ca5825e9385b7","datavalue":{"value":{"entity-type":"item","numeric-id":2653021,"id":"Q2653021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$F5FE022D-78C1-4E73-9171-59D227E79F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1db4dce1fbb0ab22e41250e9bbfdf19274198f","datavalue":{"value":{"entity-type":"item","numeric-id":4813862,"id":"Q4813862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$287246D8-BBAA-41DA-93E3-E5CD7F6421B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff4cb33fcd225f7f71967b6aebced954ccf962d","datavalue":{"value":{"entity-type":"item","numeric-id":323734,"id":"Q323734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$DEDAE3DD-F591-4D90-86D8-25EB4387FE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b51b45e958e034c5ed900d7806a74940fec8a68","datavalue":{"value":{"entity-type":"item","numeric-id":2672680,"id":"Q2672680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155809$10467CB4-745E-4E3C-9A3F-FA6D9F620AAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f7f2e877b12317a109ad6b8d619ce809a8db128","datavalue":{"value":"10.1016/J.JALGEBRA.2023.03.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155809$E3C58D87-CB0E-4D38-8460-E4CC77A4FFA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6763febf408758efe11c738d0a7b85c791368596","datavalue":{"value":{"entity-type":"item","numeric-id":2108566,"id":"Q2108566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed157e3c89cc0e45d029f179e099db593ac43fe","datavalue":{"value":{"amount":"+0.7926119565963745","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":"Q6155809$A7A4F67A-7211-412C-A960-5A9C28FBB423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"037b3f679d1db8844e2633206be0638539519ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1682073,"id":"Q1682073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efda43396c145b43e84c55c35277cb155af64cff","datavalue":{"value":{"amount":"+0.7844011783599854","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":"Q6155809$9529F5CF-EDD2-4B6E-A7F7-DF4796DD6D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714659b9371c745d48836ef6c316dc66f8c0e54e","datavalue":{"value":{"entity-type":"item","numeric-id":2376555,"id":"Q2376555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62a2a3d75aee6459c84f0977ba0cff5ab436a9f","datavalue":{"value":{"amount":"+0.7812451124191284","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":"Q6155809$FA94A627-A00C-4251-8588-97E9C2887D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4e52d869217b072916974a53bc0777a337744c","datavalue":{"value":{"entity-type":"item","numeric-id":669482,"id":"Q669482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756e2886e8764f2abcfec5da4147a90652a0beb5","datavalue":{"value":{"amount":"+0.7767835855484009","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":"Q6155809$1F105E6A-978F-4C2E-9AF2-54FB708E65F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260ef7e2fce08dc13d103da63eddcdf824e5aa15","datavalue":{"value":{"entity-type":"item","numeric-id":2302177,"id":"Q2302177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6782040005e7450b8ffa23f20bfb222a23e27bec","datavalue":{"value":{"amount":"+0.7704339027404785","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":"Q6155809$93EA9572-5A6A-403A-8FBC-487C73491993","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6155809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6155809"}}}}}