A negative answer to a question about leading terms ideals of polynomial ideals (Q1936114): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2012.03.017 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969432150 / rank | |||
Normal rank |
Revision as of 19:48, 19 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