Number systems over general orders
Publikationen: Beitrag in Fachzeitschrift › Artikel › Forschung › (peer-reviewed)
Standard
in: Acta mathematica Hungarica, Jahrgang 159.2019, Nr. 1, 01.10.2019, S. 187-205.
Publikationen: Beitrag in Fachzeitschrift › Artikel › Forschung › (peer-reviewed)
Harvard
APA
Vancouver
Author
Bibtex - Download
}
RIS (suitable for import to EndNote) - Download
TY - JOUR
T1 - Number systems over general orders
AU - Evertse, Jan-Hendrik
AU - Györy, Kálmán
AU - Pethö, Attila
AU - Thuswaldner, Jörg
N1 - Publisher Copyright: © 2019, Akadémiai Kiadó, Budapest, Hungary.
PY - 2019/10/1
Y1 - 2019/10/1
N2 - Let O be an order, that is a commutative ring with 1 whose additive structure is a free Z-module of finite rank. A generalized number system (GNS for short) over O is a pair (p, D) where p∈ O[x] is monic with constant term p(0) not a zero divisor of O, and where D is a complete residue system modulo p(0) in O containing 0. We say that (p, D) is a GNS over O with the finiteness property if all elements of O[x] / (p) have a representative in D[x] (the polynomials with coefficients in D). Our purpose is to extend several of the results from a previous paper of Pethő and Thuswaldner, where GNS over orders of number fields were considered. We prove that it is algorithmically decidable whether or not for a given order O and GNS (p, D) over O, the pair (p, D) admits the finiteness property. This is closely related to work of Vince on matrix number systems. Let F be a fundamental domain for O⊗ZR/Oandp∈O[X] a monic polynomial. For α∈ O, define p α(x) : = p(x+ α) and D F , p ( α ): = p(α) F⋂ O. Under mild conditions we show that the pairs (p α, D F , p ( α )) are GNS over O with finitenessproperty provided α∈ O in some sense approximates a sufficiently large positive rational integer. In the opposite direction we prove under different conditions that (p - m, D F , p ( - m )) does not have the finiteness property for each large enough positive rational integer m. We obtain important relations between power integral bases of étale orders and GNS over Z. Their proofs depend on some general effective finiteness results of Evertse and Győry on monogenic étale orders.
AB - Let O be an order, that is a commutative ring with 1 whose additive structure is a free Z-module of finite rank. A generalized number system (GNS for short) over O is a pair (p, D) where p∈ O[x] is monic with constant term p(0) not a zero divisor of O, and where D is a complete residue system modulo p(0) in O containing 0. We say that (p, D) is a GNS over O with the finiteness property if all elements of O[x] / (p) have a representative in D[x] (the polynomials with coefficients in D). Our purpose is to extend several of the results from a previous paper of Pethő and Thuswaldner, where GNS over orders of number fields were considered. We prove that it is algorithmically decidable whether or not for a given order O and GNS (p, D) over O, the pair (p, D) admits the finiteness property. This is closely related to work of Vince on matrix number systems. Let F be a fundamental domain for O⊗ZR/Oandp∈O[X] a monic polynomial. For α∈ O, define p α(x) : = p(x+ α) and D F , p ( α ): = p(α) F⋂ O. Under mild conditions we show that the pairs (p α, D F , p ( α )) are GNS over O with finitenessproperty provided α∈ O in some sense approximates a sufficiently large positive rational integer. In the opposite direction we prove under different conditions that (p - m, D F , p ( - m )) does not have the finiteness property for each large enough positive rational integer m. We obtain important relations between power integral bases of étale orders and GNS over Z. Their proofs depend on some general effective finiteness results of Evertse and Győry on monogenic étale orders.
UR - http://www.scopus.com/inward/record.url?scp=85068158786&partnerID=8YFLogxK
U2 - 10.1007/s10474-019-00958-x
DO - 10.1007/s10474-019-00958-x
M3 - Article
VL - 159.2019
SP - 187
EP - 205
JO - Acta mathematica Hungarica
JF - Acta mathematica Hungarica
SN - 0236-5294
IS - 1
ER -