A sufficient condition of Euclidean rings given by polynomial optimization over a box (Q478924): Difference between revisions

Let \(K=\mathbb Q (u)\) be an algebraic field of degree \(n\) and \(A\) its ring of algebraic integers. It is well known that \(A\) is norm-Euclidean if for any \(x\in K\) there exists \(a\in A\) such that \(| N_{K/\mathbb Q}(x-a)|<1\), or \(| N_{K/\mathbb Q}(r_0+r_1u+\cdots + r_{n-1}u^{n-1})|<1\) for any \(r_i\) with modulus at most \(1/2\). The author uses \textit{J. B. Lasserre}'s GloptiPoly software [Moments, positive polynomials and their applications. London: Imperial College Press (2010; Zbl 1211.90007)] to find all quadratic fields, four cubic fields, and two cyclotomic quartic fields satisfying this sufficient condition.