Questions tagged [number-fields]
The number-fields tag has no usage guidance.
248
questions
9
votes
1
answer
718
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-...
9
votes
1
answer
1k
views
Go I Know Not Whither and Fetch I Know Not What
Next day: apparently my original question is harder, by far, than the other bits. So: it is a finite check, I was able to confirm by computer that, if the polynomial below satisfies $$ f(a,b,c,d) \...
9
votes
1
answer
574
views
Is it true that this ideal must be principal? (proof verification)
Let $L/K$ be a (abelian, Galois) quadratic extension of number fields with $\text{Gal}(L/K)$ generated by $\sigma$ and $\mathfrak{p} = \alpha\mathcal{O}_K$ a principal prime ideal of $\mathcal{O}_K$. ...
9
votes
1
answer
497
views
class number of prime degree field with prime conductor
Let $K$ be an finite abelian extension of $\mathbf{Q}$ conductor $p$, where $p$ is an odd prime. That is, $K \subset \mathbf{Q}(\mu_ p)$, the $p$-th cyclotomic field. Let $h_K$ be the class number of $...
9
votes
1
answer
348
views
Standard conjecture on u-invariants?
This is well beyond my expertise, but I just learned some of the history behind
$u$-invariants of fields $F$,
where ($u(F)+1$)-variable quadratic equations always have a non-trivial solution,
but $u(F)...
9
votes
1
answer
371
views
Galois embedding question for dihedral groups
Let $D_n$ be the dihedral group of order $2n$. Then all the quotients of $D_n$ are dihedral as well, and of the form $D_k$ with $k \mid n$. So for a field $K/\mathbb{Q}$ with $\operatorname{Gal}(K/\...
9
votes
1
answer
572
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 ...
9
votes
2
answers
1k
views
Is it known if the absolute Galois group is "divisible"?
The definitions of a divisible group that I have seen all seem to assume abelian is an a priori property of the group. My question is as to whether or not it is known that--given a non-torsion element ...
9
votes
1
answer
461
views
Irreducibility of the trinomial over Q
I'm trying to find an algebraic proof of irreducibility of the polynomial $x^n-x-1$ over rational numbers (or integers, which the same). I've read the Selmer's paper "On the irreducibility of certain ...
9
votes
0
answers
253
views
How small may the discriminant of an $S_d$-field be?
In every degree $d$, the Galois closure of the typical number field has the maximal possible Galois group $S_d$. Denote by $f(d)$ the least absolute value of a discriminant of an $S_d$-field of degree ...
8
votes
1
answer
1k
views
Number field analogue of the Goldbach Conjecture
Is there a generalization of Goldbachs conjecture for prime ideals in number fields?
8
votes
1
answer
2k
views
Dirichlet's theorem for number fields
I'd like to see a formulation of Dirichlet's theorem for number fields, i.e. some analogue of the assertion:
The number of primes less than $N$ congruent to $a \pmod{m}$ where $(a,m)=1$ is
$\frac{...
8
votes
1
answer
773
views
Unramified extensions of quadratic fields
Let $K/\mathbb{Q}$ be quadratic and let $L/K$ be an (everywhere) unramified Galois extension. If $L/K$ is abelian, then one can show that $L/\mathbb{Q}$ is Galois (eg see here). Is $L/\mathbb{Q}$ ...
8
votes
1
answer
246
views
What is the lowest complexity definition of $\mathbb{Z}$ in an infinite extension of $\mathbb{Q}$
In 2009, Jochen Koenigsmann showed that $\mathbb{Z}$ is universally definable in the field $\mathbb{Q}$. And in 2012, Jennifer Park proved a result which implies that $\mathbb{Z}$ is $\exists\forall$-...
8
votes
2
answers
443
views
Is realness of number fields exponentially bounded?
In a given non-real algebraic number field (say, given by an irreducible polynomial over $\mathbb{Q}$) is there a complexity bound on the summands $x,\dots,t$ that make $-1$ a sum of squares? So $x^2+...
8
votes
1
answer
466
views
Commutator subgroup of the absolute Galois group - a closed subgroup
Let $K$ be a finite extension of $\mathbb{Q}$. Is it possible that the commutator subgroup of the absolute Galois group of $K$ (considered as an abstract group) is a closed subgroup? This property ...
8
votes
1
answer
465
views
Continued fraction expansion of an algebraic number and its conjugates
Let $w$ be an element of a Galois extension $L:\mathbb{Q}$ such that $\text{Gal}(L/\mathbb{Q})=\langle g\rangle$ is cyclic of order $n$ (here $\mathbb{Q}$ is rationals). Suppose we know the continued ...
8
votes
2
answers
1k
views
number fields generated by units of number fields
Which number fields are generated by the units of some number field? That is, if $K$ is a number field and $U(K)$ its group of units, the field $k = \mathbb{Q}(U(K))$ is a subfield of $K$. But which ...
8
votes
2
answers
490
views
If the n-th root of unity exists locally, does it exist globally?
My question is: is it true that $\zeta_n$ is in $K$ (a number field) iff $\zeta_n$ is in all but finitely many of the $K_{\mathfrak{p}}$?
8
votes
0
answers
173
views
The density of minimal polynomials
Let $K$ be a number field, i.e., a finite extension of $\mathbb{Q}$. By the primitive element theorem there exists $\alpha \in K$ such that $K = \mathbb{Q}(\alpha)$. Let
$$\displaystyle S_K = \{\...
8
votes
0
answers
188
views
The Stickelberger's annihilation theorem over an arbitrary number field
Let $p$ be a prime and let $C = \mathbb{F}_p^\times$. Then Gal$(\mathbb{Q}(\zeta_p)/\mathbb{Q})$, where $\zeta_p$ is a primitive $p$th root of unity, may be identified with $C$ in the obvious way. Let ...
7
votes
1
answer
416
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}) = \...
7
votes
1
answer
274
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 ...
7
votes
1
answer
1k
views
Given $v,w$ primes of $k$, is there $K/k$ so $K_v\cap\Bbb Q^\text{cycl}=K_w\cap\Bbb Q^\text{cycl}=K\cap\Bbb Q^\text{cycl}$?
For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...
6
votes
5
answers
3k
views
Why is every quadratic subfield of a Galois extension of the rationals with the quaternions as Galois group real?
Suppose that L is a field extension of the rationals with Galois group the quaternions Q={1,-1,i,-i,j,-j,k,-k}. Furthermore assume that L contains a quadratic subfield K. I have learned from this link ...
6
votes
2
answers
801
views
Isomorphism problem for two radical extensions
Let $n\geq 2$ and let $a,b\in{\mathbb Q}$. Suppose that both the
polynomials $A=X^n-a$ and $B=X^n-b$ are irreducible. We want to know whether
( * ) there is a root $\alpha$ of $A$ and a root $\beta$ ...
6
votes
1
answer
580
views
Do all algebraic number fields arise from Eisenstein polynomials?
This question came up while going through the application of Eisenstein criterion: The $p$-th cyclotomic polynomial after changing the variable $x$ to $(x+1)$ satisfies Eisenstein criterion. That is ...
6
votes
2
answers
507
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 ...
6
votes
2
answers
579
views
Simultaneous Powers Far From 1
I'm looking for a reference or proof of the following. Let $K/\mathbb{Q}$ be a finite Galois extension of degree $n$. Let $a_1,\ldots,a_n$ be Galois conjugate elements in the ring of integers of $K$ ...
6
votes
1
answer
537
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 ...
6
votes
2
answers
567
views
What is the set of possible values of the degree of the sum of two algebraic numbers with fixed degrees?
This question is related to Degree of sum of algebraic numbers and algebraic numbers of degree 3 and 6, whose sum has degree 12.
In this last question I asked a very special case of the following ...
6
votes
2
answers
312
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 ...
6
votes
2
answers
358
views
Number of representations as sums of squares in rings of integers of number fields
Let $K$ be some number field, $\mathcal O_K$ denote its ring of integers, and let $n$ be a positive integer. Take $\alpha \in \mathcal O_K$, and consider the quantity $r_{n,K}(\alpha)$, which denotes ...
6
votes
1
answer
391
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 ...
6
votes
1
answer
387
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 \...
6
votes
1
answer
623
views
Degree of Kummer extensions of number fields
Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that
$$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$
holds for all positive integers $n$, with a positive ...
6
votes
0
answers
496
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 ...
6
votes
0
answers
681
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:...
5
votes
2
answers
303
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, ...
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 $...
5
votes
1
answer
885
views
p-adic expansion for elements in algebraic closure of p-adic numbers
In the following I will describe a proposal for the p-adic expansion of the elements of the algebraic closure $\overline{\mathbb{Q}_p}$ of $\mathbb{Q}_p$. My question is if this "conjecture" has been ...
5
votes
1
answer
469
views
Are the Szpiro ratios of 37b1 over certain number fields {33,39,42,48,51,66}?
Related to this question.
According to Hindry p.7 Conj 3.1
and Stein's notes Szpiro's conjecture over number fields states that the Szpiro ratio is:
$$ \sigma_{E/K}=\frac{\log{|N_{K/Q}\Delta_{E/K}|}}...
5
votes
3
answers
737
views
Transformations of integer polynomials under combinations of their roots
I'm wondering whether the following ideas/questions give rise to an existing body of research. (Accordingly: please suggest appropriate changes to the tags!)
Preamble
We consider polynomials f &...
5
votes
1
answer
243
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 ...
5
votes
1
answer
270
views
Are there primitive quartic CM fields whose norms of units give all totally positive units of the real quadratic subfield?
Let $K$ be a primitive (i.e. not biquadratic) quartic CM-field. That is we have $[K:\mathbb{Q}]=4$ and let $K_0=\mathbb{Q}(\sqrt{d})$ be the totally real quadratic subfield, here $d> 1$, that is we ...
5
votes
1
answer
198
views
On the stabilizer in $\mathrm{GL}(2,\mathbb{Z})$ of a real quadratic irrationality
$\DeclareMathOperator\GL{GL}$Let $\theta$ be a real quadratic irrationality with discriminant $\Delta$; let $\mathcal{O}_\Delta$ denote the resulting quadratic order of discriminant $\Delta$ in $\...
5
votes
0
answers
298
views
free subgroups of $SL_2(\mathbb{Z[i]})$
The group $SL_2(\mathbb{Z})$ contains many free subgroups, for example all of the principal congruence subgroups for $n\geq 3$ and the subgroup $\left\langle \left(\begin{array}{cc}
1 & 2\\
0 &...
5
votes
0
answers
707
views
Primitive element for a number field, and ramification
Let $K=\mathbb Q(\theta)$ be a number field with integral primitive element $\theta$, and let $f(x)$ be the minimal polynomial of $\theta$. Let $p$ be a rational prime. It's well known that if $p$ ...
5
votes
0
answers
538
views
Elliptic curve with no points in a number field
The following is probably well-known (I'd appreciate a link):
for a field $K$ that is a finite extension of the field of rational numbers, give a polynomial $f(x,y) ∈ Q[x,y]$ of the form $y^2 − x^3 −...
4
votes
3
answers
1k
views
Why isn't there a structure with two primes?
I don't know whether this question is a bit too vague for MO or not, so feel free to delete it if you see fit.
The p-adic integer is defined by taking the inverse limit $\ldots \mathbb{Z} / p^2 \...