{"entities":{"Q820492":{"pageid":822340,"ns":120,"title":"Item:Q820492","lastrevid":64580859,"modified":"2026-04-11T20:51:19Z","type":"item","id":"Q820492","labels":{"en":{"language":"en","value":"A Dedekind criterion over valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401181"}},"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":"Q820492$8B1EFBD9-CED2-484F-A20A-847F398995B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae60d2daf7ecbc56c7054d26d1b8f8ff0baad810","datavalue":{"value":{"text":"A Dedekind criterion over valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820492$C3A22FF4-6CD5-4C16-ACC0-9C8EB11C3E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c1376818a420154f62ebca094eeedfef7528952","datavalue":{"value":"1481.12010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820492$ABFA45A9-4A68-4499-AFAA-3DB5D5FFA5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e86074b575fa168f91e1d75bdcdcb93aa8b5f94b","datavalue":{"value":"10.1134/S0037446621050098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820492$D85BF921-0EB8-4B3D-B7F8-BA37492299BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820492$447B546B-AD14-4E5A-A757-F9FAD6C5B0A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820492$7B7D7BA1-572A-47FB-B7D6-C5C1B8132981","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727930888b35b8b94c9276357b308fe79a18f77e","datavalue":{"value":"https://arxiv.org/abs/1908.06365","type":"string"},"datatype":"url"},"type":"statement","id":"Q820492$FC79A2AC-5748-48D5-A139-2072D791EB96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f06bb07ada8b1244d91ea31c24b6e498f5ef0d7b","datavalue":{"value":"Let \\(R_v\\) be the valuation ring of a valued field \\((K,\\nu)\\), \\(f\\in R_{\\nu}[X]\\) be a monic irreducible separable polynomial and \\(\\alpha\\) be a root of \\(f\\) in an algebraic closure of \\(K\\). This paper deals with conditions for the ring \\(R_{\\nu}[\\alpha]\\) being integrally closed. These conditions are related to criteria obtained in generalizations of a theorem of Dedekind. We start with some notations. The set of all positive elements of \\(K\\backslash\\{0\\}\\) is denoted by \\(\\Gamma_{\\nu}^+\\), \\(k_{\\nu}\\) is the residue field of \\(K\\) and \\(\\bar{f}\\) is the image of \\(f\\) in \\(k_{\\nu}[X]\\). Let \\(\\phi_1,\\dots,\\phi_s\\) be monic polynomials of \\(K_{\\nu}[X]\\) such that \\(\\bar{f}=\\prod_{i=1}^s\\overline{\\phi_i}^{l_i}\\) is the monic irreducible factorization of \\(\\bar{f}\\) over \\(k_{\\nu}\\), and set \\(I=\\{i \\in \\{1,\\dots, s\\} \\; :\\; l_i\\geq 2\\}\\). For \\(i\\in \\{1,\\dots,s\\}\\), we let \\(f=q_i\\phi_i+r_i\\) be the euclidean division of \\(f\\) by \\(\\phi_i\\). Finally, for \\(a_0+a_1X+\\cdots+a_mX^m\\in K[X]\\), we set \\(\\nu^G(a_0+a_1X+\\cdots+a_mX^m)=\\min \\{\\nu(a_0),\\nu(a_1),\\dots,\\nu(a_m)\\}\\). The first result states that \\(R_{\\nu}[\\alpha]\\) is integrally closed if, and only if, for every \\(i\\) in \\(I\\), \\(\\nu^G(r_i)\\) is the minimum of \\(\\Gamma_{\\nu}^+\\) (if \\(I= \\emptyset\\), then \\(R_{\\nu}[\\alpha]\\) is integrally closed). So, if \\(\\Gamma_{\\nu}^+\\) has no minimum, then \\(R_{\\nu}[\\alpha]\\) is integrally closed if, and only if, \\(I=\\emptyset\\). A corollary shows that if \\(I\\neq\\emptyset\\) and \\(\\Gamma_{\\nu}^+\\) has a minimum, then \\(R_{\\nu}[\\alpha]\\) is integrally closed if, and only if, for every \\(\\pi\\in R_{\\nu}\\) such that \\(\\nu(\\pi)=\\min (\\Gamma_{\\nu}^+)\\), \\(\\overline{\\phi}_i\\) does not divide the image of \\(\\frac{1}{\\pi}(f-\\prod_{i=1}^s\\phi_i^{l_i})\\) in \\(k_{\\nu}[X]\\). \\\\ The ring \\(K_{\\nu}[\\alpha]\\) being integrally closed is also equivalent to the following: \\\\ - \\(\\nu\\) has exactly \\(s\\) extensions \\(\\omega_1,\\dots,\\omega_s\\) to \\(K(\\alpha)\\), furthermore we can assume that, for \\(i\\neq j\\) in \\(\\{1,\\dots, s\\}\\), \\(\\omega_i(\\phi_j(\\alpha))=0<\\omega_i(\\phi_i(\\alpha))\\); \\\\ - if \\(I\\neq\\emptyset\\), then, for every \\(i\\in I\\), \\(l_i\\omega_i(\\phi_i(\\alpha))\\) is the minimum of \\(\\Gamma_{\\nu}^+\\). \\\\ It follows that if \\(R_{\\nu}[\\alpha]\\) is integrally closed, then, for every \\(i\\) in \\(\\{1,\\dots,s\\}\\), the ramification index \\(e(\\omega_i/\\nu)=[\\omega_i(K(\\alpha)^*):\\nu(K^*)]\\) is equal to \\(l_i\\), and the residual degree \\(f(\\omega_i/\\nu)=[k_{\\omega_i}:k_{\\nu}]\\) is equal to the degree of \\(\\phi_i\\). Furthermore \\(\\sum_{i=1}^s e(\\omega_i/\\nu)f(\\omega_i/\\nu)=[K(\\alpha):K]\\). \\\\ They get three applications. \\\\ 1. Assume that there is \\(a\\in R_{\\nu}\\) such that \\(f=X^n-a\\). Then \\(R_{\\nu}[\\alpha]\\) is integrally closed if, and only if, \\(\\nu(a)\\) is equal to the minimum of \\(\\Gamma_{\\nu}^+\\). \\\\ 2. Let \\(g\\) be a monic polynomial in \\(K_{\\nu}[X]\\) such that \\(\\bar{g}\\) is a positive power of \\(\\overline{X}\\) and \\(\\nu(g(0))\\) is the minimum of \\(\\Gamma_{\\nu}^+\\) (i.e.\\ \\(g\\) is \\(\\nu\\)-Eisenstein), and \\(K(\\alpha)=K(\\theta)\\), for some root \\(\\theta\\) of \\(g\\). Then \\(R_{\\nu}[\\theta]\\) is integrally closed. \\\\ 3. Let \\(a\\in R_{\\nu}\\), such that \\(\\Gamma_{\\nu}^+\\) has a minimum which is equal to \\(\\nu(a)/m\\), where \\(m\\) is a positive integer which is coprime to \\(n\\). Then \\(X^n-a\\) is irreducible over \\(K_{\\nu}\\). In addition, let \\(u\\), \\(v\\) be the positive integers such that \\(v