Number systems over general orders

Research output: Contribution to journalArticleResearchpeer-review

Standard

Number systems over general orders. / Evertse, Jan-Hendrik; Györy, Kálmán; Pethö, Attila et al.
In: Acta mathematica Hungarica, Vol. 159.2019, No. 1, 01.10.2019, p. 187-205.

Research output: Contribution to journalArticleResearchpeer-review

Harvard

Evertse, J-H, Györy, K, Pethö, A & Thuswaldner, J 2019, 'Number systems over general orders', Acta mathematica Hungarica, vol. 159.2019, no. 1, pp. 187-205. https://doi.org/10.1007/s10474-019-00958-x

Vancouver

Evertse JH, Györy K, Pethö A, Thuswaldner J. Number systems over general orders. Acta mathematica Hungarica. 2019 Oct 1;159.2019(1):187-205. Epub 2019 Jun 25. doi: 10.1007/s10474-019-00958-x

Author

Evertse, Jan-Hendrik ; Györy, Kálmán ; Pethö, Attila et al. / Number systems over general orders. In: Acta mathematica Hungarica. 2019 ; Vol. 159.2019, No. 1. pp. 187-205.

Bibtex - Download

@article{96359135fc324169b4ad956f8dcfa23e,
title = "Number systems over general orders",
abstract = "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{\H o} 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 {\'e}tale orders and GNS over Z. Their proofs depend on some general effective finiteness results of Evertse and Gy{\H o}ry on monogenic {\'e}tale orders. ",
author = "Jan-Hendrik Evertse and K{\'a}lm{\'a}n Gy{\"o}ry and Attila Peth{\"o} and J{\"o}rg Thuswaldner",
note = "Publisher Copyright: {\textcopyright} 2019, Akad{\'e}miai Kiad{\'o}, Budapest, Hungary.",
year = "2019",
month = oct,
day = "1",
doi = "10.1007/s10474-019-00958-x",
language = "English",
volume = "159.2019",
pages = "187--205",
journal = "Acta mathematica Hungarica",
issn = "0236-5294",
publisher = "Springer Netherlands",
number = "1",

}

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 -