I’m trying to find every discrete valuation on the field of rational numbers. If $a\in \mathbb Q$, we can write $a=p^j\frac{x}{y}$, where $p$ is a prime number and $p\nmid x$ and $p\nmid y$. We can define the p-adic valuation $v_p(a)=j$. I found easy to prove this is indeed a discrete valuation. I would like to […]

Let $A$ be a Dedekind domain. Let $P$ be a non-zero prime ideal of $A$. Let $\alpha \in A$. Let $k$ be a non-negative integer. If $\alpha \in P^k$ and $\alpha\notin P^{k+1}$, we write $v_P(\alpha) = k$. How can we prove the following Proposition. Let $A$ be a Dedekind domain. Let $P_1,\dots, P_n$ be distinct […]

Let $x \in \mathbb{Q}, \, x \neq 0$, such that $x=p^r \frac{a}{b}, \quad a,b, r \in \mathbb{Z}, \quad p \nmid a, \quad p\nmid b$. Let $v_p(x):=r$ and $v_p(0):= \infty$. Also, $$\mathcal O_p= \left\{ x \in \mathbb{Q} : v_p(x) \geq 0\right\}= \left\{\frac{a}{b} : p \nmid b\right\} \quad \& \quad m_p= \left\{ x \in \mathbb{Q} : v_p(x) […]

Let $K$ be a number field with an Archimedean absolute value $|\cdot |$ and let $\bar{K}$ be the completion of $K$ wrt this valuation. Then $\bar{K}\cong \mathbb R $ or $\mathbb C$. My question is: Does this imply that the Archimedean places of $K$ correspond bijectively to the real embeddings $K\hookrightarrow \mathbb R$ and complex […]

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 equivalent (i.e., they induce the same topology) iff there are constants $c_1$ and $c_2$ such that $c_1p_1\leq p_2\leq c_2p_1$ And here Eric Wofsey showed, […]

There appear to be two senses of the qualifier “Archimedean” for fields. One is for ordered fields, and one is for “valued fields” (fields with an absolute value function defined). In the first case, the field is said to be “Archimedean” iff there exist no elements $x$ for which $nx < 1$ for every natural […]

My question is the following: Are there algebraic norms on the fields $\mathbb{R}, \mathbf{Q_p}$ ”other” than the absolute value, respectively $|\cdot|_p$? Now phrasing more precisely: If generally $F$ is a field, an algebraic norm is a map $|\cdot| : K \to [0, \infty)$ such that 1) $|x| = 0 \iff x = 0$ 2) $|xy| […]

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 $A$ is a valuation ring, then any ring $B$ between $A$ and $K$ is also […]

Consider $\mathbb Q_p^{\text{ur}}$ the maximal unramified extension of the p-adic numbers. Suppose that on $\mathbb Q_p$ we have the usual absolute value that extends $|\frac{a}{b}|_p=\frac{1}{p^{v_p(a)-v_p(b)}}$ to $\mathbb Q_p$. Now it is known that $|\cdot|_p$ extends uniquely to $\mathbb Q_p^{\text{ur}}$. Is this absolute value discrete w.r.t. $\mathbb Q_p^{\text{ur}}$ ? The relevant definitions can be found here […]

I am reading Neukirch’s Algebraic Number Theory. On page 184, Chapter 3, Neukirch defines the ramification index of infinite primes as follows: For a finite extension $L/K$ of number fields, and an infinite prime $\mathfrak{B}$ lying over $\mathfrak{p}$, define the inertia degree resp. ramification index by $e_{\mathfrak{B}/\mathfrak{p}}=1$. But I am confused: in the case where […]

Intereting Posts

The Aleph numbers and infinity in calculus.
Four fractions of certain factorials give another factorial
How to prove $\sin(1/x)$ is not uniformly continuous
An identity involving the Bessel function of the first kind $J_0$
Sequence satisfies weak law of large numbers but doesn't satisfy strong law of large numbers
Why is abstract algebra so important?
arithmetic mean of a sequence converges
Finding a primitive root of a prime number
Nilradical and Jacobson's radical.
What is the topology of the hyperreal line?
Block matrix pseudoinverse: symmetry of the inverse of a symmetric matrix
A property of a separable space
Linear combinations of sequences of uniformly integrable functions
Covering space of a non-orientable surface
Asymptotic (divergent) series