A sufficient condition of Euclidean rings given by polynomial optimization over a box (Q478924): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:24, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A sufficient condition of Euclidean rings given by polynomial optimization over a box |
scientific article |
Statements
A sufficient condition of Euclidean rings given by polynomial optimization over a box (English)
0 references
5 December 2014
0 references
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.
0 references
field
0 references
algebraic integer
0 references
norm-Euclidean ring
0 references
polynomial optimization
0 references