Let $K$ be a field, and $K(x)$ the field of rational functions over $K$. Consider the degree valuation $v$ on $K(x)$, That is
$v\left(\frac{f(x)}{g(x)}\right)=\deg(g)-\deg(f)$. So for every $f(x)\in K[x]$, $v(f(x))\leq 0$.
Now let $F$ be a finite extension of $K(x)$, and $R$ the integral closure of $K[x]$ in $F$. Let $w$ be some extension of $v$ to a valuation on $F$. My question is, if for every $a\in R$, it happens that $w(a)\leq 0$.
I checked it for some private cases, like $F=K(x^{1/n})$, and $w$ some extension of $v$, and it turned out to be true. But I can't manage to prove it for the general case.
2025-01-13 02:28:50.1736735330
extension of a valuation on a function field
143 Views Asked by giladude https://math.techqa.club/user/giladude/detail AtRelated Questions in FIELD-THEORY
- Does there exist a maximal Archimedean ordered field?
- If $f,g$ are non-zero polynomials and $f$ divides $g$, then $\partial f \leq \partial g$.
- Show that the quotient ring $R/\mathcal{I}$ is a field.
- Constructing finite fields of order $8$ and $27$ or any non-prime
- Prove there is a polynomial $P_0$ with the property that $\mathcal{I}$ consists precisely of the multiples of $P_0$.
- Example of an algebraic extension which is not a radical extension
- If the degree of $\alpha$ is prime, then it equals the degree of $\alpha^q$ for every other prime $q$?
- Is there concrete example of finite extension which is not normal?
- Does a field extension equal $F(\alpha) = a_0+a_1\alpha+a_2\alpha^2+a_3\alpha^3+\cdots$
- Give $3$ examples of a field extensions which are neither normal nor separable.
Related Questions in VALUATION-THEORY
- An extension $w$ of a valuation $v$ induced from $\mathfrak{p}$ come from ideal $\mathfrak{q}$ above $\mathfrak{p}$?
- When do we have equality in the third axiom of valuations?
- Minimal polynomial has coefficients in the valuation ring?
- Understanding proof that $\mathbb{Q}_{p}(\zeta)/\mathbb{Q}_{p}$ is unramified for $(n,p)=1$.
- finite extensions of discrete valuation fields: A method to find a basis
- Why does discrete valuation need to be surjective?
- Topology for the decomposition of $L\otimes_K K_\frak p$
- Property of valuation in $\Bbb{Z}_p$
- Ramification group definition in Neukirch's Chap. 2 Section 9
- Compare Valuations
Related Questions in FUNCTION-FIELDS
- Relation between ramification locus of a tower and of it's constant field extension
- kernel of the artin map when dealing with S-ideles and S-divisors for function fields
- does the $\zeta_K$ function of a function field determine the genus of that function field?
- Endomorphism ring of Drinfeld modules.
- Is $\mathbb{C}(x,y)$ a rational function field?
- Finite extensions of $\mathbb F_p(t)$
- Generalisation of Fermat's Little Theorem in Function Fields
- The sum of all primitive $n$-th roots of unity in the algebraic closure of $F(x)$
- Expected genus of a function field over a finite field
- There are no archimedean function fields
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity