# Questions tagged [number-fields]

The number-fields tag has no usage guidance.

249
questions

4
votes

1
answer

154
views

### Third roots of unity and norm element

Let $K = \mathbb{Q}(\zeta_3)$ where $\zeta_3$ is a third root of unity, let $F = \mathbb{Q}(\sqrt[3]{\ell})$ where $\ell \equiv 1 \pmod{9}$ is a prime and set $L$ to be the Galois closure of $F$, i.e.,...

3
votes

0
answers

50
views

### On the complexity of global fields isomorphism

Let $L$ and $K$ be isomorphic global fields (i.e. either function fields of curves over a finite field, or number fields). What is the complexity of finding an isomorphism between them? Is there a ...

2
votes

0
answers

118
views

### Imaginary quadratic fields with prime class number

Let $K$ be an imaginary quadratic field, with class number equal to an odd prime, say $h_K = p$.
In the proof Proposition 2.4 of this paper, Fukuda and Komatsu write,
"Since $h_K = p$, there ...

1
vote

1
answer

199
views

### How to compute the asymptotic constant for the count of $S_3$-sextic number fields?

I am currently reading this paper counting $S_3$-sextic fields
Manjul Bhargava and Melanie Matchett Wood, The density of discriminants of $S_3$-sextic number fields, Proc. Amer. Math. Soc. 136 (2008),...

0
votes

0
answers

182
views

### Distinguishing between prime factors of cubic discriminant and polynomial discriminant

Let $f(x)\in\mathbb{Q}[x]$ be an irrreducible cubic with root $\alpha$. Let $K=\mathbb{Q}(\alpha)$. There may be primes dividing $\text{disc}(f)$ that don't divide $\operatorname{disc}(K)$, so an ...

0
votes

0
answers

103
views

### Non-isomorphic cubic fields with a given discriminant

For a cubic field $K$ with defining polynomial $P(x)=x^3 + \frac{39}{25}x^2 + \frac{22}{25}x +\frac{4}{25}$ Magma calculates the discriminant $D=-3340$.
...

6
votes

0
answers

500
views

### Genus of a number field

I'm reading Algebraic Number Theory by Neukirch. In chapter 3, he defines the genus of a number field as
$$ g = \log \frac{ |\mu (K)| \sqrt{|d_K|}}{2^{r} (2\pi)^{s}} $$ where $|\mu(K)|$ is its ...

0
votes

0
answers

50
views

### The decomposition forms of primes in $A_5$-fields

Let $K$ be a number field of degree $5$ whose Galois closure (over $\mathbb{Q}$) has the Galois group $A_5$, the alternating group of degree five. Is there any result concerning the decomposition ...

1
vote

0
answers

76
views

### Inflation-restrction sequence for maximal $S$-ramified extension

Let $K$ be a number field. Let $G_K$ be an absolute Galois group of $K$. Let $M$ be a $G_K$-module and $L/K$ be a finite extension.
There is a inflation-restriction exact sequence,
$0\to H^1(Gak(L/K), ...

1
vote

1
answer

96
views

### Existence of a symmetric matrix satisfying certain irreducible conditions

Let $K$ be a field such that $ \mathrm{char}(K) \neq 2 $. Let $ p(x) $ be an arbitrary irreducible polynomial over $K$ of degree $n$. Using the rational canonical form, we can always construct an $ n ...

3
votes

1
answer

193
views

### Number fields with prescriped prime decomposition

Pick your favorite prime $p$, as well as three positive integers $e,f,g$.
For each such choice, does there exist at least one Galois number field $K/\mathbf{Q}$ of degree $n=efg$ in which $p$ has ...

10
votes

1
answer

398
views

### Questions about ray class groups

Let $K$ be an imaginary quadratic number field (so there are no real embeddings) with ring of integers $\mathcal{O}_K$ . Let $w$ be the number of units in $K$ and $h$ be the class number of $K$. Let $\...

7
votes

1
answer

424
views

### A cyclic Galois extension over $ \mathbb{Q}(\omega)$

It is known that $\mathbb{Q}(\sqrt{-1})$ does not live in a cyclic Galois extension $L$ of $\mathbb{Q}$ of degree $4$. For example, the image of complex conjugation in $\mathrm{Gal}(L/\mathbb{Q}) = \...

12
votes

0
answers

422
views

### Is there a mistake in Zagier's "Hyperbolic manifolds and special values of Dedekind zeta-functions"?

I am having troubles with Don Zagier's "Hyperbolic manifolds and special values of Dedekind zeta-functions", available at this link, and I think there might be a mistake. In particular the ...

0
votes

1
answer

143
views

### Existence of linear disjointness between an algebraic number field and $p$-cyclotomic field over $ \mathbb{Q}$

Suppose $ K $ be an algebraic number field and $ n $ be an even integer. Is it possible to find atleast one $ p $ such that $ p\equiv 1( \text{mod}~ n)$ and $ \mathbb{Q}(\eta_p) $ is linearly disjoint ...

3
votes

1
answer

778
views

### irreducibility of the polynomial $ x^4 +1 $

Let $K$ be a field. We consider the polynomial $f(x) = x^4 + 1$. It is known that $f(x)$ is irreducible over $\mathbb{Q}$ but reducible over any finite field. Thus $ f(x)$ is reducible over any field $...

2
votes

1
answer

256
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$...

4
votes

1
answer

298
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 ...

0
votes

1
answer

137
views

### Not containing $ 2^{i}$-th primitive roots of unity in cyclic galois extension of number field

Suppose $K$ is an algebraic number field. We want to determine whether, for all even $n$, there always exists a cyclic Galois extension $L$ of degree $n$ over $K$ such that the intermediate field $K_2$...

1
vote

1
answer

168
views

### Norm of $2^{i}$-th primitive root

Let $ K $ be finite degree extension of $ \mathbb{Q} $ such that $ -1 $ is not a square in $ K $. Let $ L = \frac{K[x]}{\langle x^2 +1\rangle}$. Thus every element of $ L $ is of the form $ a + ib $ ...

6
votes

2
answers

510
views

### Splitting fields of degree 4 irreducible polynomials containing a fixed quadratic extension

Let $f_1(x)\in \mathbb{Z}[x]$ be a fixed irreducible degree 4 polynomial such that its splitting field $F_1$ is an $S_4$-Galois extension over $\mathbb{Q}$ and the discriminant of $F_1$ is of the form ...

2
votes

0
answers

117
views

### $K(S,2)=\{b \in K^{\times}/{K^{\times}}^2\mid v(b)≡0 \bmod2, \forall v \notin S\}$ and Selmer group

This question is essentially related to the theory of elliptic curves (Selmer group), but this question itself is just a field theoretic one.
To calculate the Selmer group of given elliptic curve, we ...

2
votes

1
answer

266
views

### On Elkies' $\text{9T32}$ nonic and a shared property with j-function formulas

I. First Set
Before going to Elkies' nonic, we start with something a bit simpler. There is a list of j-function formulas in this MSE post. For example, for prime levels $p = 5,7,13,$ we have,
$$j=\...

1
vote

0
answers

152
views

### The map from the decomposition group to the Galois group of the residue fields

$\DeclareMathOperator\Gal{Gal}$Let $L/K$ be a Galois field extension. Let $L$ be a field and $K$ be a number field. Let $B$ be a valuation subring of $L$ and let $A$ be the preimage of $B$ in $K$ (i.e ...

1
vote

1
answer

137
views

### The map from the ring of integers to the residue field of a valuation subring is surjective

Let $L$ be a number field and let ${\mathcal{O}}_L$ be its ring of integers. Let $B$ be a valuation subring of $L$ and let $k_B$ be the residue field of $B$. Then the map from ${\mathcal{O}}_L$ to $...

1
vote

0
answers

38
views

### Natural Density of Norms of ideals in a given ideal class

Some time ago, Landau proved the following formula for general number fields:
$I_K(x)=U_Kx+O(x^{\delta})$, where $\delta=1-2/(1+[K:\mathbb{Q}])$, where $I_K(x)$ is the number of ideals with norm below ...

3
votes

3
answers

570
views

### Irreducibility of polynomials over some number fields

Recently, a problem in my research has appeared and now I need to construct some algebraic numbers with special properties (related to its degree and some other fields extensions).
Now, in order to ...

5
votes

1
answer

246
views

### Relation between $G_{\mathbb{Q}_p}$ for different primes

Let $G_{\mathbb{Q}_p}$ denote the absolute Galois group of the $p$-adic field $\mathbb{Q}_{p}$. Also, their structure as abstract groups is completely known.
It is well known that this group embeds ...

3
votes

0
answers

122
views

### Embedding number fields in fields with class number prime to $p$

Let $p$ be a fixed prime.
Question:
For any number field $K$, is there always a finite extension $L$ of $K$ of $p$-power order such that the class number of $L$ is prime to $p$?
Moreover, for any ...

4
votes

1
answer

506
views

### Proving $\zeta_K\left(\frac12\right)\neq 0 \implies \zeta_K'\left(\frac12\right)\neq0?$

For an algebraic number field $K$, let $\zeta_K(s)$ be the Dedekind zeta function associated to $K$, and let $\zeta_K'(s)$ be its derivative.
I believe that the following statement is true:
$$\zeta_K\...

1
vote

0
answers

74
views

### Liouville numbers with some "special" convergents

Recall that a real number $\ell$ is called a Liouville number, if there exists an infinite sequence of rational numbers $(p_n/q_n)_n$ for which
$$
0<\left|\ell-\frac{p_n}{q_n}\right|<\dfrac{1}{...

4
votes

1
answer

235
views

### Shafarevich's conjecture on Galois groups over fields ramified at finitely many places

Let $K$ be a number field i.e. a finite extension of $\mathbb{Q}$, $\overline{K}$ a fixed separable closure of $K$, and $G_K:=\mathrm{Gal}(\overline{K}/K)$ the absolute Galois group of $K$. Let $S$ be ...

0
votes

0
answers

118
views

### Is there a number field $K$ such that $K^\times / \mathbb{Q}^\times$ is finitely generated? [duplicate]

I think I have a simple proof that the only fields with finitely generated multiplicative groups are finite. What about if we take $K$ a number field and mod out $\mathbb{Q}^\times$ from its ...

0
votes

1
answer

450
views

### Class number of imaginary quadratic fields

Let $n$ be a positive squarefree integer, and let $h_n$ denote the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-n})$. Then, is it true that $h_n$ is odd if and only if $n$ is a ...

1
vote

1
answer

99
views

### Size of sets associated to Gaussian integers

Given a non-zero Gaussian integer $z$, we define the set $\mathcal S(z)$
containing all solutions
of $ab+cd=z$ satisfying $\min(\vert a\vert,\vert b\vert)>\max(\vert c\vert,\vert d\vert)$ with $a,b,...

-1
votes

1
answer

173
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 ...

9
votes

1
answer

722
views

### Is a complex algebraic set with a Zariski dense subset of algebraic points already defined over the algebraic numbers?

This is a cross-post! For the original post on SE (9 upvotes, no answer) see:
https://math.stackexchange.com/questions/4475853/is-a-complex-algebraic-set-with-a-zariski-dense-subset-of-algebraic-...

5
votes

2
answers

304
views

### Additivity of Elliptic Curve Rank over Compositum of Fields

Assume that BSD holds for number fields. Let $E/\mathbf{Q}$ be an elliptic curve. For simplicity, let's assume it has Mordell-Weil rank zero. Let $F_1/\mathbf{Q}$ and $F_2/\mathbf{Q}$ be finite, ...

6
votes

1
answer

549
views

### Algorithm for computing whether a cubic field is monogenic?

I am interested in existing algorithms to compute whether a given non-cyclic, non-pure cubic extension $K/\mathbb{Q}$ is monogenic or not, and if so, to give me a defining polynomial for the integral ...

9
votes

1
answer

591
views

### Square root in number field

I'm trying implement an algorithm that, for an element $b$ of a number field $\mathbb{Q}(\alpha)$, if it is a square in $\mathbb{Q}(\alpha)$ (i.e., $\exists x\in\mathbb{Q}(\alpha):x^2=b$), computes ...

6
votes

2
answers

313
views

### Algebraic numbers which prescribed degree which does not belong to some fields

In my research it would be great if the following result is valid. In what follows, $\overline{\mathbb{Q}}$, $\overline{\mathbb{Q}}_n$ and $\overline{\mathbb{Q}}_{<n}$ denotes the set of algebraic ...

11
votes

1
answer

540
views

### Sign and coefficients of fundamental unit of quadratic field

Is there any way to determine whether the fundamental unit of a quadratic field has negative or positive norm, except by actually computing the unit to all of its (many) digits? And, similarly, ...

5
votes

2
answers

148
views

### Dihedral extension unramified at primes dividing order of group?

Consider dihedral Galois extensions $L/\mathbb{Q}$ of degree $n$ (and we know they exist thanks to Shafarevich), can we show there always exists an extension $L/\mathbb{Q}$ unramified at $p$, for all $...

1
vote

0
answers

80
views

### The localization map for the Mordell-Weil group of elliptic curves over finite Galois extensions

Let $L/K$ be a finite Galois extensions of number fields and $E/K$ be an elliptic curve. Denote by $\mathcal{F}$ the localization map
\begin{equation}
\mathcal{F}: H^1(G,E(L)) \rightarrow \bigoplus_{v ...

1
vote

0
answers

83
views

### How to describe the automorphisms of $\mathbb{Q}(\theta)$ that fix $\mathbb{Q}(\sqrt{-m})$

Suppose $m > 0$ is a square free integer and $m \equiv 1 $mod $4$. Then the $K = \mathbb{Q}(\sqrt{-m})$ is a subfield of $L = \mathbb{Q}(\theta)$, where $\theta$ is a primitive $4m$-th root of ...

2
votes

0
answers

103
views

### Number fields with given discriminant

In the special case of number fields that are the splitting fields of irreducible polynomials of degree 5 or 6 with Symmetric Galois group (so degree 120 or 720 over Q), is there a good upper bound on ...

3
votes

0
answers

126
views

### Congruence of elements implies congruence of norms for central simple algebras

I was reading Eichler's "Allgemeine Kongruenzklasseneinteilungen [...]", Crelle 1938 (one of the main historical references for strong approximation theorems), and I cannot understand one of ...

4
votes

1
answer

250
views

### Order of $37$-Sylow subgroup of ideal class group of $K_{37} = \Bbb Q(\mu_{37^{n}})$ is known to be $37^n$

I want to examine nontrivial examples of what we call Iwasawa class formula,
$c(n)=\mu p^n + \lambda n + \nu$, where $\lambda, \mu \in \mathbf N$ and $\nu \in \mathbf Z$ are parameters depending only ...

4
votes

1
answer

410
views

### Common Galois extension over $\mathbb Q $

Suppose $L'$ is a fixed cyclic galois extension over $\mathbb {Q} $ of degree $4$.Now we know that there exists also a degree $k$ extension $L$ over $L'$ but the extension $(L/\mathbb{Q})$ may not ...

3
votes

0
answers

181
views

### Decomposition of primes in cyclotomic extensions and their ramifications

Let $p$ be a prime. Suppose $L$ is a degree $p$ Galois extension over a number field $K$. Suppose $p$ splits both in $K$ and $L$.
So there will be $[K:\mathbb{Q}]$ primes of $K$ over $p$. Call them $...