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 correspondi...

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 correspondi...

Using a local monomialization result of Knaf and Kuhlmann, we prove that the valuation ring an Abhyankar function field over perfect ground prime characteristic is Frobenius split. We show splitting sufficiently well-behaved center lifts to ring. also investigate properties valuations centered on arbitrary Noetherian domains characteristic. In contrast [arXiv:1507.06009], this paper emphasizes ...

For certain classes of Prüfer domains A, we study the completion Â,T ofA with respect to the supremum topology T = sup{Tw|w ∈ Ω}, where Ω is the family of nontrivial valuations on the quotient field which are nonnegative on A and Tw is a topology induced by a valuation w ∈ Ω. It is shown that the concepts ‘SFT Prüfer domain’ and ‘generalized Dedekind domain’ are the same. We show that if E is t...

Valuation theory is one of the main tools for studying higher level orders and the reduced theory of forms over fields, see, for example [BR]. In [MW], the theory of higher level orders and reduced forms was generalized to rings with many units and many of the results for fields carried over to this setting. While it seems desirable to extend these results further, the techniques used for rings...

Let $f : A rightarrow B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we give a necessary and sufficient condition for the amalgamated algebra along an ideal $Abowtie^fJ$ to be $J$-Noetherian. Then we give a characterization for pseudo-irreducible ideals of $Abowtie^fJ$, in special cases.

Over any field an implicit linear difference equation one can reduce to the usual explicit one, which has infinitely many solutions ~ for each initial value. It is interesting consider over ring, because case of a ring significantly different from one. The previous results on equations rings mostly concern integers and low order equations. In present article high some other classes rings, parti...

A ring Λ is called a tiled order if Λ is a prime Noetherian semi-prefect semi-distributive ring with non-zero Jacobson radical. Any tiled order can be constructed from a (non-necessarily commutative) discrete valuation ring and an exponent matrix. The latter means a square integer matrix A = (αps), whose diagonal entries are equal to zero, and for all possible indices i, j, k, the following ine...