Class field theory is a major branch of algebraic number theory that studies abelian extensions of global and local fields.

learn more… | top users | synonyms

0
votes
0answers
5 views

Hilbert 2-Class Field definition

what is a Hilbert 2- class field? As a Hilbert Class field of a number field K is the maximal unramified abelian extension, of K,
1
vote
0answers
22 views

Quartic extension

Consider primes represented by $x^2 + ny^2$. If $m$ and $n$ are two positive integers such that the Legendre symbol $\left(\frac{-m}{n}\right) = 1$, then does there exist a cyclic quartic unramified ...
8
votes
1answer
66 views

Primes of the form $x^2+n\cdot y^2$, given $n$?

In an attempt to get to grips with algebra for a course I intend to follow, I was working through a bunch of exercise sheets. A series of questions got me wondering: Given an integer $n$, is there ...
2
votes
0answers
27 views

What are the restrictions in the ramification behavior of a Galois extension of number fields imposed by the Galois group of the extension?

Studying class field theory, I have come across the following Proposition: Proposition. Let $K/E$ be an extension of number fields so that there is no nontrivial unramified subextension $F/E$ with ...
6
votes
1answer
116 views

Ramification in $\mathbb Q(i,\sqrt[4]\pi)/\mathbb Q(i)$

Let $\pi\ne1+i$ be a prime element of $\mathbb Z[i]$. I am interested in the ramification in the extension $\mathbb Q(i,\sqrt[4]\pi)/\mathbb Q(i)$, especially over $(1+i)$. I've tried for instance to ...
15
votes
3answers
178 views

Given $d \equiv 5 \pmod {10}$, prove $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$ never has unique factorization

With the exception of $d = 5$, which gives $\mathbb{Z}[\phi]$, of course (as was explained to me in another question). I'm not concerned about $d$ negative here, though that might provide a clue I ...
4
votes
1answer
61 views

$\mathbb{F}_p[T, 1/T]$ is discrete in $\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T))$, adeles.

Let $p$ be a prime number. How do I show that $\mathbb{F}_p[T, 1/T]$ is discrete in $\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T))$?
1
vote
1answer
14 views

Reference request: principalization theorem

Let $K$ be a number field, and $\mathbb{I}_K$ the group of ideles. The Hilbert class field $M$ of $K$ is the class field of the open subgroup $H = K^{\ast} \mathbb{I}_K^{S_{\infty}}$, where ...
3
votes
0answers
46 views

Norm map and extension of idele class groups

It's a classic fact in class field theory that for an extension of number fields $L/K$, we have the norm map on idele class groups $\mathcal{N}:C_L\to C_K$ descended from the map on ideles given by ...
34
votes
0answers
630 views

Serge Lang Never Explains Anything Round II

I'm reading the second edition of Lang, Algebraic Number Theory, page 221. I quote: Let $F$ be a local field, i.e. the completion of a number field at an absolute value. Let $L$ be an abelian ...
2
votes
1answer
20 views

Which properties determine the uniqueness of the global Artin map?

Let $L/K$ be a finite abelian extension of number fields. There is a well defined homomorphism $\Phi: J_K \rightarrow G(L/K)$, called the Artin map, with the following properties (among many): (i) ...
3
votes
1answer
34 views

idelic ray class group modulo $\mathfrak{m}$

I'm studying the idele group $\mathcal{I}$ for a number field $K$. My definition of the ray class group attached to a modulus $\mathfrak{m}$ is $$\mathcal{C}_{\mathfrak{m}}= ...
1
vote
1answer
58 views

Proof of direct sum of ideal class group of Neukirch book

In books Neukirch, Algebraic Number Theory. I don't understand. 1) Why there exists $a$ such that $a\equiv c \ \mod \mathfrak p $ and $a\in ca_{\mathfrak p}^{-1}a_{\mathfrak q}$ for $\mathfrak ...
2
votes
1answer
41 views

Class field theory of imaginary quadratic fields

Can someone give me a good source that deals in detail with the Class Field Theory of imaginary quadratic fields? The sources on CFT that I have at hand only deal with CFT in general and then proceed ...
6
votes
2answers
91 views

$L$-function, easiest way to see the following sum?

What is the easiest way to see that$$\sum_{(m, n) \in \mathbb{Z}^2 \setminus \{0, 0\}} (m^2 + n^2)^{-s} = 4\zeta(s)L(s, \chi)?$$Here $\chi$ is the homomorphism $(\mathbb{Z}/4\mathbb{Z})^\times \to ...
10
votes
3answers
154 views

Quadratic field, $O_K/\mathfrak{p} = \mathbb{F}_p$, $O_K/pO_K$ is a finite field of order $p^2$.

Let $K$ be a quadratic field $\mathbb{Q}(\sqrt{m})$ where $m$ is a square free integer, and let $p$ be a prime number which does not divide $2m$. Where can I find a reference to a proof of the ...
0
votes
2answers
70 views

What does Lang mean here by “the usual criterion”?

Let $K$ be a number field containing the $n$th roots of unity, $S$ a finite set of places containing all the archimedean ones and all those which divide $n$, $K_S$ the group of $S$-units of $K$, and ...
0
votes
1answer
10 views

$K_S$ modulo $K_S^n$, where $K_S$ is the group of $S$-units

Let $K$ be a field containing the $n$th roots of unity, $S$ a finite set of places containing all the archimedean ones, and $K_S$ the group of $S$-units, i.e. those $x \in K^{\ast}$ which are units at ...
7
votes
1answer
90 views

On the solvability of the negative Pell equation $x^2-2py^2 = -1$

Given prime $p=8n+1$. Then $$x^2-2py^2 = -1\tag1$$ is not solvable for, $$p_1= 17, 73, 89, 97, 193, 233, 241, 257, 281, 337, 353, 401, 433, 449, 577, 593,601, 617, 641,\dots$$ but is solvable ...
0
votes
0answers
42 views

The class number and the inverse Galois problem

Let $G$ be finite group and $k$ a field. Inverse Galois theory asks if there is a galois extension $L/k$ such that $Gal(L/k) \simeq G$. Lets assume $k=\mathbb{Q}$ and let $\mathcal{h}_L$ denote the ...
2
votes
1answer
34 views

Blichfeldt-Minkowski Lemma

I'm trying to understand a proof of the following result Theorem: Let $K$ be a number field, and $|| \cdot ||$ the idelic norm (product of the normalized absolute values at each place). There ...
4
votes
1answer
43 views

Show an intersection of Galois groups is trivial

Let $L/K$ be a finite abelian extension of number fields, and for an extension of places $w/v$ consider the local Artin map $\Phi: K_v^{\ast} \rightarrow Gal(L_w/K_v)$, defined via the global Artin ...
6
votes
0answers
210 views

Relatives of Heegner numbers?

It is well known that Euler's lucky numbers are related to the Heegner numbers, where \begin{align} &n^2+n+p\\ \end{align} gives primes for $n=0,\dots,p-2$ if and only if its discriminant ...
2
votes
1answer
56 views

Difference between the Artin symbol and the Frobenius element?

The title says it all really! I have been reading 'Primes of the form $x^2+ny^2$', by Cox, and in chapter 5 he introduces the Artin Symbol, which for a field extension, $L/K$ is the unique element, ...
2
votes
1answer
39 views

Hasse invariant of quaternions over $\mathbb{Q}_p$

I am trying to compute the Hasse invariant of the quaternion algebra over $\mathbb{Q}_p$. I denote this algebra by $H$, and I'm assuming $p\equiv 3\pmod{4}$. So, $\mathbb{Q}_p(i)$ is an unramified ...
1
vote
0answers
28 views

Maximal p-subgroup of inertia group.

We know from the theory that if $\mathbb{L}$ is a finite Galois extension of the local field $\mathbb{K}$ then the ramification group $G_1$ is a $p$-group where $p$ is the characteristic of the ...
3
votes
0answers
42 views

Can we find the 18 imaginary quadratic ffields with class number 2 algorithmically?

I am reading about the class number problem. There is a well known complete list of imaginary quadratic fields $\mathbb{Q}(\sqrt{-d})$ with class number $1$. I found a paper by Stark that says ...
4
votes
1answer
38 views

Which properties determine the uniqueness of the local Artin map?

Any abelian extension of local fields can be realized as the completion of a global abelian extension. So let $L/K$ be abelian, $w/v$ an extension of places. From the global Artin map on ideles we ...
2
votes
0answers
22 views

Why is $m \infty$ the conductor of $K = \mathbb{Q}(\zeta_m)/\mathbb{Q}$?

Wouldn't this be saying that for all $p$ dividing $m$, $1 + p^{\operatorname{ord}_p(m)} \mathbb{Z}_p$ is contained in the group of local norms $N_{\mathfrak p/p}(K_{\mathfrak p})$, where $\mathfrak p$ ...
1
vote
1answer
89 views

Serge Lang ANT Theorem 7 p. 148

Let $\mathfrak c, \mathfrak f$ be admissible cycles for an extension of number fields $K/k$ with $\mathfrak f$ dividing $\mathfrak c$. If you're not familiar with the terminology, a cycle $\mathfrak ...
2
votes
0answers
27 views

Reference request: Cohomology of Elliptic Curves

Is it true that the group $$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$ is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility? ...
12
votes
1answer
119 views

$CL(O_S) \cong \mathbb{Z}/3\mathbb{Z}$.

Let $F = \mathbb{Q}(T)$ and let $X$ be the set of all places of $F$, and let $S = \{w\} \subset X$ where $w$ is the place of $F$ corresponding to the maximal ideal $(T^3 - 2)$ of $\mathbb{Q}[T]$. Let ...
1
vote
1answer
65 views

Artin reciprocity theorem for Hilbert class field

In Cox's book "Primes of the form $x^2 + ny^2 $..." gives the following statement of Artin reciprocity theorem, for the Hilbert class field (i.e. maximal unramified Abelian extension) Artin's ...
1
vote
1answer
26 views

Why is $Gal(\Omega/k)$ a topological group under the Krull topology?

For an infinite Galois extension $\Omega/k$ the Krull topology on $G:=Gal(\Omega/k)$ is defined by taking as a basis for the neighbourhood of an element $\sigma \in G$ all cosets of the form $\sigma ...
2
votes
1answer
35 views

How does $ \text{Gal}(K / k) $ act on ideles?

Let $K/k$ be cyclic of degree $N$, Galois group $G$. I want to define some action of $G$ on the group of ideles $J_K$ which commutes with multiplication. A natural way to do this is to take each ...
5
votes
1answer
135 views

How does class field theory help us deduce the splitting of nonprincipal prime ideals?

I had a general question about the significance of global class field theory. One of the goals, as I understand, is to answer the following question: Given $L/K$ abelian, $g$ a divisor of $[L : ...
2
votes
0answers
37 views

norm map and local class field theory

Let $K$ be a local field, say a finite extension of $\mathbb{Q}_p$ (which is the purpose of my interest). Let $L$ be an unramified extension of $K$. Local class field theory asserts that there ...
2
votes
1answer
48 views

prime ideal of $\mathcal O_K$ splits completely in tower of Galois extensions

The following exercise is taken from D.A.Cox's book "Primes of the form $x^2 +ny^2...$" He uses this in order to prove some intermediate steps before the proof of the main theorem in chapter 5, which ...
0
votes
1answer
39 views

definition of Artin map

Let $L/K$ be an unramified Abelian extension. Then the Artin symbol $ \left ( (L/K) / \mathfrak p \right) $ is defined for all prime ideals $\mathfrak p$ of $\mathcal O_K$. (because in an Abelian ...
-1
votes
1answer
81 views

What does it mean for a prime ideal to divide a natural number m?

In Cassels and Frohlich (Algebraic Number Theory) Exercise 1, one is asked to derive some properties of the power residue symbol. It begins by stating the following: Let $m$ be a fixed natural ...
2
votes
1answer
46 views

Finite dimensional central division algebras over a finite extension of $\mathbb{F}_q(T)$

Over number fields, finite dimensional central division algebras are always cyclic algebras. So the construction of cyclic algebras is a nice recipe to create algebras, which exhausts all finite ...
1
vote
1answer
25 views

Existence of Conductor for Cyclotomic Extension (pg 200, Serge Lang A.N.T.)

Let $\zeta$ be a primitive $m$th root of unity, $m \not\equiv 2 \pmod 4$, and $K = \mathbb{Q}(\zeta)$. For $p$ prime and unramified i.e. $(m,p) = 1$, I know that the Artin symbol $(p, K/\mathbb{Q})$ ...
3
votes
1answer
120 views

The maximal unramified extension of a local field may not be complete

While reading my notes of a course in local class field theory, I arrived to a remark where it is said that given a complete discrete valuation field $K$, its maximal unramified extension $$K^{ur}= ...
1
vote
0answers
63 views

Unramified cubic extension of imaginary quadratic fields

Let $ K=\mathbb Q(\sqrt{-m})$ be an imaginary quadratic field with class number $ 6.$ Then by Hilbert class field theory and Galois correspondence it is known that $ K$ has a unramified cubic ...
0
votes
0answers
38 views

definition of the L-function $L(f, \chi, s): \mathbb{A}_K \rightarrow \mathbb{C}$, what is smoothness and what is $f$?

To summarize the question I'm going to ask: for those who have studied L-functions and class field theory, I am confused about the definitions of some things and haven't found a good reference for ...
1
vote
1answer
51 views

Discriminant of a Polynomial over a Local Field

I am trying to prove the local Kronecker-Weber theorem for tamely ramified abelian extensions $L|\mathbb{Q}_p$. At some point in the proof I need to show that $\mathbb{Q}_p(u^{1/e})$ is unramified ...
2
votes
1answer
48 views

Defining the Artin Map on the Ideles

Let $L/K$ be abelian. There is a natural way to define the Artin reciprocity map on the ideles using the notion of an admissible cycle. I don't want to go into the details of what that is right now, ...
1
vote
0answers
74 views

Algebraic proof of 2nd inequality of Global class field.

s there any 'explicit' proof, preferably without the use of cohomology, of second inequality of global field? By second inequality I mean $[C_K:N_{L/K}C_L]\leq [L:K]$ where $C_K$ is idele class group ...
2
votes
2answers
67 views

Where have I gone wrong in calculating norm residue symbol.

It is well known that the reciprocity map in local class field theory gives reciprocity map in Global class field theory. Namely, if $(\cdot,L_\beta/K_P):K_P^\times \rightarrow G(L_\beta/K_P)$ is the ...
3
votes
1answer
50 views

Are the discriminant of abelian cubic extensions of $\Bbb Q$ equal to the square of their conductor?

Here the conductor $N$ of an abelian extension $\Bbb Q \subset K$ is the smallest positive integer $N$ such that $K \subset \Bbb Q(\zeta_N)$. Thanks to class field theory there is an equivalence ...