A negative answer to a question about leading terms ideals of polynomial ideals (Q1936114): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamical Gröbner bases over Dedekind rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Krull dimension, Nullstellensätze and dynamical evaluation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Gröbner ring conjecture in one variable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the leading terms ideals of polynomial ideals over a valuation ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamical Gröbner bases / rank | |||
Normal rank |
Latest revision as of 05:45, 6 July 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
0 references
0 references