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.

Filter by
Sorted by
Tagged with
1 vote
0 answers
31 views

Finding the radical expressions of trig functions [closed]

I am trying to find the exact radicals of the sine and cosine of (m/n)*pi. I have been using sympy to do this and made this pretty good script: ...
Nicolas Campailla's user avatar
5 votes
0 answers
203 views

Abelian extensions of Q and cyclotomic fields

I have changed some notation based on the comments of Chris Wuthrich and Wojowu. For an abelian extension $F$ of $\mathbb{Q}$, let $c(F)$ be its conductor. That is, $c(F)$ is the smallest positive ...
Steve Stahl's user avatar
1 vote
0 answers
98 views

Abelian extensions of the rationals

Let $E$ and $F$ be finite abelian extensions of $\mathbb{Q}$ such that $E\cap F=\mathbb{Q}$. (You could take $E$ and $F$ as cyclotomic fields if that makes my question easier.) Set $K:=EF$ (the field ...
Steve Stahl's user avatar
5 votes
0 answers
399 views

Meaning of a result of Gauss on "Mensura" of cyclotomic numbers

(This question was asked before on mathstackexchange. I received a few useful comments there, which helped me answer it for a special case, but I did not succeed in proving the general case.) In an ...
user2554's user avatar
  • 1,869
5 votes
1 answer
333 views

Diophantine equation $\cos(2\pi x)\cos(2\pi y) = \cos(2\pi z)$

While working on finite order elements of $\operatorname{SO}_n$, I meet this question: Find all identities of the form $\cos(2\pi x)\cos(2\pi y) = \cos(2\pi z)$ with $x, y, z$ rational numbers. As ...
WhatsUp's user avatar
  • 3,232
6 votes
0 answers
102 views

Is the minus class group isomorphic to the relative class group?

I think this is something I should have known, but if I ever did I forgot about it. Consider the field $L$ of $p$-th roots of unity ($p$ prime) and its maximal real subfield $L^+$. The transfer of ...
Franz Lemmermeyer's user avatar
0 votes
1 answer
141 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 ...
Sky's user avatar
  • 913
4 votes
0 answers
86 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 $\...
Georg Lehner's user avatar
  • 1,943
0 votes
1 answer
136 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$...
Sky's user avatar
  • 913
4 votes
0 answers
55 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 ...
Kapil's user avatar
  • 1,536
4 votes
1 answer
315 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 ...
did's user avatar
  • 595
3 votes
0 answers
149 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 $...
did's user avatar
  • 595
3 votes
0 answers
202 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 $\...
Marsault Chabat's user avatar
0 votes
0 answers
82 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(\...
Steve Stahl's user avatar
3 votes
0 answers
133 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 $<\...
Max Alekseyev's user avatar
2 votes
0 answers
91 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 ...
did's user avatar
  • 595
5 votes
1 answer
706 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 ...
Xiao-Gang Wen's user avatar
0 votes
0 answers
76 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 ...
mathfan's user avatar
3 votes
0 answers
101 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 ...
Tommy Occhipinti's user avatar
7 votes
0 answers
147 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 ...
Ian Montague's user avatar
4 votes
2 answers
537 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 ...
margollo's user avatar
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 ...
matt stokes's user avatar
2 votes
0 answers
81 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 ...
matt stokes's user avatar
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 ...
user473130's user avatar
1 vote
0 answers
99 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 ...
Kyle Yip's user avatar
1 vote
0 answers
187 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}(\...
ptass's user avatar
  • 19
1 vote
1 answer
346 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 $...
Ehsan Shahoseini's user avatar
2 votes
1 answer
269 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_{...
wyoumans's user avatar
  • 287
6 votes
0 answers
440 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: ...
H Koba's user avatar
  • 369
3 votes
1 answer
238 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 ...
Kapil's user avatar
  • 1,536
22 votes
1 answer
830 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 ...
Thomas Browning's user avatar
10 votes
3 answers
707 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 $\...
Denis Rosset's user avatar
4 votes
1 answer
202 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 ...
Sebastien Palcoux's user avatar
2 votes
0 answers
127 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 ...
Sebastien Palcoux's user avatar
9 votes
1 answer
227 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$...
LeechLattice's user avatar
  • 9,421
10 votes
0 answers
465 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 $...
SUNIL PASUPULATI's user avatar
0 votes
0 answers
137 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 ...
Ash's user avatar
  • 99
1 vote
0 answers
171 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 & \...
Linas's user avatar
  • 364
1 vote
0 answers
109 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 ...
Ash's user avatar
  • 99
2 votes
0 answers
296 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 ...
Ash's user avatar
  • 99
5 votes
0 answers
110 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) = \...
Asvin's user avatar
  • 7,648
4 votes
0 answers
484 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 ...
Ash's user avatar
  • 99
2 votes
0 answers
155 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 ...
Sebastien Palcoux's user avatar
3 votes
0 answers
127 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)$ ...
Jop's user avatar
  • 93
6 votes
0 answers
124 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{...
LFM's user avatar
  • 171
10 votes
0 answers
539 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&...
Sebastien Palcoux's user avatar
4 votes
1 answer
354 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 ...
Stefano Gogioso's user avatar
3 votes
0 answers
108 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 ...
asrxiiviii's user avatar
1 vote
0 answers
211 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+...
LeechLattice's user avatar
  • 9,421
1 vote
1 answer
224 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 ...
Achim Krause's user avatar
  • 8,514