Questions tagged [cyclotomic-fields]
A cyclotomic field is a number field obtained by adjoining a complex primitive root of unity to $\mathbb Q$, the field of rational numbers.
89
questions
0
votes
1
answer
132
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 ...
- 903
4
votes
0
answers
83
views
How to describe a concrete generator of $\widetilde{K_0(\mathbb{Z}[C_{23}])} \cong \widetilde{K_0(\mathbb{Z}[\zeta_{23}])}$
Milnor (page 29, see below) gives an explicit proof that the zeroth $K$-theory of the group ring $\mathbb{Z}[C_p]$, where $C_p$ is the cyclic group of order $p$ with $p$ a prime agrees with $K_0$ of $\...
- 1,823
0
votes
1
answer
103
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$...
- 903
1
vote
0
answers
42
views
Prove that the norm induced by the Frobenius automorphism acts topologically nilpotent on $1+p\mathbb{Z}_p[[X]]$ for $p=2$
I am currently reading Fukaya's paper 'Theory of Coleman Power Series for $K_2$' and would like to apply their findings to $K_1$-groups.
In particular, I want to show that there is an isomorphism
\...
- 11
4
votes
0
answers
48
views
Units in Abelian extensions which are not in the subgroup of cyclotomic units
This question is motivated by a Quora post and the top answer to it.
The post wishes to make explicit the difference between units in cyclotomic fields and cyclotomic units.
One problem with answering ...
- 1,506
4
votes
1
answer
215
views
Class numbers of cyclotomic fields and their maximal totally real subfields
Let $\zeta_p$ be a $p$-th root of unity for a prime $p$, let $L:=\mathbb{Q}(\zeta_p)$ and $K$ the maximal totally real subfield of $L$, i.e. $K:=\mathbb{Q}(\zeta_p+\zeta_p^{-1})$. I am trying to prove ...
- 555
2
votes
0
answers
140
views
relating class number and narrow class number of a real field
I am interested in finding out when the narrow class number of $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ is the same as the class number of $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ where $\zeta_p$ is a primitive $...
- 555
3
votes
0
answers
184
views
Generalisation of Sharifi's conjecture for Siegel varieties
I recently learned Sharifi's conjecture in this article by F.Takako and K.Kato.
According to my understanding, this conjecture states that (the conjugation invariant) of the projective limit $\...
- 935
0
votes
0
answers
81
views
Relation between two finite abelian extensions of rationals
For $\mathbb{F}$ a finite abelian extension of $\mathbb{Q}$, recall that the conductor $c(\mathbb{F})$ of $\mathbb{F}$ is the smallest positive integer such that $\mathbb{F}$ is contained in the $c(\...
- 315
3
votes
0
answers
125
views
Recover cyclotomic integer with bounded coefficients from its known associate
Recall that two cyclotomic integers are called associated if their ratio is a unit in the corresponding ring of cyclotomic integers.
We will view cyclotomic integers as polynomials (of degree $<\...
- 29.1k
2
votes
0
answers
69
views
Narrow class number of a the maximal totally real number field inside a cyclotomic field
I am wondering how much it is known about the narrow class number of the number field $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ ($p$ an odd prime). More precisely, I am interested to know when it is odd.
By ...
- 555
4
votes
1
answer
531
views
The group of all units of integral cyclotomic ring
Let $\zeta_n = e^{i2\pi/n}$. What is the group of all units in the integral cyclotomic ring $\mathbb{Z}[\zeta_n]$?
Here I like to know all the group elements for small $n$'s. For $n=1$ and $n=2$, the ...
- 4,646
0
votes
0
answers
65
views
frobenius map on primitive nth root of unity over Fp(w) with (n,p)=1
Suppose w is a primitive n-th root of unity, let r = Ord_n(p) (the smallest integer s.t. $p^r=1 \pmod n $), $f(w)=w^p$(the ...
- 1
3
votes
0
answers
90
views
Minimal Norm Vectors in certain Cyclotomic Ideal Lattices
Let $q$ be an odd prime and let $\zeta$ be a primitive $q^{th}$ root of unity. Let $I$ be the ideal in $\mathbb{Z}[\zeta]$ generated by $1-\zeta$. It is known that we can give $I$ the structure of an ...
7
votes
0
answers
142
views
Finding when a certain product in a cyclotomic field is equal to one
For the following, fix $m\geq 2$, and let $a_{0},\dots,a_{m-1}\in\mathbb{Z}$ be such that $\sum_{k=0}^{m-1}a_{k}=0$. I would like to find the exact conditions on the $a_{k}$ so that the following ...
- 299
4
votes
2
answers
513
views
Existence of solution for a system of quadratic diophantine equations / symmetric quadratic froms
I am interested in solving, or even just deciding the existence of a solution, for a system of quadratic diophantine equations.
Let $p$ be a prime congruent to 1 modulo 8, so $ p =17$ is the first ...
- 41
1
vote
0
answers
78
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 ...
- 669
2
votes
0
answers
78
views
Question about infinitude of $m$-irregular primes
Let $p>2$ be a prime, $\zeta$ a primitive $p$th root of unity, and $m >0$ a square-free integer such that $m \not\equiv 3 \mod 4$ and $\gcd(m,p)=1$. Let $\chi$ be the imaginary quadratic ...
- 669
0
votes
1
answer
127
views
The average number of solutions to $a+b=c$ in a multiplicative subgroup of $\mathbb{F}_q^\times$ when $c\in\mathbb{F}_q^\times$ is random
$\mathbb{F}_q^\times$ is the multiplicative group of the finite field $\mathbb{F}_q$, and H is a multiplicative subgroup of $\mathbb{F}_q^\times$ of order $r<q−1$.
What is the average number of ...
1
vote
0
answers
98
views
"multi-dimensional" cyclotomic number
Let $F_q$ be the finite field with $q$ elements with characteristic $p$ and with $g$ being a primitive root. Let $N$ be a divisor of $q-1$ and let $C_0$ be the subgroup of $F_q^*$ with index $N$. Then ...
- 91
1
vote
0
answers
157
views
bound norm of algebraic integers in cyclotomic field
Let $\zeta$ be the $p$th root of unity, with $p$ an odd prime number.
Let $\mathbb{Q}(\zeta)$ be the $p$th cyclotomic field and let $\mathcal{O}=\mathbb{Z}(\zeta)$ the ring of integers of $\mathbb{Q}(\...
- 19
1
vote
1
answer
278
views
Classification of cyclotomic fields with class number 1
1.Let $p$ be an odd prime number. Is there a classification of cyclotomic fields of the form $\mathbb{Q}(\zeta_p)$ with class number 1?
2.Is there such a classification for general cyclotomic fields $...
- 303
2
votes
1
answer
218
views
How can I prove this claim about splitting of prime ideals in real cyclotomic fields?
Let $L_k = \mathbb{Q}(\zeta_{2^k} + \zeta_{2^k}^{-1})$ be the maximal real subfield of the cyclotomic field of conductor $2^k, k \ge 2$ and $f_k(x)$ be the minimal polynomial of $\zeta_{2^k} + \zeta_{...
- 287
6
votes
0
answers
418
views
Galois cohomology with coefficients in the unit group of a cyclotomic field
While understanding Fermat's last theorem's proof for regular primes, I bumped into a proposition (http://www2.biglobe.ne.jp/~optimist/algebra/fermat2_proof.html#proof10, written in Japanese) stating:
...
- 359
3
votes
1
answer
189
views
Connecting different ways of constructing cubic extensions of $\mathbb{Q}$
There are at least two ways to construct cyclic cubic extensions of $\mathbb{Q}$ as explained below. (A third one is given in the answer to an earlier question).
Given $A, B, C$ integers with $A\neq ...
- 1,506
22
votes
1
answer
813
views
Why is the regulator of the degree 11 extension of $\mathbb{Q}$ so large?
Let $K_\infty/\mathbb{Q}$ denote the $\hat{\mathbb{Z}}$-extension of $\mathbb{Q}$. Then for each $n\geq1$, $K_\infty$ has a unique subfield $K_n$ of degree $n$ over $\mathbb{Q}$.
The fields $K_n$ are ...
- 2,404
10
votes
3
answers
682
views
Realizability of a real representation using real cyclotomic coefficients
Let $G$ be a finite group and $\rho: G \rightarrow GL(d,\mathbb{C})$ an irreducible representation with Frobenius-Schur indicator $\frac{1}{|G|}\sum_{g\in G} \operatorname{tr} \rho(g^2) = 1$. Thus $\...
- 145
4
votes
1
answer
190
views
Multiplicative set of positive algebraic integers
Let $S$ be a set of algebraic integers such that:
$\mathbb{N}_{\ge 1} \subseteq S \subset \mathbb{R}_{\ge 1}$,
$\alpha, \beta \in S \Rightarrow \alpha \beta \in S$,
$\alpha, \beta \in S \Rightarrow ...
- 25.1k
2
votes
0
answers
122
views
What are all the possible indices for the finite depth subfactors?
Jones index theorem (1983) states that the set of all possible (finite) indices of subfactors is exactly $$\mathrm{Ind}=\{ 4 \cos(\pi/n)^2 \ | \ n \ge 3 \} \cup [4, \infty),$$ but if we restrict to ...
- 25.1k
9
votes
1
answer
224
views
Are the class numbers of $\mathbb{Q}(\cos(2\pi / m))$ $O(m^n)$ for some fixed $n$?
Question: Are the class numbers of $\mathbb{Q}(\cos(\frac{2\pi}m))$ $O(m^n)$ for some fixed $n$?
Evidences (e.g. a recent paper) showing that the question above is open are also OK.
Remark: If such $n$...
- 9,260
10
votes
0
answers
409
views
Is class group of cyclotomic fields cyclic?
What are the cyclotomics fields with a cyclic class group. I read that there are only 29 cyclotomic extensions of $\Bbb Q$ with class number one. But I wanted to know what condition on $n$ would make $...
- 723
0
votes
0
answers
136
views
Elliptic units as Euler systems
I’m trying to understand elliptic units in order to work with the Euler systems of the abelian extensions of quadratic imaginary number fields. I’ve looked at few references about the topic, but they ...
- 99
1
vote
0
answers
164
views
Vandermonde shift
I'm looking for any known results on a shift operator commutated by a Vandermonde matrix. That is, let
$$T=\begin{bmatrix}0 & 1 & 0 & 0 & \cdots \\
0 & 0 & 1 & 0 & \...
- 372
1
vote
0
answers
106
views
Euler systems over abelian number fields [duplicate]
Im confused with the following statement:
Coleman’s conjecture concerning circular distribution imply that Euler systems over abelian number fields arise in “an elementary” way from the theory of ...
- 99
2
votes
0
answers
257
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
5
votes
0
answers
109
views
What is $H^1(\mathbb Z, GL_k(R_n))$ for a ring closely related to the cyclotomic rings of integers?
Let us consider $R_n = \mathbb Z_\ell[\theta_n]/(\theta^{\ell^n}-1)$, an auxiliary prime power $q\equiv 1 \pmod \ell$ with an action of $\mathbb Z = \langle \sigma\rangle$ by $\sigma(\theta_n) = \...
- 7,402
4
votes
0
answers
393
views
Euler Systems and Coleman’s Conjecture
I’m trying to work on Coleman’s conjecture for abelian extensions of imaginary quadratic fields. I’ve read most papers by Seo regarding circular distributions. However, I’m a still confused about what ...
- 99
2
votes
0
answers
154
views
Extension of a theorem of Bisch to cyclotomic integers of fixed degree
Theorem 3.2 in this paper (Bisch, 1994) states that for a finite depth ${\rm II}_1$ subfactor of integral index, every intermediate subfactor are also of integral index. As an application, every such ...
- 25.1k
3
votes
0
answers
125
views
Cyclic codes: sparse codewords not orthogonal to the all-ones vector
Is it true that for any sufficiently large prime $p$, there exists a prime $q\ne p$ and a cyclic code of length $p$ over $\mathbb{F}_q$ that contains a codeword of Hamming weight at most ord$_p(q)$ ...
- 93
6
votes
0
answers
121
views
Simultaneous vanishing $\mathbb{Q}$-linear relations between $N$-th roots of unity
Let $\zeta$ be a primitive $N$-th root of unity and $\Gamma \subset (\mathbb{Z}/N)^\times$ a subgroup. Let $|\Gamma|$ be the cardinality of $\Gamma$ and consider the linear map $M_\Gamma\colon \mathbb{...
- 171
10
votes
0
answers
518
views
Toward a cyclotomic Riemann hypothesis
For an integer $n \ge 3$, consider the function $$u(n) = \frac{\sigma(n)}{n \log \log n}$$ with $\sigma$ the divisor function. Now consider the sequence (bounded below and decreasing) $$v_n = \sup_{m&...
- 25.1k
4
votes
1
answer
333
views
Quadratic extensions of cyclotomic numbers by absolute values of elements
Summary
I was wondering whether there is an explicit description of the extension $\mathbb{Q}(\zeta_n, |z|)/\mathbb{Q}$ obtained from a cyclotomic field $\mathbb{Q}(\zeta_n)$ by adjoining any finite ...
- 617
3
votes
0
answers
104
views
Minimum of a product of polynomial evaluated at primitive roots of unity, given that the value of the polynomial at the same lies on unit circle
This is something that came out of working on a problem:
Let $m$ be an odd positive integer and $f \in \mathbb Q[x]$ be a polynomial of degree less than $m$. With $\zeta_m$ denoting a primitive root ...
- 709
1
vote
0
answers
186
views
Regulator of number fields of a special form
Is it possible to estimate the regulator of a number field of a special form (e.g. cyclotomic fields)?
My motivation mainly comes from the investigation of the number fields $K_n=\mathbb{Q}[x]/(x^n+x+...
- 9,260
1
vote
1
answer
198
views
Factoring cyclotomic polynomials over quadratic subfield
The quadratic subfield of $\mathbb{Q}(\zeta_p)$ is given by $\mathbb{Q}(\sqrt{p^*})$, where $p^*$ is the choice of $\pm p$ which is $1$ mod $4$. By some elementary Galois theory, the cyclotomic ...
- 7,984
2
votes
1
answer
184
views
class group size of cyclotomic field subextension
In the following, let $\mathbb{Q_1}$ denote the subfield of degree $p$ over $\mathbb{Q}$ in the $p^2$- cyclotomic extension.
What is the best known upper bound for the size of its class group, $\text{...
- 230
3
votes
0
answers
119
views
Extended cyclotomic criterion for unitary categorification
According to this paper (Corollary 8.54) the Frobenius-Perron dimension (FPdim) of any object $a$ of a fusion category over $\mathbb{C}$ is a cyclotomic integer. Now, FPdim($a$) is the maximal ...
- 25.1k
3
votes
0
answers
148
views
Real root of the derivative of a prime cyclotomic polynomial
Consider the graph of $y=x^n$ with $n$ odd, and draw a tangent to its negative arc that crosses the graph at $(1,1)$. Equating the slopes gives us $\frac{x^n-1}{x-1}=nx^{n-1}$ at the point of tangency....
- 1,569
9
votes
1
answer
342
views
Is an integral sum of periodic vectors always a sum of integral periodic vectors?
Update:
I have found reference to this problem. It is known as "the Rédei-de Bruijn-Schönberg theorem", which is proved in the following papers:
N. G. de Bruijn: On the factorization of cyclic ...
- 3,150
1
vote
1
answer
252
views
How to find a cyclotomic polynomial of degree d that decompose into d irreducible polynomials in $Z_6$?
More specifically, I need the degree $d$ to be around 1024. I can easily find the cyclotomic polynomial of degree 1024 that satisfies the above requirement in $Z_2$, i.e., $x^{1024}+1$, which is equal ...
- 33