CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

On $\BbZ$-Modules of Algebraic Integers

  Published:2009-04-01
 Printed: Apr 2009
  • J. P. Bell
  • K. G. Hare
Features coming soon:
Citations   (via CrossRef) Tools: Search Google Scholar:
Format:   HTML   LaTeX   MathJax   PDF   PostScript  

Abstract

Let $q$ be an algebraic integer of degree $d \geq 2$. Consider the rank of the multiplicative subgroup of $\BbC^*$ generated by the conjugates of $q$. We say $q$ is of {\em full rank} if either the rank is $d-1$ and $q$ has norm $\pm 1$, or the rank is $d$. In this paper we study some properties of $\BbZ[q]$ where $q$ is an algebraic integer of full rank. The special cases of when $q$ is a Pisot number and when $q$ is a Pisot-cyclotomic number are also studied. There are four main results. \begin{compactenum}[\rm(1)] \item If $q$ is an algebraic integer of full rank and $n$ is a fixed positive integer, then there are only finitely many $m$ such that $\disc\left(\BbZ[q^m]\right)=\disc\left(\BbZ[q^n]\right)$. \item If $q$ and $r$ are algebraic integers of degree $d$ of full rank and $\BbZ[q^n] = \BbZ[r^n]$ for infinitely many $n$, then either $q = \omega r'$ or $q={\rm Norm}(r)^{2/d}\omega/r'$, where $r'$ is some conjugate of $r$ and $\omega$ is some root of unity. \item Let $r$ be an algebraic integer of degree at most $3$. Then there are at most $40$ Pisot numbers $q$ such that $\BbZ[q] = \BbZ[r]$. \item There are only finitely many Pisot-cyclotomic numbers of any fixed order. \end{compactenum}
Keywords: algebraic integers, Pisot numbers, full rank, discriminant algebraic integers, Pisot numbers, full rank, discriminant
MSC Classifications: 11R04, 11R06 show english descriptions Algebraic numbers; rings of algebraic integers
PV-numbers and generalizations; other special algebraic numbers; Mahler measure
11R04 - Algebraic numbers; rings of algebraic integers
11R06 - PV-numbers and generalizations; other special algebraic numbers; Mahler measure
 

© Canadian Mathematical Society, 2014 : http://www.cms.math.ca/