Multiply monogenic orders

MaRDI QIDQ2844281zbMATH OpenFDO

Authors Attila Bérczes, Jan-Hendrik Evertse, Kálmán Győry

Publication date 28 August 2013

Published in Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.4740

zbMATH Keywords

finitely generated integral domainmultiply monogenic

Mathematics Subject Classification ID

Higher degree equations; Fermat's equation (11D41) Algebraic numbers; rings of algebraic integers (11R04)

Abstract: Let O be an order in an algebraic number field K, i.e., a ring with quotient field K which is contained in the ring of integers of K. The order O is called monogenic, if it is of the shape Z[w], i.e., generated over the rational integers by one element. By a result of GyH{o}ry (1976), the set of w with Z[w]=O is a union of finitely many equivalence classes, where two elements v,w of O are called equivalent if v+w or v-w is a rational integer. An order O is called k times monogenic if there are at least k different equivalence classes of w with Z[w]=O, and precisely k times monogenic if there are precisely k such equivalence classes. It is known that every quadratic order is precisely one time monogenic, while in number fields of degree larger than 2, there may be non-monogenic orders. In this paper we study orders which are more than one time monogenic. Our first main result is, that in any number field K of degree at least 3 there are only finitely many three times monogenic orders. Next, we define two special types of two times monogenic orders, and show that there are number fields K which have infinitely many orders of these types. Then under certain conditions imposed on the Galois group of the normal closure of K, we prove that K has only finitely many two times monogenic orders which are not of these types. We give some immediate applications to canonical number systems. Further, we prove extensions of our results for domains which are monogenic over a given domain A of characteristic 0 which is finitely generated over Z.

Review text

Let \(A=\mathbb Z[x_1,\dots,x_r]\) be a domain finitely generated over \(\mathbb Z\) and integrally closed in its quotient field \(L\). Let \(L\) be a finite extension field of \(L\). \(A\)-orders in \(K\) of the type \(A[\alpha]\) are called monogenic.NEWLINENEWLINEThe problem of monogeneity and power integral bases is a classical topic in algebraic number theory.NEWLINENEWLINE In this paper, this problem is extended to a more general setting which might also have some applications.NEWLINENEWLINEFor a given \(A\)-order \(O\) the elements \(\alpha,\beta\in O\) are called \(A\)-equivalent if \(\beta=u\alpha+a\) for some \(u\) unit in \(A\) and \(a\in A\). If there are \(k\) equivalence classes of \(\alpha\in O\) with \(A[\alpha]=O\), then we call \(O\) \(k\)-times monogenic.NEWLINENEWLINEThe authors prove that if \(K\) is of degree at least three, then there are only finitely many 3-times monogenic A-orders in \(K\).NEWLINENEWLINEThe authors prove that there are extensions \(K\) which have infinitely many of special 2-times monogenic orders. Under certain conditions on the Galois groups it is shown that \(K\) has only finitely many 2-times monogenic \(A\)-orders which are not of these special types.NEWLINENEWLINESome applications to canonical number systems are given.

Recommendations

• A survey on monogenic orders
• On the ambiguous classes and monogenic orders of a cyclic extension of odd prime degree over \(\mathbb Q\) or an imaginary quadratic field.
• On the number of monogenizations of a quartic order (with an appendix by Shabnam Akhtari)
• scientific article; zbMATH DE number 4171048
• Counting monogenic cubic orders

Cited in

(10)

• A family of monogenic S₄ quartic fields arising from elliptic curves
• The scheme of monogenic generators. I: Representability
• A survey on monogenic orders
• Two families of monogenic \(S_4\) quartic number fields
• On power integral bases of certain pure number fields defined by $x^{84}-m$
• Orders with few rational monogenizations
• On monogenity of certain pure number fields defined by \(x^{2^r\cdot 5^s\cdot 7^t}-m\)
• Diophantine approximations. Abstracts from the workshop held April 17--23, 2022
• On monogenity of certain pure number fields defined by \(x^{60} - m\)
• On common index divisors and monogenity of septic number fields defined by trinomials of type \(x^7 + ax^2 + b\)

This page was built for publication: Multiply monogenic orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844281)