For questions related to valuation functions on a field.

learn more… | top users | synonyms

1
vote
0answers
31 views

Non-smooth curve in $\mathbb{A}^2$

In one of my exercises on Algebraic Geometry, I showed that the curve $X \subset \mathbb{A}^2$ defined by $x^3-y^2$ is irreducible but not smooth. Furthermore, they ask the following question that I ...
0
votes
0answers
8 views

Integral basis of an extension of complete fields

Let $\mathcal{O}_K$ be a complete discrete valuation ring with quotient field $K = \text{Quot}(A)$. Let $L | K$ be an arbitrary finite field extension. Because $K$ is henselian, the integral closure ...
1
vote
0answers
54 views

Value group of simple field extension: Are these value groups equal?

Suppose that a field extension $L/K$ is finite, K is a Henselian field with a exponential valuation $v$, and $w$ is an extension of $v$ to $L$. (If it is necessary, we can also assume that $L/K$ is ...
0
votes
0answers
14 views

Simple Question about Valuations and Krull Rings

I have what is a very simple question about essential valuations for Krull rings. Before getting to the question, I'll give a sketch of the situation. Any help would be much appreciated. Suppose that ...
0
votes
1answer
48 views

Extension of DVRs and uniformizers

Let $(A,\mathfrak m)$ be a regular, Noetherian, local, domain of dimension $2$ and consider a prime ideal $\mathfrak p\subset A$ of height $1$. Moreover let $\hat{A}$ be the completion of $A$ with ...
1
vote
0answers
18 views

Valuation fields and linear disjointness

I've got a question about linear disjointness of extension fields. Here I refer to the definition that Wikipedia gives: Two algebras $A$, $B$ over a field $k$ inside some field extension $\Omega$ ...
0
votes
1answer
18 views

Are the sets of valuations uniquely determined [on hold]

Let $\mathcal{V_K}$ be the set of valuations of a number field $K$. Can it be that $\mathcal{V_L}=\mathcal{V_K}$, for the set of valuations of another number field $L$ non-isomorphic to $K$?
0
votes
0answers
19 views

$\sqrt[n]{x}$ as a power series in a complete field with absolute value.

Let K be a field complete with respect to a non-archimedean absolute value $| \cdot|:K^*\rightarrow \mathbb{R}$ and $char(K)=0$ or $char(K)\nmid n$. I want to prove that if $|x|\leq 1$ (i,e $x$ is in ...
1
vote
1answer
37 views

Isomorphism of completions of number fields

Let $K$ and $L$ be number fields, $v$ a place of $K$ (either archimedean or non-archimedean) and $\theta:K\simeq L$ a ring isomorphism. I am trying to show that $\theta$ induces an isomorphism ...
3
votes
1answer
444 views

An application of the Weak Approximation theorem - Artin-Whaples Approximation Theorem

Let us recall the weak approximation theorem from Valuation theory in Algebraic Number Theory. Let $K$ be a field, and let $|\cdot|_{1},\dots, |\cdot|_n$ be pairwise non-equivalent nontrivial ...
5
votes
1answer
153 views

Determine all discrete valuations on $\mathbb{C}(x)$.

To clarify, for a field $K$, a valuation $v$ on $K$ is a map $v:K^{\times}\to G$ for $G$ an ordered group (written additively) such that for any $a,b\in K^{\times}$: 1) $v(ab)=v(a)+v(b)$; 2) ...
0
votes
1answer
33 views

The Archimedean place of $\mathbb{Q}$

Is there a way to extract the Archimedean absolute value of $\mathbb{Q}$ from its field structure in a way analogous to its non-archimedean absolute values? Here is some context: Given a valuation ...
0
votes
0answers
23 views

Does a place $v$ of a number field $K$ ramify in $L/K$ iff $v\mid d_L$?

Let $L/K$ be an extension of number fields and $v$ be a prime (an equivalence class of valuations) of $K$ and $d_L$ the absolute discriminant of $L$. I know that a rational prime $p$ in $\mathbb Q$ ...
2
votes
1answer
361 views

Valuation rings

What's the spectrum of a valuation ring? How to describe morphisms from it to a scheme? Is it enough to set the image of generic point and of a maximal ideal and correspondent map of local rings?
2
votes
1answer
19 views

non-Archimedean Valued field extension of $\mathbb{R}$

Let $K$ be a field with non-Archimedean valuation $|\cdot|$. Suppose that $\mathbb{R}\subset K$. Question 1: Is the restriction of $|\cdot|$ to $\mathbb{R}$ the trivial valuation? I guess that the ...
2
votes
0answers
30 views

Proving that $\mathbb{Q}_p$ is not formally real.

I've been looking for a concrete proof without results. The only hint that I have found says: 1) $\mathbb{Q}_2$ contains a square root of $-7$. 2) $\mathbb{Q}_p$ ($p>2$) contains a square root of ...
-1
votes
1answer
53 views

Valuation rings of dim 1,2

I am studying valuation rings (beginner). I have read some theorems but still don't know a nontrivial example. Please give me an example which is not field. Also Need help to have examples of Krull ...
2
votes
1answer
26 views

Does every non-Archimedean absolute value satisfy the ultrametric inequality?

The Archimedean property occurs in various areas of mathematics; for instance it is defined for ordered groups, ordered fields, partially ordered vector spaces and normed fields. In each of these ...
0
votes
0answers
35 views

$p$-adic field with infinite residue field. [duplicate]

I am reading J M Fontaine's book where on page 7 the following definition is made: A local field($K$) is a complete discrete valuation field whose reside field($k$) is a perfect field of ...
0
votes
1answer
46 views

Majoration of the $p$-adic valuation of a factorial.

Let $p$ be a prime number. In order to prove a result on $p$-adic interpolation of iterates, I need to show the following: Lemma. Let $m$ be an integer, one has: ...
2
votes
0answers
36 views

Principal local Artinian ring is a quotient of discrete valuation ring.

I have seen here the following statement: Let $R$ be a principal local Artinian ring. Clearly the quotient of a discrete valuation ring is such a ring; conversely it is not difficult to show that ...
3
votes
1answer
33 views

Is the result true when the valuation is trivial and $\dim(X)=n$?

Here I proved the following result: Proposition: Let $(K,|\cdot|)$ be a valued field with non-trivial valuation and let $X$ be a vector space over $(K,|\cdot|)$. Two norms $p_1,p_2$ on $X$ are ...
1
vote
1answer
31 views

Is the result true when the valuation is trivial?

Here I proved the following result: Proposition: Let $(K,|\cdot|)$ be a valued field with non-trivial valuation and let $X$ be a vector space over $(K,|\cdot|)$. Two norms $p_1,p_2$ on $X$ are ...
0
votes
1answer
53 views

Is true the following statement?

Consider $0<s<1$. Is true the following statement? $(\forall 0<\delta<1)(\exists \gamma>0)$ such that $(\forall x>0)(\exists n\in\mathbb{Z})$ such that $\gamma<s^nx<\delta. ...
0
votes
2answers
62 views

Discrete valuation ring and finitely generated submodules

Let $R$ be a Discrete Valuation Ring with fraction field $K$. Will this imply any proper $R$-submodule of $K$ is finitely generated (hence a fractional ideal)? I know $K$ is not finitely ...
0
votes
1answer
31 views

Discrete Valuation Rings with property that $v(x+y)=\min(v(x),v(y))$ [duplicate]

Let $R$ be a discrete valuation ring on a fraction field $K$ of $R$. If $x,y\in K$ such that $v(x)< v(y)$, prove that $v(x+y)=\min(v(x),v(y))$. By definition of discrete valuation, we have that ...
1
vote
1answer
34 views

Valuation ring and integral closure

Let $A$ be a one-dimension local noetherian domain and suppose that we know that $K=\text{Frac}(A)$ is a complete discrete valuation field (valuations for me are surjective). Let's denote with ...
2
votes
1answer
26 views

Local subring of a DVR and finite residue field extension

Let $\mathcal O$ be a complete DVR with fraction field $K$, maximal ideal $\mathfrak p$ and residue field $\widetilde K=\mathcal O/\mathfrak p$. Now consider a subring $A\subset \mathcal O$ with the ...
1
vote
1answer
52 views

Localization of a valuation ring at a prime is abstractly isomorphic to the original ring

Let $A$ be an integral domain with quotient field $K$. We say that $A$ is a valuation ring if for any $0 \neq x \in K$, $x$ or $\frac{1}{x}$ lies in $A$. Then $A$ is necessarily a local ring. If ...
0
votes
1answer
34 views

Can a valuation ring properly contains another valuation ring with the same field of fractions?

Definition of valuation ring: Let $R$ be an integral domain with $frac(R)=K$. Then $R$ is said to be a valuation ring if (1) $R \neq K$ (2) $\forall x \in K, x \in R$ or $x^{-1} \in R$. Now my ...
2
votes
1answer
44 views

The torsion subgroup of principal units $U^{(1)}$

$\newcommand{\U}{U^{(1)}}$ $\newcommand{\O}{\mathcal{O}}$ $\newcommand{\p}{\mathfrak{p}}$ $\DeclareMathOperator{\char}{char}$ $\newcommand{\N}{\mathbb{N}}$ I have a question about the torsion ...
0
votes
1answer
48 views

Extension of scalars and completions

Suppose that $A$ is a Noetherian regular (added later) local domain. Moreover $\widehat A$ is $\mathfrak m$-adic completion $\widehat A$ w.r.t the maximal ideal and $K$ is the fraction field of $A$. ...
2
votes
0answers
38 views

Absolute values on $\mathbb{R}$ [closed]

Two related questions: a) is there some characterization of all the absolute values on $\mathbb{R}$? (similar to Ostrowski for $\mathbb{Q}$) b) are there non Archimedean absolute values on ...
0
votes
1answer
43 views

Is $D=\left \{ x\in\mathbb{R}: \left | x \right |\leq 1 \right \}$ a discrete valuation ring?

A discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. Is $D=\left \{ x\in\mathbb{R}: \left | x \right |\leq 1 \right \}$ a discrete valuation ...
2
votes
1answer
48 views

There are no archimedean function fields

Definition: a field $L\supseteq K$ is called a function field over $K$ if the extension $L|K$ is finitely generated, regular and of transcendence degree $1$. In the book "Topics in the theory of ...
4
votes
0answers
46 views

extension of valuation rings

Assume $L$ is a finite Galois extension of $K$, and $R$ is a valuation ring on $K$ with maximal ideal $\mathfrak{m}$. Is it true that there are only finitely many valuation rings $(O,\mathcal{M})$ ...
2
votes
1answer
58 views

If $v$ is a valuation and $v(x)<v(y)$ then $v(x+y)=v(y)$. [duplicate]

I was studying from some book and I came across something I haven't been able to justify. Let's suppose se have a field $K$ and an ordered group $G$ (with multiplicative notation) with an extra ...
1
vote
0answers
31 views

extension of a valuation on a function field

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 ...
0
votes
0answers
31 views

Units in discrete valuation ring

Let $k$ be field and $K=k(x)$ the field of rational function functions over $k$. Suppose that $p(x)\in k[x]$ is an irreducible polynomial. Define a map $v:K\to\mathbb Z$ by $v(p^r\frac{m}{n})=r$ where ...
2
votes
1answer
29 views

A question concerning archimedean places on number fields

Let $L$ be a number field and $G=Aut(L\mid \mathbb{Q})$. Let $|\cdot|$ be the usual archimedean value on $\mathbb{C}$ and, by abuse of notation, its restriction to $\mathbb{Q}$. Then the archimedean ...
2
votes
1answer
34 views

Valuation ring between $F$ and $\mathcal O_F$

Let $(F,v)$ be a complete discrete valuation field (normalized) with ring of integers $\mathcal O_F$. Why cannot exist a valuation ring $A$ of $F$ such that $F\supsetneq A\supsetneq\mathcal O_F$ ...
0
votes
1answer
37 views

Does every non-archimedean absolute value on field take value in $\mathbb{Q}$

Let $K$ be a field, a non-archimedean absolute value is defined to be a map $K\to \mathbb{R}$ satisfying $|x|=0\Rightarrow x=0$, $|x|\cdot|y|=|xy|$ and $|x+y|\leq\max(|x|,|y|)$. Is there an example ...
2
votes
1answer
33 views

Restricted valuation on subring of a DVR

Let $\mathcal O$ be a normalized discrete valuation ring. This means that there is a surjective valuation: $$v:\text{Frac}\,(\mathcal O)\rightarrow\mathbb Z\cup \left\{\infty\right\}.$$ Now consider ...
2
votes
2answers
44 views

Extending $2$-adic valuation to a finite extension of $\mathbb Q$.

Say we want to extend the $2$-adic valuation of $\mathbb Q$ to $\mathbb Q[x]/x^3-3$. First, we determine the possible valuations of $x$. Since $x^3=3$ and since $3$ has $2$-adic valuation $0$, $x$ ...
1
vote
2answers
61 views

Function field on a non-singular algebraic curve as the field of meromorphic functions

Let $k$ be an algebraically closed field and let $X$ be a non-singular algebraic projective curve over $k$. Very often, when most books present the function field $k(X)$, they say that "it is the ...
0
votes
1answer
43 views

All local subrings of $\mathbb Q$ are valuation rings of $\mathbb Q$?

Let $R\subseteq\mathbb{Q}$ be a local subring with maximal ideal $\mathfrak{m}$. Is $R$ a valuation ring of $\mathbb Q$? $R$ is a valuation ring iff its ideals are linearly ordered. But I'm stuck ...
3
votes
1answer
57 views

Ramification of primes in number fields in terms of valuations

Let $L/K$ be a number field extension. Is there a definition of ramification of primes(both infinite and finite) in terms of the valuations induced? This answer gives a definition for infinite ...
3
votes
0answers
36 views

How to write the Adeles over $\mathbb{Q}(i)$?

What do these adeles look like over $\mathbb{Q}(i)$? These are simply fractions where the numerator and denominator are allowed to have the number $i = \sqrt{-1}$. The elements look like: $$ ...
0
votes
0answers
59 views

how can I prove this statement in local field theory?

Let $\mathbb{K}$ be a fixed local field. Then there is an integer $q=p^r$, where p is a fixed prime element of $\mathbb{K}$ and r is a positive integer [edit] such that for each $x\in\mathbb{K}, ...
3
votes
1answer
137 views

A construction in the proof of “any local ring is dominated by a DVR”

Let $O$ be a noetherian local domain with maximal ideal $m$. I want to prove: for a suitable choice of generators $x_1,\dots,x_n$ of $m$, the ideal $(x_1)$ in $O'=O[x_2/x_1,\dots,x_n/x_1]$ is not ...