Questions tagged [number-fields]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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-...
Luvath's user avatar
  • 145
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) \...
Will Jagy's user avatar
  • 25.3k
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$. ...
wyoumans's user avatar
  • 287
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 $...
J.Li's user avatar
  • 781
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)...
Joseph O'Rourke's user avatar
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/\...
M C's user avatar
  • 91
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 ...
Tippisum's user avatar
  • 153
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 ...
Adam Hughes's user avatar
  • 1,049
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 ...
Rachel's user avatar
  • 91
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 ...
Vesselin Dimitrov's user avatar
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?
Kikiriku's user avatar
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{...
Tony's user avatar
  • 543
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}$ ...
Jonah's user avatar
  • 171
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$-...
Keshav Srinivasan's user avatar
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+...
Colin McLarty's user avatar
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 ...
user avatar
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 ...
SAG's user avatar
  • 641
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 ...
engelbrekt's user avatar
  • 4,435
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}}$?
Makhalan Duff's user avatar
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 = \{\...
Stanley Yao Xiao's user avatar
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 ...
Cindy Tsang's user avatar
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}) = \...
Sky's user avatar
  • 913
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 ...
debanjana's user avatar
  • 1,161
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 ...
Joel Dodge's user avatar
  • 2,779
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 ...
heiko's user avatar
  • 71
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$ ...
Ewan Delanoy's user avatar
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 ...
P Vanchinathan's user avatar
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 ...
debanjana's user avatar
  • 1,161
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$ ...
Ben Weiss's user avatar
  • 1,588
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 ...
edward cornfoot's user avatar
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 ...
Ewan Delanoy's user avatar
  • 3,565
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 ...
Jean's user avatar
  • 515
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 ...
Anton's user avatar
  • 1,573
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 ...
A. Maarefparvar's user avatar
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 \...
Lios's user avatar
  • 213
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 ...
Chris's user avatar
  • 69
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 ...
Leonardo Lanciano's user avatar
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:...
Ninja's user avatar
  • 161
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, ...
Jeff H's user avatar
  • 1,412
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 $...
user404920's user avatar
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 ...
Chilote's user avatar
  • 586
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}|}}...
joro's user avatar
  • 24.2k
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 &...
Niel de Beaudrap's user avatar
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 ...
kindasorta's user avatar
  • 1,473
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 ...
Bernie's user avatar
  • 1,015
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 $\...
Branimir Ćaćić's user avatar
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 &...
Ofir's user avatar
  • 243
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$ ...
352506's user avatar
  • 991
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 −...
Albertas's user avatar
  • 704
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 \...
abcdxyz's user avatar
  • 2,744