{"entities":{"Q534540":{"pageid":536307,"ns":120,"title":"Item:Q534540","lastrevid":57060456,"modified":"2026-03-26T11:18:35Z","type":"item","id":"Q534540","labels":{"en":{"language":"en","value":"On Izumi's theorem on comparison of valuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5895856"}},"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":"Q534540$5AF456D3-7BDB-416D-9EFA-7F4F79D9110D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2739c0a62115c60707dc518e0702c3f833ebadb0","datavalue":{"value":{"text":"On Izumi's theorem on comparison of valuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534540$6D5D361C-47AA-4201-A3B2-3787FB9E5CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa9128a057369164effa43d97579aacf271e2f54","datavalue":{"value":"1222.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534540$8C27C7FD-1E0B-41CB-9639-BB8189CFBE36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f2afa33c411398bec829bfa93462c50c542202","datavalue":{"value":{"entity-type":"item","numeric-id":534539,"id":"Q534539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534540$6CBC0114-B913-4CED-99CF-020E09DAC8B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"738d105e42d51f4b031b87220ad3d6b3409cc1c3","datavalue":{"value":{"entity-type":"item","numeric-id":169983,"id":"Q169983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534540$F84FFD6F-FBB1-47A7-82BC-9A318D267B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534540$C1A0295C-8011-47CF-A92D-52B1E5F465F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce79dedf80cbee77a2cd14f7dde9a22e0c81067d","datavalue":{"value":"https://arxiv.org/abs/0810.2479","type":"string"},"datatype":"url"},"type":"statement","id":"Q534540$A4CD2F6C-2EE8-4F80-AD2D-0BAC49FBDA2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f53d948323bda27479da168c9c065823b67b854e","datavalue":{"value":"Some of the results are as follows: Theorem 3.6. Assume that \\((K,\\nu)\\subset (L,\\mu)\\) is a valuation extension and \\(\\{U_i,\\beta_i\\}_{i\\leq\\alpha}\\) is a weighted basis of \\(K[x]\\), with respect to \\((K,\\nu)\\) with \\(\\mu=\\omega_\\alpha\\), and \\(\\nu,\\mu\\) are divisorial valuations. Assume in addition that \\(\\mu\\) is centered over an analytically irreducible domain \\((R,\\mathfrak m)\\). Then the number of MacLane key polynomials of the divisorial valuation \\((L,\\mu)\\) is finite, i.e. \\(\\alpha<\\omega\\). The proof implies that, if \\(L/K\\) is of transcendental type, the condition of analytical irreducibility is not needed for proving finiteness; an example is given that this condition is necessary if \\(L/K\\) is of algebraic type.   The author proves Izumi's theorem as one of the consequences: Theorem 1.1. Assume that \\(\\mu\\) and \\(\\mu'\\) are two divisorial \\(k\\)-valuations of a field \\(K/k\\) such that \\(K\\) is the quotient field of an analytically irreducible local domain \\((R,\\mathfrak m)\\subset K\\). Assume also that \\(\\mu, \\mu'\\) are both centered over \\((R,\\mathfrak m)\\). Then, there exists a real number \\(c>0\\) such that \\(\\mu(y)<c\\mu'(y)\\), for \\(y\\in\\mathbb R\\setminus\\{0\\}\\). Consequently, the Izumi constant of these two valuations, namely \\(c_R(\\mu,\\mu'):=\\sup_{y\\in R\\setminus\\{0\\}}\\{\\mu(y)/\\mu'(y)\\}\\) is well-defined. Furthermore, the author gives (in Theorems 4.3 and 4.5) explicit bounds for the Izumi constant in terms of the key polynomials and shows that the bounds are attainable in some cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$BA10F323-E477-435C-9977-4C3472882EB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a4dc55d1e339c5a861364301a78d8def8050d67","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534540$0CFFED93-3173-4782-A75F-0C083A0FA68B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534540$5162F3F6-CD81-4D9F-819E-5BC1DA2582C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a0fe50ab2cfc340c9c7b03058fa7f9e3f8cfecb","datavalue":{"value":"5895856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534540$16064EDE-AEF0-43BC-9312-07F77898590F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab4ac64375553a4974798495206959a75476de5","datavalue":{"value":"divisorial valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$2BB5A8C0-2C4B-46CB-A893-3C87623A6D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ef9de6663d2fff84588c8afe4f7b804c971d06","datavalue":{"value":"Gaussian valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$FA83E910-6683-4B34-B54B-D6AE207E11AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31de69ceef8e78518c0b6bbba2b2637604ec7f3","datavalue":{"value":"pseudo-valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$428C6797-D11C-4F2F-88E5-CBD175A2CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec77d7bda1b93cd8bb8e8318ba65e7e5307bcb8","datavalue":{"value":"MacLane sequence of key polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$08359782-F209-4FA3-977B-1908E467BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142b625cebf872cf219165d33427cf28167d0afd","datavalue":{"value":"Izumi constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$8F61AFEC-0036-4E23-A162-1A4B92CF1E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b416d7cd90a35daa2a2006209fe527229cf35af","datavalue":{"value":"weighted basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$33B83368-6960-4C1F-9F71-EB1AE778151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3914fa9c775d03712af969acde2004a1b93669","datavalue":{"value":"\\(i\\)-adic expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$C8E03841-A5CC-4D4C-8B20-60547812C41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419a1c453afb337a32e8d9d23690ea71c91298f4","datavalue":{"value":"monomials of \\(i\\)-adic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q534540$DE66A8EE-7C3D-4FD7-BA7D-B12894A33588","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":"Q534540$13B2A1E8-3E8C-4EE6-9CE8-93A7360B3FB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb78bc28676d7ab0d7edb6766cdded9b448f2b82","datavalue":{"value":"W1993872896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534540$A5CF73E5-6ED5-49FC-AD83-9ACD8212C932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9829c59c3019c94f017eea28348935ea8849683","datavalue":{"value":"10.2996/KMJ/1301576758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534540$3F602E1F-513B-4AA1-92E1-3BC179A615B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515fa6e8328bbf4ff7dbc426e429dae0a0a80384","datavalue":{"value":{"entity-type":"item","numeric-id":3566582,"id":"Q3566582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7a055f41d8a8078ee098a617167d16a5309e48","datavalue":{"value":{"amount":"+0.801224410533905","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":"Q534540$4956FD04-237C-4EF7-B8C7-021EAA218D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ce7b53ec9cfbc33de7f231f342517c6f0c7147","datavalue":{"value":{"entity-type":"item","numeric-id":2039729,"id":"Q2039729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd5b8b7d49a80b3e92254211a89c05505e228bd","datavalue":{"value":{"amount":"+0.7955414652824402","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":"Q534540$DC26506E-4D2E-4F57-8270-98C2580AD1A9","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":"dc227c6dfacdf9207fe9a65d5917fc8c0339be8e","datavalue":{"value":{"amount":"+0.7776353359222412","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":"Q534540$9A9E6241-E309-49C2-B4AD-88AC4FBACFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4027d7593bd35a0f93fb3afb3d3174b07fabf6","datavalue":{"value":{"entity-type":"item","numeric-id":2934792,"id":"Q2934792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b5abef5ba366ba95637775014aca83083cf88f","datavalue":{"value":{"amount":"+0.7729002833366394","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":"Q534540$65C163A8-4D8F-4284-A99F-50054EFE52C8","rank":"normal"},{"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":"2c877b45b1784aac11bc2696401f5ee2d44307ac","datavalue":{"value":{"amount":"+0.7711790204048157","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":"Q534540$EF3B8884-401C-4957-BE56-02961C326941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:534540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:534540"}}}}}