{"entities":{"Q6610529":{"pageid":14221686,"ns":120,"title":"Item:Q6610529","lastrevid":103620428,"modified":"2026-06-06T07:45:38Z","type":"item","id":"Q6610529","labels":{"en":{"language":"en","value":"Irreducible factors of a polynomial and extensions of valuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918576"}},"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":"Q6610529$B3D8112B-1A49-4C16-A5F2-746BA640E3DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6041803cfd0e5359513161befedea851ab7340c2","datavalue":{"value":{"text":"Irreducible factors of a polynomial and extensions of valuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610529$160293AC-A956-4F3A-9827-00E834D3F882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e454c7d250f9a5fb6545527cd0be8fd48e22f8dc","datavalue":{"value":"10.1007/978-3-031-51959-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610529$610F8336-F264-4369-ACB1-87045FAED8C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c62eb9b59587af3a4747e6bc24d7dcc146d65475","datavalue":{"value":{"entity-type":"item","numeric-id":692434,"id":"Q692434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$1ED1B6CC-7A20-4F1E-9AC6-DBE1F600EA38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-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":"Q6610529$5D0C08EA-7997-4316-BA1A-D6F41D0755AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06f34790ec862eb9dc6674b8eb3a42d2de693250","datavalue":{"value":"Let \\((K, v)\\) be an arbitrary rank valued field, let \\(\\Gamma\\) its value group, \\(\\mathbb F_v\\) its residue field, \\((K^h, v^h)\\) a fixed Henselization, \\(R_{v^h}\\) the valuation ring of \\((K^h, v^h)\\), and \\(M_{v^h}\\) its maximal ideal. For a polynomial \\(F(x) \\in R_v[x]\\), which is congruent to a positive power of a polynomial \\(\\phi\\), where \\(\\phi \\in R_v[x]\\) is a monic polynomial, whose reduction \\(\\overline{\\phi(x)}\\) is irreducible over \\(\\mathbb F_v[x]\\), let \\(F (x) = \\phi^n(x) + a_{n-1}(x)\\phi^{n-1}(x) +\\cdots+ a_0(x)\\) be the \\(\\phi\\)-expansion of \\(F(x)\\) and \\(N_\\phi(F)\\) the \\(\\phi\\)-Newton polygon of \\(F(x)\\) with respect to \\(v\\). In this article, the theorem precisely stated below gives a natural generalization of the results in [\\textit{A. Jakhar}, Bull. Lond. Math. Soc. 52, No. 1, 158--160 (2020; Zbl 1455.11144)] together with a totally different proof.\\N\\NTheorem 1. Let \\(F(x)\\in R_{v^h}[x]\\) be a monic polynomial such that \\(\\overline {F(x)}\\) is a power of \\(\\overline \\phi \\in \\mathbb F_v[x]\\) for some monic polynomial \\(\\phi\\in R_{v^h}[x]\\), where \\(\\overline{\\phi}\\) is irreducible in \\(\\mathbb F_v[x]\\), and \\(N_{\\phi}(F)=S\\) has a single side of slope \\(-\\lambda\\). Let \\(e\\) be the smallest positive integer satisfying \\(e\\lambda\\in \\Gamma\\) and \\(m=\\deg(\\phi)\\). Then \\(F(x)\\) has at most \\(\\frac{n}{m\\cdot e}\\) monic irreducible factors over \\(K^h\\) and each irreducible factor is of degree at least \\(m\\cdot e\\), where \\(n\\) is the degree of \\(F(x)\\). \\N\\NFurther in the article, Eisenstein-Sch\u00f6nemann irreducibility criterion is generalized as follows.\\N\\NTheorem 2. Let \\(F(x)\\in R_{v^h}[x]\\) be a monic polynomial such that \\(\\overline {F(x)}\\) is a power of \\(\\overline \\phi \\in \\mathbb F_v[x]\\) for some monic polynomial \\(\\phi\\in R_{v^h}[x]\\), where \\(\\overline{\\phi}\\) is irreducible in \\(\\mathbb F_v[x]\\), and \\(N_{\\phi}(F)=S\\) has a single side of slope \\(-\\lambda\\in \\mathbb Q\\Gamma\\). If \\(R_\\lambda(F)\\) is irreducible in \\(\\mathbb F_\\phi[y]\\), then \\(F(x)\\) is irreducible over \\(K^h\\).\\N\\NIn this article it is proved that if \\(L=K(\\alpha)\\) is a simple extension of \\(K\\) generated by a root \\(\\alpha \\in \\overline K\\) of a monic irreducible polynomial \\(F(x)\\in R_v[x]\\), then there are at most \\(r=\\frac{n}{e\\cdot m}\\) distinct valuations \\(\\omega_i, 1\\leq i\\leq r\\) of \\(L\\) extending \\(v\\) (see Theorem 5).\\N\\NThe number of irreducible factors of \\(F(x)\\) over \\(K^h\\) and a bound on the number of distinct valuations of \\(L\\) extending \\(v\\) are explained (see Theorem 6 and Corollary 1). Further the examples are vivid.\\N\\NFor the entire collection see [Zbl 1539.11005].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610529$9E5B8540-2DEA-405B-AB89-7605CB62AEBE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9b7ba79b89dac6111fae92d9f15cfed8cd77387e","datavalue":{"value":{"entity-type":"item","numeric-id":6313913,"id":"Q6313913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$4D8ED19B-4858-45AB-B390-1223392AE5B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75b5ae7d63c4b2ff3513743a5ea9e7be306e24ac","datavalue":{"value":"11R09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610529$4655A9DF-150E-4B5B-8A05-392E6A9E319F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c83d9aa879856c075fcb75680daff5bc20e08a2","datavalue":{"value":"7918576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610529$04916E64-E4AB-4EFF-A856-F962C2B61616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a705184630f6b48e9d6fe667299aec5d6b853b94","datavalue":{"value":"irreducibly criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610529$9E756290-A4D9-4189-8637-CE07272DA148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00522716f59151521ea1f7c41c4de9426024a637","datavalue":{"value":"irreducible factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610529$871DF870-CA29-4411-9269-A6ACA2B2216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508f88424658fb089498cc4a64955884ae0c4f48","datavalue":{"value":"Henselian fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610529$60E1659D-0C51-46CB-A203-69BA12C8423E","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":"Q6610529$BCD6E705-9A57-4C4C-B04E-6417EF4D73D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"add767e8719bcf7c098efac24ad73d7bc753b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":999245,"id":"Q999245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$5A5E388C-CB82-47B0-8516-96054BBB17B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcf5f9e23575710a07489a54ec5fb4d1883f50e","datavalue":{"value":{"entity-type":"item","numeric-id":4786400,"id":"Q4786400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$30A96838-0822-4C89-96EF-4C661A03F3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68202db7f0cd0f6f4f9be5b3e76b38b7b4a52053","datavalue":{"value":{"entity-type":"item","numeric-id":1496558,"id":"Q1496558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$1AFED764-99B6-4A18-B84D-35357AE70EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a01387a044f56b00b42f4db51d58a014b715861","datavalue":{"value":{"entity-type":"item","numeric-id":4476043,"id":"Q4476043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$5AE508E3-0860-44E7-81F5-50049D65CA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c69f620e8e57f64b8536e858c08f916dc95dab","datavalue":{"value":{"entity-type":"item","numeric-id":5133837,"id":"Q5133837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$D729D990-E3B1-43E6-AAAE-C4C70EE2FCE5","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":"Q6610529$4EB778B3-E085-4FDA-8E5A-7CFF699F412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$FF972C41-BB58-4A14-AC5E-B5EBC58ADA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f98436af737d35f4ad641912dbc4f47232f32e","datavalue":{"value":{"entity-type":"item","numeric-id":5388828,"id":"Q5388828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$C0D4F513-1D48-4B7E-AA08-A565C7C636BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d06daeb38b3f122d4808d4ed5cf2d190e40c451","datavalue":{"value":{"entity-type":"item","numeric-id":1523263,"id":"Q1523263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$A976B26D-6FF6-4673-9D83-DAF448864C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01402cb2df31c10f497500905c9cdf1e2ae10ba","datavalue":{"value":{"entity-type":"item","numeric-id":5110608,"id":"Q5110608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$8EB26B59-C701-4A5E-A5B5-32AEE3440E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ee2978d8351426f5ef85d4329111961146325","datavalue":{"value":{"entity-type":"item","numeric-id":304505,"id":"Q304505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$ADA25AA7-F383-4DE6-B139-73DB0E8A1E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880a8e5e97d122c2f352f64f614bad2e5df7d581","datavalue":{"value":{"entity-type":"item","numeric-id":4417734,"id":"Q4417734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$E0B8B92E-E81E-472D-A2DD-9204E25FB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43791bb3aa6d1808174c320d6a92f3566d3077e3","datavalue":{"value":{"entity-type":"item","numeric-id":4254917,"id":"Q4254917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$DD4FE02E-D1FE-4CC9-B55F-660E22DA725B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c05dab2c106c7e219df6b7b614cdd54ebafa9c","datavalue":{"value":{"entity-type":"item","numeric-id":1440501,"id":"Q1440501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$3E1B0B56-0248-43C1-97AA-8C37FC1DDA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb6a4a81d22233026f73064f72c752cb24ef12a","datavalue":{"value":{"entity-type":"item","numeric-id":2809188,"id":"Q2809188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610529$AB85EED6-DCAE-44B6-9C4C-DCA83D9F82E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940e0a8a8840299b347c56b401d9efe654ae126f","datavalue":{"value":{"entity-type":"item","numeric-id":5218189,"id":"Q5218189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f02409fd76a5aa9237d0fa1fc433c3b59bd702","datavalue":{"value":{"amount":"+0.8317852020263672","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":"Q6610529$3B576C45-753F-4997-89A5-4BB1B63C03E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603c253bb5fb69eb6f34045ccf40b6a241a9d5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4346281,"id":"Q4346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfa0ccafd84696b7684f4dd5926710435e3d650","datavalue":{"value":{"amount":"+0.8281526565551758","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":"Q6610529$63647CE2-92B7-49E3-97F3-379CED1CE7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940560a6ddd763b17261aeff357b16bb1eae4d4f","datavalue":{"value":{"entity-type":"item","numeric-id":617840,"id":"Q617840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88414bde682273d3bcf44cdc5f7e500ee86813d","datavalue":{"value":{"amount":"+0.826779305934906","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":"Q6610529$8009A15E-2C4C-4FA6-A6A1-36931D74D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4c5f9eaa044223f18c1b9cc204329a0cd6021f","datavalue":{"value":{"entity-type":"item","numeric-id":981852,"id":"Q981852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60db81003c76fb6b0545b3a85fe2b30c495474c6","datavalue":{"value":{"amount":"+0.8226263523101807","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":"Q6610529$0EB87DEC-3FE6-4C3B-ADA1-19A7A298924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5ef9064c62ee748cdaba7c995a78c2f7847c48","datavalue":{"value":{"entity-type":"item","numeric-id":2057238,"id":"Q2057238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf5878eb5714ffa9d03479bb069444bd5ae1a70","datavalue":{"value":{"amount":"+0.8201447129249573","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":"Q6610529$6B9BECC6-6D23-47C9-80FB-E1A83380D4B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irreducible factors of a polynomial and extensions of valuations","badges":[]}}}}}