The membership problem for finitely generated quadratic modules in the univariate case (Q1934974): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:33, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The membership problem for finitely generated quadratic modules in the univariate case |
scientific article |
Statements
The membership problem for finitely generated quadratic modules in the univariate case (English)
0 references
30 January 2013
0 references
A quadratic module of a ring \(R\) is a subset \(Q \subseteq R\) that contains \(1\) and is closed under addition and under multiplication with squares of elements of \(R\). If moreover \(Q\) is closed under multiplication, it is called a preordering. In the case \(R = \mathbb{R}[X]\) one associates the semi-algebraic set \(S := \{x \in \mathbb R \mid g(x) \geq 0\,\, \forall g \in Q\}\) to \(Q\). The central result of the present article is a complete classification of all finitely generated quadratic modules \(Q\) for which the set \(S\) is compact (Theorem~3.2 and Corollary~4.5). Note that in that case, \(Q\) is automatically closed under multiplication, i.e., it is a preordering. This classification implies that \(Q\) is first-order definable in a suitable sense. In the case where \(S\) is not compact, definability was already known before, so one now has definability for any finitely generated quadratic module \(Q\) of \(\mathbb{R}[X]\) (Theorem~3.3). From this, the author deduces that the membership problem for such a \(Q\) is solvable, i.e., there exists an algorithm deciding whether a given polynomial lies in \(Q\) (Corollary~3.4). As another application of the classification result, the author obtains a natural set of generators for any finitely generated quadratic module whose set \(S\) is compact. This generalizes results of \textit{S. Kuhlmann} and \textit{M. Marshall} [Trans. Am. Math. Soc. 354, No.11, 4285--4301 (2002; Zbl 1012.14019)].
0 references
Quadratic module
0 references
preordering
0 references
membership problem
0 references
natural generators
0 references