A negative answer to a question about leading terms ideals of polynomial ideals (Q1936114): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A negative answer to a question about leading terms ideals of polynomial ideals |
scientific article |
Statements
A negative answer to a question about leading terms ideals of polynomial ideals (English)
0 references
21 February 2013
0 references
It is known that in many algebra systems, \(S\) is a Gröbner-Shirshov basis for the ideal \(I\) if \(S\subseteq I\) and the ideal \(LT(S)\) generated by the leading terms of \(S\) equals the ideal \(LT(I)\). In the special case that for any finitely generated polynomial algebra \(R[x_1, \dots , x_n]\), where \(R\) is a Noetherian commutative ring with unit \(1\), \(S\) is a Gröbner-Shirshov basis for the finitely generated ideal \(I\) if \(S \subseteq I\), and \(LT(S)=LT(I)\). Since any ideal in \(R[x_1, \dots , x_n]\) has finite Gröbner-Shirshov basis, we have there is a Gröbner-Shirshov basis \(S' \subseteq I\) such that \(LT(S')=LT(I)\), i.e., \(LT(I)\) is finitely generated. A ring \(R\) is said to be Gröbner if for any finitely generated ideal \(I\) of \(R[x_1, \dots , x_n]\), fixing a monomial ordering on \(R[x_1, \dots , x_n]\), \(LT(I)\) is finitely generated. There is a conjecture says that a valuation domain is Gröbner if and only if its Krull dimension is \(\leq 1\). This paper technically constructs an example of a finitely generated ideal \(I\) of \(R[X]\), where \(R\) is a one dimension domain, whose leading terms ideal is not finitely generated. This gives a negative answer to the open question of whether if \(R\) is a domain with Krull dimension \(\leq 1\), then \(R\) is Gröbner.
0 references
Gröbner basis
0 references
Krull dimension
0 references
ideal
0 references