Abstract:Abstract. Given a valuation on the function field k(x, y), we examine the set of images of nonzero elements of the underlying polynomial ring k [x, y] under this valuation. For an arbitrary field k, a Noetherian power series is a map z : Q → k that has Noetherian (i.e., reverse well-ordered) support. Each Noetherian power series induces a natural valuation on k(x, y). Although the value groups corresponding to such valuations are well-understood, the restrictions of the valuations to underlying polynomial ri… Show more
“…• The following papers only reference [26] (either explicitly or via [27]) in the case where K = F p , and are thus unaffected: [3], [28], [32], [35]. • The following papers only rely on the prior result [26, Theorem 1], and are thus unaffected: [6], [11], [34]. • The paper [36] references the transfinite Newton recurrence described in [27, §2], and is thus unaffected.…”
Abstract. Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn-Mal'cev-Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where K is the algebraic closure of a finite field. We also characterize the integral closure of K(t), thus generalizing a well-known theorem of Christol and suggesting a possible framework for computing in this integral closure. We recover various corollaries on the structure of algebraic generalized power series; one of these is an extension of Derksen's theorem on the zero sets of linear recurrent sequences in characteristic p.
“…• The following papers only reference [26] (either explicitly or via [27]) in the case where K = F p , and are thus unaffected: [3], [28], [32], [35]. • The following papers only rely on the prior result [26, Theorem 1], and are thus unaffected: [6], [11], [34]. • The paper [36] references the transfinite Newton recurrence described in [27, §2], and is thus unaffected.…”
Abstract. Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn-Mal'cev-Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where K is the algebraic closure of a finite field. We also characterize the integral closure of K(t), thus generalizing a well-known theorem of Christol and suggesting a possible framework for computing in this integral closure. We recover various corollaries on the structure of algebraic generalized power series; one of these is an extension of Derksen's theorem on the zero sets of linear recurrent sequences in characteristic p.
“…For the entirety of this paper, we focus on the polynomial ring K[x, y] in two variables over a field K of arbitrary characteristic. Constructions of K-valuations v on K(x, y) with v(K[x, y] * ) reversely well-ordered are investigated in [MoSw1], [MoSw2], [Mo1] and [Mo2].…”
We examine valuations on a rational function field K(x, y) and analyze their behavior when restricting to an underlying polynomial ring K[x, y]. Motivated to solve the ideal membership problem in polynomial rings using Moss Sweedler's framework of generalized Gröbner bases, we produce an infinite collection of valuations v : K(x, y) → Z ⊕ Z such that v(K[x, y] * ) is reversely well-ordered. In addition, we construct a surprising example where v(K[x, y] * ) is nonpositive, yet not reversely well ordered.
“…Note that the triangle inequality was chosen to be opposite of the most common definition, which is so that our results most closely coincide with those concerning monomial orders. For more details, see [MoSw1], [MoSw2], and [M]. A valuation on F over k is a valuation on F such that its restriction to k * is the zero map.…”
Classically, Gröbner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on k(x, y) that are suitable for this framework.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.