Cyclic cubic numbers as rational linear combinations of roots of unity - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:13:40Z http://mathoverflow.net/feeds/question/84864 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/84864/cyclic-cubic-numbers-as-rational-linear-combinations-of-roots-of-unity Cyclic cubic numbers as rational linear combinations of roots of unity Chandan Singh Dalawat 2012-01-04T07:44:05Z 2012-01-04T12:14:03Z <p>In the <a href="http://www.math.harvard.edu/~mazur/papers/friends.pdf" rel="nofollow">written version</a> of a talk Barry Mazur gave to <em>Friends of the Harvard Mathematics Department</em> on May 5, 2009, there is an interesting question in Footnote 5 (page 8). </p> <p>He recalls how Gauss wrote $\sqrt p$ (where $p$ is an odd prime) as an explicit rational linear combination of roots of unity (using Gauss sums) and says that he doesn't know any such explicit expression for the roots $\alpha$ of an irreducible cubic polynomial $T^3+bT+c\in\mathbf{Q}[T]$ whose discriminant is a <em>square</em> (so that $\mathbf{Q}(\alpha)$ is a <em>cyclic</em> extension of $\mathbf{Q}$, and hence contained in $\mathbf{Q}(\zeta)$ for some root of unity $\zeta$).</p> <p><strong>Question</strong>. Does anyone know such an explicit expression for the roots of irreducible cubic polynomials whose discriminant is a square ?</p> http://mathoverflow.net/questions/84864/cyclic-cubic-numbers-as-rational-linear-combinations-of-roots-of-unity/84869#84869 Answer by Franz Lemmermeyer for Cyclic cubic numbers as rational linear combinations of roots of unity Franz Lemmermeyer 2012-01-04T09:20:30Z 2012-01-04T09:20:30Z <p>I guess Mazur's remark just means that in the expression of the cubic polynomial whose roots generate the cubic subfield of the $p$-th roots of unity, there are numbers $L$ and $M$ with $L^2 + 27M^2 = p$. It reflects the fact from Kummer theory that for understanding cyclic cubic extensions you have to adjoin the cube roots of unity, whereas for quadratic extensions the necessary square roots of unity are already there.</p> <p>The computation of the cubic subfield of a cyclotomic field with prime conductor using "Gaussian periods" is already in the Disquisitiones, but you certainly should be able to find a modern exposition in Cohen's books.</p> http://mathoverflow.net/questions/84864/cyclic-cubic-numbers-as-rational-linear-combinations-of-roots-of-unity/84874#84874 Answer by unknown (google) for Cyclic cubic numbers as rational linear combinations of roots of unity unknown (google) 2012-01-04T10:29:22Z 2012-01-04T10:29:22Z <p>For the simplest cubic $x^3-ax^2-(a+3)x-1$ which is cyclic and real with discriminant $p^2$ where $p=a^2+3a+9$, and when $p$ is prime, the roots $\theta_j,j=0,1,2$ are translates of the Gauss's cubic periods $\eta_j$. Explicitly $\theta_j=\eta_j+(L-1)/6$, where $4p=L^2+27$ and $\eta_j$ are the Gauss's periods. Since $\sum_{j=0}^2 \eta_j=-1$, one can certainly replace $(L-1)/6$ by linear combinations of $\eta_j$. This relation appeared (and also the quartic and sextic case) in E. Lehmer, "Connections between Gaussian periods and cyclotomic units", Maths Comp. Vol 50, No. 182 (1988) 535-541.</p>