On the ring of integers of real cyclotomic fields

Abstract

Let $\zeta_{n}$ be a primitive $n$th root of unity. As is well known, $\mathbf{Z}[\zeta_{n}+\zeta_{n}^{-1}]$ is the ring of integers of $\mathbf{Q}(\zeta_{n}+\zeta_{n}^{-1})$. We give an alternative proof of this fact by using the resultants of modified cyclotomic polynomials.