Valuation extensions of algebras defined by monic Gröbner bases. (Q694582)

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.