Valuation extensions of algebras defined by monic Gröbner bases. (Q694582): 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 01:59, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Valuation extensions of algebras defined by monic Gröbner bases. |
scientific article |
Statements
Valuation extensions of algebras defined by monic Gröbner bases. (English)
0 references
13 December 2012
0 references
The author continues his work in the study of algebras defined by monic Gröbner bases, on this occasion he focuses his attention on how it is possible to obtain a valuation extension on this type of algebras. Again, the key point to achieve this goal is to work with filtered-graded structures as valuation theory is closely related to these ones. If it is possible to define a valuation over a ring, then this valuation determines an exhaustive and separated filtration. This filtration has an associated graded algebra which is also a domain, moreover the converse is also true. It is proved in the paper that it is possible to extend, in a natural way, any exhaustive filtration over a commutative ring \(R\) to an exhaustive filtration over the algebra \(R\langle x_1,\dots,x_n\rangle/I\) defined by monic Gröbner bases, under certain conditions on the ideal \(I\), furthermore if the initial filtration over \(R\) is separated, then the filtration obtained over \(R\langle x_1,\dots,x_n\rangle/I\) is also separated. Using monic Gröbner bases, the notion of a good reduction to the previous algebra \(R\langle x_1,\dots,x_n\rangle/I\) is generalized. Once all of these results are together, he uses them to prove that if we have a field \(K\) equipped with a valuation, we can get, under certain conditions on the ideal \(I\), a valuation on the algebra \(R\langle x_1,\dots,x_n\rangle/I\) defined by monic Gröbner bases.
0 references
Gröbner bases
0 references
valuations
0 references
filtered algebras
0 references
graded algebras
0 references
good reduction
0 references