# Questions tagged [local-field]

For questions about local field, which is a special type of field that is a locally compact topological field with respect to a non-discrete topology.

396 questions
Filter by
Sorted by
Tagged with
1 vote
35 views

• 577
29 views

87 views

### Is the "order of the decomposition group of an infinite prime" equal to $1$? $|D_{\mathfrak{P}}|=1$? (About infinite primes and decomposition groups)

Sorry for this very easy question. I am reading Janusz's book "Algebraic Number Fields". I am in section 2 of the fifth chapter of Janusz's book "Algebraic Number Fields", exactly ...
74 views

### Does $\mathbb{Q}_2(\sqrt{-1},\sqrt{10})$ contain $\mathbb{Q}_2(\sqrt{5})$?

My suspicion is yes, because I think $\mathbb{Q}_2(\sqrt{-1},\sqrt{10})$ is not totally ramified over $\mathbb{Q}_2$, so it should contain the unique unramified extension, $\mathbb{Q}_2(\sqrt{5})$. If ...
• 323
85 views

• 3,293
106 views

### Can $\Bbb{Z}$ be regarded as a $\Bbb {Z}_p$-module? [closed]

Can $\Bbb{Z}$ be regarded as a $\Bbb {Z}_p$-module, where $\mathbb{Z}_p$ is the set of $p$-adic integers? I know $\Bbb{Z}$ cannot be $\Bbb {Z}_p$-algebra, so I cannot make $\Bbb{Z}$ into $\Bbb {Z}_p$...
51 views

### example of $L/\Bbb{Q}_p$ such that there is no prime element $π$ of ring of integers $L$ such that $p＝π^e$.

Let $L/\Bbb{Q}_p$ be ramification index $e$ extension. Let $π$ be prime element of $L$. Then, $p＝π^eu$ ($u$: unit element of ring of integers of $L$)。 But I have met the remark that we can choose ...
• 424
27 views

• 1,247
37 views

### Question on integration on a local field

Let $F$ be a non-Archimedean local field, and $\mu_F$ a Haar measure on $F$. The space $C^{\infty}_c(F)$ of locally constant functions of compact support is spanned by characteristic functions of the ...
• 485
13 views

### Local Fields book with lots of exercises [duplicate]

I really like Marcus's 'Number Fields' because it has so many exercises. I'm trying to find a similar book about Local Fields, but all the books I've looked at (Neukirch, Cassels, Guillot, Serre) have ...
• 3,293
1 vote
65 views

### Ramified extension of local field which is not Galois

Unramified extension of local field is automatically galois because there is bijection between unramified extension of local field and extension of residue finite field, that is galois. But, what ...
• 424
58 views

### Lemma 8.1 of "The Local Langlands Conjecture for GL(2)"

Let $F$ be a non-Archimedean local field, and $N$ the subgroup of $G=GL_2(F)$ of the form $\begin{pmatrix} 1 & x \\ 0 & 1 \end{pmatrix}$ with $x \in F$. Let $(\pi,V)$ be a smooth ...
• 485
1 vote
56 views

### How does ramification groups help to study ramifications of local field extension?

I am studying higher ramification groups of local field extension. In Wikipedia it is mentioned that higher ramification groups gives information about ramification of extension. Suppose $L/K$ be a ...
• 9,600
56 views

### Do ramification groups contain non-central abelian normal subgroups?

I am studying the proof of integrality of the conductors of Galois representations from these notes, and I have hit a roadblock in a step of the proof of Proposition 3.1.40 (page 57). The setting is ...
• 27.5k
97 views

### Explicit Local Fundamental Class

Let $L/K$ be a Galois extension of local fields of degree $n:=[L:K]<\infty$ with Galois group $G:=\operatorname{Gal}(L/K)$. In short, my question is as follows. Is there an explicit computation of ...
290 views

### Is the power of $2$ in the Euclidean norm related to the fact that the algebraic closure of the reals is $2$-dimensional?

Consider any local field $K$, endowed with its topological field structure. We define the function $| \cdot | : K \to \mathbb{R}_{\ge 0}$ as $$|x| = \frac{\mu(xS)}{\mu(S)},$$ where $\mu$ is any Haar ...
• 4,646
1 vote
45 views

### Galois action on a uniformizer of a non-archimedean local field

Suppose that $k$ is a non-archimedean local field. Let $K/k$ be a tamely, totally ramified degree-$3$ extension of $k$. If $\varpi$ is a uniformizer of $K$, I want to understand the relationship ...
25 views

### Convergence of a sequence in a non-Archimdean valuation for a field.

Admittedly, this is a homework question and so please just hint me where to go with this question if it is ok, thank you! So suppose $k$ is a field and $|.|$ is a non-Archimedean valuation. In other ...
• 3,286
86 views

### Definition of $\mathfrak{p}$-adic field in Cassels

I am trying to understand the definition of a $\mathfrak{p}$-adic field given in Cassels' Local Fields (Cambridge University Press, 1986, page 144). Here is what he says: Definition 1.1. Let the ...
• 521
75 views

### An infinite family of Artin-Schreier polynomials which all split in $\mathbf{F}_q(\!(\theta)\!)$

Let $\mathbf{F}_q$ be a finite field with $q$ elements and let $K$ denote the local function field $\mathbf{F}_q(\!(\theta)\!)$. Let $R$ be its valuation ring $\mathbf{F}_q[\![\theta]\!]$. Let $u$ be ...
• 1,350
135 views

### Calculating the ramification and inertia degree of $\mathbb{Q}_2(\sqrt{3}, \sqrt{7})$ and $\mathbb{Q}_2(\sqrt{3}, \sqrt{2})$ over $\mathbb{Q}_2$

My question 1 is how to calculate the ramification index and inertia degree of $K_1 := \mathbb{Q}_2(\sqrt{3}, \sqrt{7})$ and $K_2 := \mathbb{Q}_2(\sqrt{3}, \sqrt{2})$ over $\mathbb{Q}_2$. My attempts ...
• 1,421
125 views

### Are rings of power series over a local field complete?

Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $D$ be some disk $D = \{ x\in \overline{K} \mid |x| < c < 1\}$. Is the set of power series in $K[[T]]$ which converge on $D$ and are ...
48 views

### Using Hensel lemma to find roots in valuation rings

Let $K$ be a p-adic field with absolute Galois group $\varGamma$. Let $O^{ur}_K$ be the ring of integers of $K^{ur}$. Then, for $n$ prime to $p$, the $\varGamma$-module $\mu_{n}$ is unramified. Hensel ...
• 909
29 views

### Let $K$ be a local field and $K'$ be it's finite extension. Then, why ${K'}^{nr}/K^{nr}$ is finite extension?

Let $K$ be a local field and $K'$ be it's finite extension. Then, why ${K'}^{nr}/K^{nr}$ is finite extension ? Unramified extension of local field corresponds to extension of residue field. So, I can ...
114 views

### Definition of discriminant of local field

Let $K$ be a local field, and $L$ be an finite extension of $K$. Then, $L$ is also local field. Then, what is the definition of discriminant of extension L/K ? Discriminant of extension of $\mathbb Q$ ...
70 views

### Inertia group $I_K$ is isomorphic to $Gal(\bar K /K^{nr})$ as a group

Let $K$ be a local field. Then, elements of $Gal(\bar K /K)$ which induces identity map on residue field forms group, and the group is called inertia group of $Gal(\bar K /K)$, and written like $I_K$....
• 2,761
33 views

### type of reduction does not change under unramified extension

Let $K$ be a local field, and $E/K$ be an elliptic curve over $K$. Let $K'/K$ be unramified extension, then , the reduction type of $E/K'$ is the same as $E/K$. My proof. Let $E$ be minimal ...
42 views

### In what kind of situation, ring of integers of $\mathbb{Q}_p(α)$ is $\mathbb{Z}_p[α]$?

In what kind of situation, ring of integers of $\mathbb{Q}_p(α)$ is $\mathbb{Z}_p[α]$? For example, if $α$ is primitive root of unity, then it holds. But it does not hold in general, for example, ...
• 2,761
57 views

### Ring of integers of $\mathbb{Q}_p(α)$ [duplicate]

Is ring of integers of $\mathbb{Q}_p(α)$ is $\mathbb{Z}_p[α]$ ? If $α$ is primitive root of unity, dependentable reference reads that the titled statement holds. But in general, does the statement ...
• 2,761
21 views

### Definition of inertia group $I_v$

Inertia group of $Gal(\bar K/K)$ is defined as set of elements of $Gal(\bar K/K)$ that act trivially on the residue field $\bar k$. We often denote inertia group of $Gal(\bar K/K)$ by $I_v$. But ...
22 views

### Example of unramified set at $v$

Let $Σ$ be a set on which $Gal(\overline{K}/K)$ acts. We say that $Σ$ is unratified at $v$ if the action on $I_v$(the set of elements of $Gal(\overline{K}/K)$. For example, let $E$ be elliptic curve ...
• 2,761
1 vote
55 views

• 2,761
36 views

### Sufficient condition of $K'/K$ is ramified extension

Let $K$ be a local field and $K'$ be it's finite extension. And there exists $a∈K'$ such that $v(a)$ is not integer. Then, ramification index $e$ of $K'/K$ is at least 2, in other words, $K'/K$ is ...
• 2,761