Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-30T00:54:20.478Z Has data issue: false hasContentIssue false

On ℤ-Modules of Algebraic Integers

Published online by Cambridge University Press:  20 November 2018

J. P. Bell
Affiliation:
Department of Mathematics, Simon Fraser University, Burnaby, BC V5A 1S6, jpb@math.sfu.ca
K. G. Hare
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, ON N2L 3G1, kghare@math.uwaterloo.ca
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $q$ be an algebraic integer of degree $d\ge 2$. Consider the rank of the multiplicative subgroup of ${{\mathbb{C}}^{*}}$ generated by the conjugates of $q$. We say $q$ is of 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 $\mathbb{Z}[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.

  1. (1) 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 $\text{disc}\left( \mathbb{Z}\left[ {{q}^{m}} \right] \right)=\text{disc}\left( \mathbb{Z}\left[ {{q}^{n}} \right] \right)$.

  2. (2) If $q$ and $r$ are algebraic integers of degree $d$ of full rank and $\mathbb{Z}[{{q}^{n}}]=\mathbb{Z}[{{r}^{n}}]$ for infinitely many $n$, then either $q=\omega {r}'$ or $q=\text{Norm}{{(r)}^{2/d}}\omega /r'$ , where $r'$ is some conjugate of $r$ and $\omega $ is some root of unity.

  3. (3) Let $r$ be an algebraic integer of degree at most 3. Then there are at most 40 Pisot numbers $q$ such that $\mathbb{Z}[q]=\mathbb{Z}[r]$.

  4. (4) There are only finitely many Pisot-cyclotomic numbers of any fixed order.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2009

References

[1] Bell, J. P. and Hare, K. G., A classification of (some) Pisot-cyclotomic numbers. J. Number Theory 115(2005), no. 2, 215229.Google Scholar
[2] Bennett, M. A., On the representation of unity by binary cubic forms. Trans. Amer. Math. Soc. 353(2001), no. 4, 15071534 (electronic).Google Scholar
[3] Burdık, Č., Frougny, Ch., Gazeau, J. P., and Krejcar, R., Beta-integers as natural counting systems for quasicrystals. J. Phys. A 31(1998), no. 30, 64496472.Google Scholar
[4] Gazeau, J.-P., Pisot-cyclotomic integers for quasilattices. In: The mathematics of long-range aperiodic order, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 487, Kluwer Academic Publishing, Dordrecht, 1997, pp. 175198.Google Scholar
[5] Lech, C., A note on recurring series. Ark. Mat. 2(1953), 417421.Google Scholar
[6] Marcus, D. A., Number fields. Universitext, Springer-Verlag, New York, 1977.Google Scholar
[7] Schmidt, W. M., Diophantine approximation. Lecture Notes in Mathematics 785, Springer, Berlin, 1980.Google Scholar
[8] Sprindžuk, V. G., Classical Diophantine equations. Lecture Notes in Mathematics 1559, Springer-Verlag, Berlin, 1993.Google Scholar