scholarly journals Valuations on K[x] approaching a fixed irreducible polynomial

2021 ◽  
Author(s):  
Matheus dos Santos Barnabé ◽  
Josnei Novacoski
Keyword(s):  
Irreducible Polynomial

scholarly journals On purely periodic beta-expansions of Pisot numbers

2002 ◽  
Vol 166 ◽  
pp. 183-207 ◽  
Author(s):  
Yuki Sano
Keyword(s):  
Natural Extension ◽  
Irreducible Polynomial ◽  
Main Tool ◽  
Pisot Number ◽  
Fractal Boundary ◽  
Pisot Numbers ◽  
Dimensional Domain

AbstractWe characterize numbers having purely periodic β-expansions where β is a Pisot number satisfying a certain irreducible polynomial. The main tool of the proof is to construct a natural extension on a d-dimensional domain with a fractal boundary.

scholarly journals On Monomorphisms and Subfields

2019 ◽  
Vol 27 (2) ◽  
pp. 133-137
Author(s):  
Christoph Schwarzweller
Keyword(s):  
Irreducible Polynomial ◽  
Field Extension ◽  
Isomorphic Copy ◽  
Field Extensions ◽  
The Third ◽  
Fourth Part ◽  
Roots Of Polynomials ◽  
Classical Proof ◽  
Do So

Summary This is the second part of a four-article series containing a Mizar [2], [1] formalization of Kronecker’s construction about roots of polynomials in field extensions, i.e. that for every field F and every polynomial p ∈ F [X]\F there exists a field extension E of F such that p has a root over E. The formalization follows Kronecker’s classical proof using F [X]/<p> as the desired field extension E [5], [3], [4]. In the first part we show that an irreducible polynomial p ∈ F [X]\F has a root over F [X]/<p>. Note, however, that this statement cannot be true in a rigid formal sense: We do not have F ⊆ [X]/ < p > as sets, so F is not a subfield of F [X]/<p>, and hence formally p is not even a polynomial over F [X]/ < p >. Consequently, we translate p along the canonical monomorphism ϕ : F → F [X]/<p> and show that the translated polynomial ϕ (p) has a root over F [X]/<p>. Because F is not a subfield of F [X]/<p> we construct in this second part the field (E \ ϕF )∪F for a given monomorphism ϕ : F → E and show that this field both is isomorphic to F and includes F as a subfield. In the literature this part of the proof usually consists of saying that “one can identify F with its image ϕF in F [X]/<p> and therefore consider F as a subfield of F [X]/<p>”. Interestingly, to do so we need to assume that F ∩ E = ∅, in particular Kronecker’s construction can be formalized for fields F with F ∩ F [X] = ∅. Surprisingly, as we show in the third part, this condition is not automatically true for arbitray fields F : With the exception of 𝕑2 we construct for every field F an isomorphic copy F′ of F with F′ ∩ F′ [X] ≠ ∅. We also prove that for Mizar’s representations of 𝕑n, 𝕈 and 𝕉 we have 𝕑n ∩ 𝕑n[X] = ∅, 𝕈 ∩ 𝕈 [X] = ∅ and 𝕉 ∩ 𝕉 [X] = ∅, respectively. In the fourth part we finally define field extensions: E is a field extension of F iff F is a subfield of E. Note, that in this case we have F ⊆ E as sets, and thus a polynomial p over F is also a polynomial over E. We then apply the construction of the second part to F [X]/<p> with the canonical monomorphism ϕ : F → F [X]/<p>. Together with the first part this gives - for fields F with F ∩ F [X] = ∅ - a field extension E of F in which p ∈ F [X]\F has a root.

Polynomial index in discrete valuation rings

2019 ◽  
Vol 56 (2) ◽  
pp. 260-266
Author(s):  
Mohamed E. Charkani ◽  
Abdulaziz Deajim
Keyword(s):  
Lower Bound ◽  
Valuation Ring ◽  
Irreducible Polynomial ◽  
Discrete Valuation Ring ◽  
Field Extension ◽  
Integral Closure ◽  
Quotient Field ◽  
Discrete Valuation Rings ◽  
Valuation Rings ◽  
Adic Valuation

Abstract Let R be a discrete valuation ring, its nonzero prime ideal, P ∈R[X] a monic irreducible polynomial, and K the quotient field of R. We give in this paper a lower bound for the -adic valuation of the index of P over R in terms of the degrees of the monic irreducible factors of the reduction of P modulo . By localization, the same result holds true over Dedekind rings. As an important immediate application, when the lower bound is greater than zero, we conclude that no root of P generates a power basis for the integral closure of R in the field extension of K defined by P.

scholarly journals PRIMES REPRESENTED BY INCOMPLETE NORM FORMS

2020 ◽  
Vol 8 ◽  
Author(s):  
JAMES MAYNARD
Keyword(s):  
Algebraic Geometry ◽  
Irreducible Polynomial ◽  
Type I ◽  
Type Ii ◽  
Geometry Of Numbers ◽  
Asymptotic Number ◽  
Special Case

Let $K=\mathbb{Q}(\unicode[STIX]{x1D714})$ with $\unicode[STIX]{x1D714}$ the root of a degree $n$ monic irreducible polynomial $f\in \mathbb{Z}[X]$ . We show that the degree $n$ polynomial $N(\sum _{i=1}^{n-k}x_{i}\unicode[STIX]{x1D714}^{i-1})$ in $n-k$ variables takes the expected asymptotic number of prime values if $n\geqslant 4k$ . In the special case $K=\mathbb{Q}(\sqrt[n]{\unicode[STIX]{x1D703}})$ , we show that $N(\sum _{i=1}^{n-k}x_{i}\sqrt[n]{\unicode[STIX]{x1D703}^{i-1}})$ takes infinitely many prime values, provided $n\geqslant 22k/7$ . Our proof relies on using suitable ‘Type I’ and ‘Type II’ estimates in Harman’s sieve, which are established in a similar overall manner to the previous work of Friedlander and Iwaniec on prime values of $X^{2}+Y^{4}$ and of Heath-Brown on $X^{3}+2Y^{3}$ . Our proof ultimately relies on employing explicit elementary estimates from the geometry of numbers and algebraic geometry to control the number of highly skewed lattices appearing in our final estimates.

Sign in / Sign up

Export Citation Format

Share Document