Questions tagged [number-fields]
The number-fields tag has no usage guidance.
250
questions
-2
votes
0
answers
89
views
Is the product of exponentiated elliptic curve basis elements invariant under FFT of scalars?
I am working with an elliptic curve defined over a finite field $\mathbb{F}_p$ and have a basis set of points ${g_0, g_1, \ldots, g_n}$. When I perform the FFT on these points, I obtain a new basis ${...
4
votes
1
answer
211
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.,...
- 1,211
3
votes
0
answers
54
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 ...
- 149
2
votes
0
answers
122
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 ...
- 697
1
vote
1
answer
210
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
184
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
112
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$.
...
- 913
6
votes
0
answers
517
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 ...
- 385
1
vote
0
answers
85
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,467
1
vote
1
answer
98
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 ...
- 913
3
votes
1
answer
198
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 ...
- 1,412
10
votes
1
answer
429
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 $\...
- 1,900
7
votes
1
answer
462
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}) = \...
- 913
12
votes
0
answers
431
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 ...
- 149