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
  • 775
2 votes
0 answers
132 views

For a quadratic extension $E/K$, condition on a character $\chi:E^\times/E^{\times 2} \to C_2$ to give a $C_4$-extension $L/K$

Let $K$ be a finite extension of $\mathbb{Q}_2$, and let $E/K$ be a quadratic extension. By local class field theory, quadratic extensions $L/E$ correspond to quadratic characters $\chi:E^\times \to ...
Sebastian Monnet's user avatar
6 votes
0 answers
510 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
305 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
3 votes
0 answers
128 views

Galois cohomology with coefficients in the integers of the Lubin-Tate extension

Let $K$ be a $p$-adic local field, and $L$ the Lubin-Tate extension obtained from $K$ by attaching roots of some Lubin-Tate formal $\mathcal{O}_{K}$-module with $Gal(L/K) \simeq \mathcal{O}_{K}^{\...
Piotr Pstrągowski's user avatar
5 votes
1 answer
438 views

What are the jumps in the ramification filtration of the absolute Galois group of a local field?

Let $k$ be a (complete) discretely valued field and $\ell$ a Galois extension of $k$, possibly infinite. The Galois group $\Gamma=\text{Gal}(\ell/k)$ of $\ell$ over $k$ admits a descreasing, $\mathbb ...
David Schwein's user avatar
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,531
1 vote
0 answers
164 views

When is the extension $L(S)/L$ Galois and totally ramified?

Let $L$ be a finite extension of the $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ with uniformizer $\pi$. Let us consider the polynomial ring $L[x_1,x_2,\dotsc,x_l]$ in $l$-...
MAS's user avatar
  • 930
6 votes
1 answer
422 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
1 vote
0 answers
91 views

Why does norm map the $\sigma$-conjugacy classes to the conjugacy classes?

Let $E/F$ be a cyclic extension of order $\ell$ (not assumed prime) of fields of characteristic $0$, and $\Sigma$ its Galois group; we denote by $\sigma$ a generator of $\Sigma$. We denote by $G(E), G(...
M masa's user avatar
  • 479
6 votes
0 answers
150 views

$SL_2(\mathbb{Z}_p)$ extension of a local field

Let $G$ be an arbitrary open group of $SL_2(\mathbb{Z}_p)$ and $K$ be a finite extension of $\mathbb{Q}_p$. Can we construct a Galois extension field $E$ of $K$ such that $\text{Gal}(E/K)\cong G$? ...
user avatar
3 votes
0 answers
135 views

Conjugation action of $Gal(\bar{s}/s)$ on the tame ramification group

There is a statement in SGA 7-1 Exposé 1 (P. Deligne, Résumé des premiers exposés de A. Grothendieck, pdf of SGA7-1), (0.3.1): $S$ is a Henselian trait (i.e. the spectrum of a henselian discrete ...
user545's user avatar
  • 83
5 votes
0 answers
250 views

Explicit construction of abelian wild inertial extensions of maximal tamely ramified extension of $\mathbb{Q}_p$?

In Iwasawa's paper On Galois groups of local fields, he proves that if $V$ is the maximal tamely ramified extension of $\mathbb{Q}_p$, with Galois group $\Gamma$ over the base, then its abelianized ...
xir's user avatar
  • 2,044
2 votes
1 answer
494 views

Characters of the kernel of the norm map of an extension of local fields

Let $E$ be a quadratic extension of a local nonarchimedean field $F$ of characteristic zero (and odd residual characteristic). Let $\sigma$ be a generator of the Galois group $G = Gal(E/F)$. I'm ...
Jerrod Smith's user avatar
6 votes
1 answer
230 views

Is the intersection of ramification groups in upper numbering of a $p$-adic local field trivial?

Let $K$ be a $p$-adic local field, for example $\mathbb{Q}_p$. Let $G$ be the absolute Galois group of $K$, and let $G^v$($v\ge -1$) be the ramification groups in upper numbering, then is it true ...
Bonbon's user avatar
  • 806
8 votes
0 answers
313 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
345 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
2 votes
0 answers
179 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
6 votes
2 answers
815 views

Why is $K_{\upsilon}|K$ separable for a global field $K$?

I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question. Let $K$ be a global field and $\upsilon$ a prime of $K$. Then ...
Frida's user avatar
  • 111
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
6 votes
2 answers
797 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
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
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
6 votes
3 answers
1k views

Finite extension of local fields

Can a (higher) local field have uncountably many finite (seperable) extensions?
Pablo's user avatar
  • 11.3k
22 votes
5 answers
2k views

Local inverse Galois problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedean field $K$ has solvable (in fact supersolvable [edit: no!]) Galois group $G$. One sees this by using the ramification ...
user38495's user avatar
  • 1,062
1 vote
1 answer
323 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
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