Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
250 views

A question on distinguished pairs

I am reading Alexandru, Popescu, and Zaharescu, "On the Closed Subfields of $\mathbb{C}_p$" (see https://tinyurl.com/kknmzbyx). The authors give the following definition: Let $\alpha, \beta \...
user avatar
0 votes
1 answer
170 views

Integral closure in the algebraic closure of $p$-adic numbers

Let $p$ be a prime number and let $\overline{\mathbb{Q}}_p$ be a fixed algebraic closure of the $p$-adic numbers $\mathbb{Q}_p$. It is well know that the ring of integers of $\mathbb{Q}_p$ is the ring ...
Mario's user avatar
  • 367
2 votes
0 answers
92 views

Is the extension field by zeros of $x^{2m}-p^{2(m-1)}=0$ over $\mathbb Q_p$ totally ramified?

Let $m \geq 2$ be an integer. Consider the polynomial $f(x)=x^{2m}-p^{2(m-1)} \in \mathbb{Q}_p[x]$. I want to study the field extension by the zeros of $f(x)$ over $\mathbb{Q}_p$. What is the degree ...
MAS's user avatar
  • 930
4 votes
1 answer
367 views

Conductor and local Kronecker–Weber theorem

Given an abelian extension $K$ of $\mathbb{Q}$, the global Kronecker–Weber theorem tells us that there exist a positive integer $N$ and a primitive $N$-th root of unity $\zeta_N$ such that $K\subseteq ...
Yijun Yuan's user avatar
1 vote
1 answer
150 views

Quadratic unramified extension of a p-adic field

Let $F$ be a non-archimedean local field of residual characteristic $p\neq 2$, and let $E=F[\sqrt{\epsilon}]$ be the quadractic unramified extension, here $\epsilon$ is a non-square element of $\...
Ekta's user avatar
  • 63
1 vote
1 answer
381 views

Unramified extension over $ \mathbb{Q}_{p} $

Let $\mathbb{Q}_{p}$ be a p-adic field such that $ p \neq 2 $. We knew that for every $ n=2m $ there exists exactly one unramified extension $ K $ of $ \mathbb{Q}_{p} $ of degree $ n $, obtained by ...
Sky's user avatar
  • 923
7 votes
1 answer
424 views

Non-existence of "higher" Artin map

So rank $1$ local Langlands is special in as that it is given by the Artin map $$\text{GL}_1(K)\to G_K^{ab},$$ whereas in the higher rank (to the best of my knowledge) there doesn't exist a map $$\...
curious math guy's user avatar
2 votes
1 answer
174 views

Finding a certain value of $\Gamma_p$

Let $\Gamma_p : \mathbb{Z}_p \to \mathbb{Z}_p^{\times}$ be the $p$-adic gamma function. I thought that I had successfully calculated $\Gamma_p(1 - 1/4)$, but sage is telling me I'm wrong (this is ...
matt stokes's user avatar
2 votes
0 answers
257 views

Is the absolute Galois group $\text{Gal}(\bar K/K)$ isomorphic to $\text{Gal}(K(S)/K)$?

Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, maximal ideal $\mathfrak{m}$ and uniformizer $\pi$. Let $\bar K$ be the algebraic closure of $K$ and $\bar{\...
MAS's user avatar
  • 930
3 votes
1 answer
529 views

Algebraic numbers in all $\mathbb Q_p$ [duplicate]

Do there exist non-rational algebraic numbers that belong to $\mathbb Q_p$ for all prime $p$? If yes, can one characterize them? I spent several days for the first question, and I found nothing. The ...
joaopa's user avatar
  • 3,998
0 votes
0 answers
202 views

When is $u \circ v=v \circ u$ for $p$-adic power series $u$ and $v$ in two power series rings $A$ and $B$ respectively?

Let $K \supset \mathbb{Q}_p$ be the $p$-adic field with ring of integers $O_K$ and maximal ideal $m_K$. Let $\bar K$ be the algebraic closure and $\bar{m}_K$ be the integral closure of $m_K$ with ...
MAS's user avatar
  • 930
10 votes
3 answers
1k views

What's the number of solutions of the quadratic equation $x_1^2+\dots+x_m^2=0$ over finite ring $\mathbb{Z}/p^n$?

I want to calculate the number of solutions to the quadratic equation $$x_1^2+\dots+x_m^2=0$$ where $m$ is odd (a given number) and $x_i\in\mathbb{Z}/p^n$ for a given prime number $p$ and a given ...
user avatar
4 votes
0 answers
144 views

Does a countably generated $\mathbb{Q}$-algebra inject into some $p$-adic field?

Let $K$ be a subfield of $\mathbb{C}$. If $K$ is finitely generated over $\mathbb{Q}$, then $K$ injects into $\mathbb{Q}_p$ for some $p$. Assume that $K$ is countably generated, i.e., $K= \...
Pan Da's user avatar
  • 71
8 votes
0 answers
245 views

Relation between valuation of p-adic regulator of totally real field and its finite p-unramified abelian extensions

For each prime number $p$ and number field $k$, there exists at least one extension $k_{\infty}/k$ with Galois group isomorphic to $\mathbb{Z}_p$, the cyclotomic $\mathbb{Z}_p$-extension. If $k_p/k$ ...
Barry's user avatar
  • 1,521
1 vote
1 answer
190 views

Hilbert symbols vanishing

Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^...
Pablo's user avatar
  • 11.3k
5 votes
1 answer
670 views

Linear independence of p-adic logarithms (analog of Baker's theorem)

We have the following theorem of Baker: Theorem 1. Let $\alpha_1, \ldots, \alpha_m \in \mathbb{C}$ be algebraic numbers $\neq 0, 1$ such that $\log \alpha_1, \ldots, \log \alpha_m$ are linearly ...
user avatar
22 votes
1 answer
3k views

What is the $p$-adic Langlands conjecture for $\mathbf{GL}_1$?

In the Boston conference on Fermat's Last Theorem (Summer 1995), Barry Mazur said (around 15m into the video) about class field theory that If you are a number-theorist and you want to cheer ...
Chandan Singh Dalawat's user avatar
3 votes
1 answer
341 views

Dihedral extension of 2-adic number field

Sorry if the question is too long and maybe elementary. I am reading a paper by Hirotada Naito on "Dihedral extensions of degree 8 over the rational p-adic fields". To generate dihedral extension $K(\...
msdataei's user avatar
  • 135
5 votes
0 answers
758 views

maximal abelian extension of quadratic extension of $\mathbb Q_p$

I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
Dirk's user avatar
  • 51
7 votes
0 answers
487 views

The character of a separable degree-$p$ extension of a local field of residual characteristic $p$ ?

Let $p$ be a prime number and $F$ a finite extension of ${\mathbf Q}_p$ or of ${\mathbf F}_p((t))$. I'm going to define a natural map from the set ${\mathcal S}_p(F)$ of degree-$p$ separable ...
Chandan Singh Dalawat's user avatar