All Questions
19 questions
22
votes
1
answer
2k
views
Are class numbers encoded in the absolute Galois group of ${\mathbb Q}$?
The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), ...
- 5,363
15
votes
5
answers
4k
views
Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$?
Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$? I am going to be on the road soon, so pleas don't be offended if I don't respond quickly to a comment.
- 203
13
votes
1
answer
1k
views
Is there an elementary proof that there are infinitely many primes that are *not* completely split in an abelian extension?
I'm currently in the middle of teaching the adelic algebraic proofs of global class field theory. One of the intermediate lemmas that one shows is the following:
Lemma: if L/K is an abelian ...
- 4,279
11
votes
1
answer
804
views
Is there an analog of class field theory over an arbitrary infinite field of algebraic numbers?
Recently, I found a paper by Schilling http://www.jstor.org/pss/2371426, which mentions that for certain infinite field of algebraic numbers there is an analog of class field theory. By infinite field ...
- 2,824
7
votes
1
answer
301
views
$p$-torsion of class groups
Let $p$ be a fixed odd prime and $\ell$ be another prime such that $\ell \equiv 1 \pmod{p}$.
Consider the number field $\mathbb{Q}(\zeta_p)$ and its extension $\mathbb{Q}(\zeta_p, \zeta_\ell)$. Note ...
- 1,283
6
votes
1
answer
407
views
Unramified non-abelian extension and Galois cohomology
Is there an example of a finite Galois extension $E/F$ of number fields, such that $G=\mathrm{Gal}(E/F)$ is non-abelian and the order of the cohomology group $H^1(G,U_E)$ is relatively prime to class ...
- 437
6
votes
0
answers
738
views
What are the fastest ways to calculate class number of number fields?
Given a number field $K$, which approaches help us to calculate the class number $h(K)$ of $K$?
I am aware that the question is broad but any argument would be helpful.
Some basic approaches I know:...
- 161
4
votes
1
answer
329
views
Fields in which $ -1 $ can't be written as sum of two square elements
We say a field $F$ has the property $*$ if the equation $x^2 + y^2=-1$ has no solution in $F$. For an example if $F$ is a subfield of real numbers then $F$ satisfies $*$. On the other hand if $ F $ is ...
- 923
4
votes
2
answers
476
views
On class numbers $h(-d)$ and the diophantine equation $x^2+dy^2 = 2^{2+h(-d)}$
Given fundamental discriminant $d \equiv -1 \bmod 8$ such that the quadratic imaginary number field $\mathbb{Q}(\sqrt{-d})$ has odd class number $h(-d)$. Is it true that one can always solve the ...
- 12.6k
4
votes
1
answer
400
views
Dihedral extension of $\mathbb Q$ with small discriminant
Let $K$ be a fixed quadratic number field, say $K=\mathbb Q(\sqrt 5)$. For any integer $n \geq 3,$ I would like to build a number field $D_n$ such that $D_n/\mathbb Q$ is Galois, with Galois group ...
- 1,322
3
votes
1
answer
605
views
The Genus field and Hilbert class field
Is there an example of a number field $K$ for which the genus field of $K$ is contained strictly in the Hilbert class field of $K$?
- 437
3
votes
2
answers
500
views
The kernel of the global class field theory homomorphism
Let $K$ be a finite extension of $\mathbb{Q}$. Then there is a surjective homomorphism $\theta:C_K\to G_K^{ab}$ from the idele class group to the abelianization of the absolute Galois group of $K$ (...
user145520
2
votes
1
answer
285
views
Number of imaginary quadratic field with its ideal class group has $\Bbb{Z}/2\Bbb{Z}$ as 2 part
Let $K=\Bbb{Q}(\sqrt{D})$($D$ is a square free negative integer) be a quadratic number field.
Class number (order of ideal class group $Cl_K$ of $K$) is $1$ if only if $D=-2,-3,-7,-11,-19,-43,-67,-163$...
- 1,541
2
votes
1
answer
175
views
Relation between the genus number and the ambiguous class number
It is well known that for $K/F$ a finite "cyclic" extension of number fields, we have $g_{K/F}=a_{K/F}$, where $g_{K/F}$ denotes the relative genus number, and $a_{K/F}$ denotes the ...
- 437
2
votes
1
answer
599
views
A type of principal ideal theorem of class field theory for ramified primes
Let $K$ be a number field and $\mathcal{O}_K$ be its ring of integers. Also let $p$ be a prime number, $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_K$ and $\zeta_{m}$ be a primitive mth root of ...
- 333
2
votes
0
answers
327
views
Definition of Euler system of cyclotomic units
I am not sure about my understanding of Euler system of cyclotomic unit. This is what I have learnt:
Let $F=\mathbb{Q}(\mu_m)$.
Let $\mathcal{I}(m)$ = {positive square free integers divisible only by ...
- 99
1
vote
1
answer
1k
views
Neukirch's class field axiom and cohomology of units for unramified extension
This question may be too detailed but perhaps somebody knows the answer: Neukirch proofs in his algebraic number theory book in Chapter IV, Proposition 6.2, that his class field axiom implies that the ...
- 5,243
0
votes
1
answer
192
views
English translation of Hasse's "Arithmetische Theorie der kubischen Zahlkorper auf klassenkorpertheoretischer Grundlage"
I want to read through Hasse's paper about cubic number fields: Arithmetische Theorie der kubischen Zahlkorper auf klassenkorpertheoretischer Grundlage, Mathematische Zeitschrift 31 (1930) pages 565-...
- 577
-1
votes
1
answer
180
views
Set of all primes $p$ that split in $\mathbb{Q}\left(\sqrt{-k}\right)$
Let $k$ be a squarefree positive integer. We know that a prime $p$ splits in $K=\mathbb{Q}(\sqrt{-k})$ if and only if $-k$ is a quadratic residue mod $p$.
My question is: can we explicitly determine ...
