Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
93 views

Existence of maximal totally ramified subextension

Suppose $K/\mathbb Q_p$ is a finite extension, with ramification index $e$ and inertia index $f$. I want to ask whether there exists a subextension $L/\mathbb Q_p$ totally ramified of degree $e$?
Richard's user avatar
  • 785
6 votes
0 answers
513 views

Extensions of p-adic number fields

Let $p$ be a prime number and $\mathbb{Q}_p$ be the $p-$adic rational field. Let $E/\mathbb{Q}_p$ be a fixed finite extension. On this site, I define a finite extension $F/E$ to be "good" if ...
Eric's user avatar
  • 71
1 vote
1 answer
306 views

Quadratic extension of local field

Let $F$ be a nonarchimedean local field of characteristic zero, and $E$ an extension of $F$ with $[E:F]=2^n$ for some $n$. Is it always possible to find a quadratic extension $M$ of $F$ such that $F\...
Windi's user avatar
  • 833
0 votes
0 answers
78 views

Local field such that the value group of $K^\text{perf}$ ( perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n) \Bbb{Z}$

Let $K$ be a local field of positive characteristic. I'm looking for a $K$ which satisfies the following condition. Value group of $K^\text{perf}$ (perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n)...
Duality's user avatar
  • 1,541
6 votes
1 answer
424 views

Galois module theory: from global to local

Let $L/\mathbb{Q}$ be a finite Galois extension with Galois group $G$. It is well known that the ring of integers $\mathcal{O}_L$ is free over its associated order $\mathfrak{A}_{L/\mathbb{Q}}=\{x\in \...
Lios's user avatar
  • 213
22 votes
3 answers
2k views

Totally ramified subextension in a finite extension of $\mathbf{Q}_p$

Let $K$ be a finite extension of $\mathbf{Q}_p$. Let $F_d$ be the unramified extension of $\mathbf{Q}_p$ of degree $d$. I would like to know whether there exists some $d \geq 1$ and some $L \subset K \...
Laurent Berger's user avatar
13 votes
4 answers
2k views

Which groups are Galois over some p-adic field?

Suppose I have some finite $p$-group $G$, or a little extension of it. How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...
Pablo's user avatar
  • 11.3k
6 votes
2 answers
798 views

Are the abelian absolute Galois groups of these local fields isomorphic?

For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$. Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) \...
Pablo's user avatar
  • 11.3k
8 votes
0 answers
317 views

Finding a cyclic cubic extension of a field

Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...
thierry stulemeijer's user avatar
3 votes
0 answers
347 views

Question about Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves

I am trying to understand an argument of Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves. I am stuck and I would appreciate any explanations. Let $E$ be an elliptic curve over $K$, ...
Johnny T.'s user avatar
  • 3,625
6 votes
2 answers
1k views

Finding the inertia group

Set $h(x) = x^5+x^4+x^3+x^2+x-1$, let $L$ be the splitting field of $h$ over $\mathbb{Q}$, and let $p$ be a prime of $L$ lying over $2$. What is the isomorphism class of the inertia group $I_p$, ...
Pablo's user avatar
  • 11.3k
2 votes
0 answers
181 views

Reference request: Regarding the image of inertia group being a subgroup of Aut($\widetilde{E}$)

Let $E$ be an elliptic curve over $\mathbb{Q}_p$ with potential good reduction. I was told that if $F$ is the smallest Galois extension over $\mathbb{Q}_p$ such that $E$ has good reduction then the ...
Johnny T.'s user avatar
  • 3,625
7 votes
2 answers
3k views

Image of norm map for local field

Let $F$ be a finite extension of $Q_2$ (2-adic field) or $F_2((x))$ (function field). Let $E/F$ be a separable extension of degree $2$. What is the image of the norm map $N_{E/F}$? In particular - ...
Pooja Singla's user avatar
1 vote
1 answer
325 views

Maximal separable extension of $\mathbb F_q((t))$

Let $K=\mathbb F_q((t))$. I want to prove that $K^{sep}$ is composite of $K^{sep}(p)$ and $K^{sep}(not \ p)$, where $K^{sep}(p)$ is maximal Galois extension of $K$ of exponent $p$, $K^{sep}(not \ p)$ ...
user51074's user avatar
10 votes
0 answers
1k views

Automorphisms of local fields

It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...
Robert Kucharczyk's user avatar