Quasi valuation and valuation derived from filtered ring and properties

M.H. Anjom SHoa,M.H. Hosseini

DOI: https://doi.org/10.48550/arXiv.1406.4523

2014-06-18

Abstract:In this paper we show if R is a filtered ring then we can define a quasi valuation. And if R is some kind of filtered ring then we can define a valuation. Then we prove some properties and relations for R.

Rings and Algebras

What problem does this paper attempt to address?

Quasi-Valuations Extending a Valuation

Shai Sarussi

DOI: https://doi.org/10.1016/j.jalgebra.2012.09.019

2012-09-19

Abstract:Suppose $F$ is a field with valuation $v$ and valuation ring $O_{v}$, $E$ is a finite field extension and $w$ is a quasi-valuation on $E$ extending $v$. We study quasi-valuations on $E$ that extend $v$; in particular, their corresponding rings and their prime spectrums. We prove that these ring extensions satisfy INC (incomparability), LO (lying over), and GD (going down) over $O_{v}$; in particular, they have the same Krull Dimension. We also prove that every such quasi-valuation is dominated by some valuation extending $v$. Under the assumption that the value monoid of the quasi-valuation is a group we prove that these ring extensions satisfy GU (going up) over $O_{v}$, and a bound on the size of the prime spectrum is given. In addition, a 1:1 correspondence is obtained between exponential quasi-valuations and integrally closed quasi-valuation rings. Given $R$, an algebra over $O_{v}$, we construct a quasi-valuation on $R$; we also construct a quasi-valuation on $R \otimes_{O_{v}} F$ which helps us prove our main Theorem. The main Theorem states that if $R \subseteq E$ satisfies $R \cap F=O_{v}$ and $E$ is the field of fractions of $R$, then $R$ and $v$ induce a quasi-valuation $w$ on $E$ such that $R=O_{w}$ and $w$ extends $v$; thus $R$ satisfies the properties of a quasi-valuation ring.

Commutative Algebra
Quasi-valuations - topology and the weak approximation theorem

Shai Sarussi

DOI: https://doi.org/10.48550/arXiv.1301.4338

2013-01-18

Abstract:Suppose $F$ is a field with a nontrivial valuation $v$ and valuation ring $O_{v}$, $E$ is a finite field extension and $w$ is a quasi-valuation on $E$ extending $v$. We study the topology induced by $w$. We prove that the quasi-valuation ring determines the topology, independent of the choice of its quasi-valuation. Moreover, we prove the weak approximation theorem for quasi-valuations.

General Topology,Rings and Algebras
Quasi-Fuzzy Valuations on HFI-Algebras

LI Ji-cheng,ZHANG Wen-xiu

DOI: https://doi.org/10.3969/j.issn.1001-7402.2000.02.001

2000-01-01

Abstract:In this paper,some of properties of generated filters of HFI Algebras are given out, and then, a quasi Fuzzy valuation was defined on HFI Algebra its properties were discussed.
On valuation rings

Mohammed Kabbour,Najib Mahdou

DOI: https://doi.org/10.48550/arXiv.0906.4505

2009-06-24

Abstract:In this paper we provide necessary and sufficient conditions for $ R=A\propto E $ to be a valuation ring where $E$ is a non-torsion or finitely generated $A-$module. Also, we investigate the $ (n,d) $ property of the valuation ring.

Commutative Algebra
Quasi-valuations and algebras over valuation domains

Shai Sarussi

DOI: https://doi.org/10.48550/arXiv.1308.4743

2013-08-22

Abstract:Suppose $F$ is a field with valuation $v$ and valuation domain $O_{v}$, and $R$ is an $O_{v}-$algebra. We prove that $R$ satisfies SGB (strong going between) over $O_{v}$. We give a necessary and sufficient condition for $R$ to satisfy LO (lying over) over $O_{v}$. Using the filter \qv constructed in [Sa1], we show that if $R$ is torsion-free over $O_{v}$ then $R$ satisfies GD (going down) over $O_{v}$. In particular, if $R$ is torsion-free and $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, then for any chain in $\text{Spec}(O_v)$ there exists a chain in $\text{Spec}(R)$ covering it. Assuming $R$ is torsion-free over $O_{v}$ and $[R \otimes_{O_{v}}F:F]< \infty$, we prove that $R$ satisfies INC (incomparabilty) over $O_{v}$. Assuming in addition that $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, we deduce that $R$ and $O_{v}$ have the same Krull dimension and a bound on the size of the prime spectrum of $R$ is given. Under certain assumptions on $R$ and a \qv defined on it, we prove that the \qv ring satisfies GU (going up) over $O_{v}$. Combining these five properties together, we deduce that any maximal chain of prime ideals of the \qv ring is lying over $\text{Spec}(O_{v})$, in a one-to-one correspondence.

Rings and Algebras
Valuations on power series rings in an arbitrary set of indeterminates

Phan Thanh Toan,Pham Thanh Tri,Thieu N. Vo

DOI: https://doi.org/10.1142/s0219498825503359

2024-08-18

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. Let [math] be an integral domain and [math] be a nonempty (either finite or infinite) set of indeterminates over [math]. There are three types of power series rings in the set [math] over [math], denoted by [math], [math], respectively. In general, [math] and the two containments can be strict. In this paper, we show that if [math] is a rank one valuation domain with valuation [math], then [math] defined by [math] is a valuation on [math]. Moreover, [math] is a prime ideal of [math] and [math] is the valuation domain associated with [math]. We also show that, for [math], if [math] is a valuation domain, then both [math] and [math] are DVRs. Our results generalize those by Arnold and Brewer in which [math] has a single indeterminate. In proving the results, we show that for each [math], [math] is completely integrally closed if and only if [math] is completely integrally closed.

mathematics, applied
Quasi-quadratic modules in pseudo-valuation domain

Masato Fujita,Masaru Kageyama

DOI: https://doi.org/10.1007/s10998-024-00605-1

2024-09-01

Periodica Mathematica Hungarica

Abstract:We study quasi-quadratic modules in a pseudo-valuation domain A whose strict units admit a square root. Let denote the set of quasi-quadratic modules in an R -module N , where R is a commutative ring. It is known that there exists a unique overring B of A such that B is a valuation ring with the valuation group and the maximal ideal of B coincides with that of A . Let F be the residue field of B . In the above setting, we found a one-to-one correspondence between and a subset of .

mathematics, applied
Algebraic valuation ring extensions as limits of complete intersection algebras

Dorin Popescu

2023-04-29

Abstract:We show that an algebraic immediate valuation ring extension of characteristic $p>0$ is a filtered union of complete intersection algebras of finite type.

Commutative Algebra,Algebraic Geometry
Pure transcendental, immediate valuation ring extensions as limits of smooth algebras

Dorin Popescu

2024-02-24

Abstract:We show that a pure transcendental, immediate extension of valuation rings $V\subset V'$ containing a field is a filtered union of smooth $V$-subalgebras of $V'$.

Commutative Algebra,Algebraic Geometry
Valuations and Frobenius

Rankeya Datta,Karen E. Smith

DOI: https://doi.org/10.2140/ant.2016.10.1057

2016-12-29

Abstract:The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.

Commutative Algebra
Valuation Semirings

Peyman Nasehpour

DOI: https://doi.org/10.1142/S0219498818500731

2017-03-30

Abstract:The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with the help of valuation maps and prove that a multiplicatively cancellative semiring is a valuation semiring if and only if its ideals are totally ordered by inclusion. We also prove that if the unique maximal ideal of a valuation semiring is subtractive, then it is integrally closed. We end this paper by introducing discrete valuation semirings and show that a semiring is a discrete valuation semiring if and only if it is a multiplicatively cancellative principal ideal semiring possessing a nonzero unique maximal ideal. We also prove that a discrete valuation semiring is a Gaussian semiring if and only if its unique maximal ideal is subtractive.

Commutative Algebra,Group Theory,Rings and Algebras
Generating sequences of valuations on simple extensions of domains

Razieh Ahmadian,Steven Dale Cutkosky

2023-08-10

Abstract:Suppose that $(K,v_0)$ is a valued field, $f(x)\in K[x]$ is a monic and irreducible polynomial and $(L,v)$ is an extension of valued fields, where $L=K[x]/(f(x))$. Let $A$ be a local domain with quotient field $K$ dominated by the valuation ring of $v_0$ and such that $f(x)$ is in $A[x]$. The study of these extensions is a classical subject. This paper is devoted to the problem of describing the structure of the associated graded ring ${\rm gr}_v A[x]/(f(x))$ of $A[x]/(f(x))$ for the filtration defined by $v$ as an extension of the associated graded ring of $A$ for the filtration defined by $v_0$. We give a complete simple description of this algebra when there is unique extension of $v_0$ to $L$ and the residue characteristic of $A$ does not divide the degree of $f$. To do this, we show that the sequence of key polynomials constructed by MacLane's algorithm can be taken to lie inside $A[x]$. This result was proven using a different method in the more restrictive case that the residue fields of $A$ and of the valuation ring of $v$ are equal and algebraically closed in a recent paper by Cutkosky, Mourtada and Teissier.

Commutative Algebra,Algebraic Geometry
The Zariski-Riemann space of valuation domains associated to pseudo-convergent sequences

Giulio Peruginelli,Dario Spirito

DOI: https://doi.org/10.1090/tran/8185

2020-09-16

Abstract:Let $V$ be a valuation domain with quotient field $K$. Given a pseudo-convergent sequence $E$ in $K$, we study two constructions associating to $E$ a valuation domain of $K(X)$ lying over $V$, especially when $V$ has rank one. The first one has been introduced by Ostrowski, the second one more recently by Loper and Werner. We describe the main properties of these valuation domains, and we give a notion of equivalence on the set of pseudo-convergent sequences of $K$ characterizing when the associated valuation domains are equal. Then, we analyze the topological properties of the Zariski-Riemann spaces formed by these valuation domains.

Commutative Algebra
Upper Ramification Groups for Arbitrary Valuation Rings

Kazuya Kato,Vaidehee Thatte

2024-04-02

Abstract:T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure $B$ of $A$ in $L$ is a filtered union of subrings of $B$ which are of complete intersection over $A$. By this, we can obtain a ramification theory of Henselian valuation rings as the limit of the ramification theory of Saito. Our theory generalizes the ramification theory of complete discrete valuation rings of Abbes-Saito. We study "defect extensions" which are not treated in these previous works.

Algebraic Geometry
A family of quotients of the Rees algebra

Valentina Barucci,Marco D'Anna,Francesco Strazzanti

DOI: https://doi.org/10.48550/arXiv.1403.4200

2014-03-18

Abstract:A family of quotient rings of the Rees algebra associated to a commutative ring is studied. This family generalizes both the classical concept of idealization by Nagata and a more recent concept, the amalgamated duplication of a ring. It is shown that several properties of the rings of this family do not depend on the particular member.

Commutative Algebra
What are discrete valuation rings? What are Dedekind domains?

Wayne Aitken

DOI: https://doi.org/10.48550/arXiv.2102.11725

2021-02-21

Abstract:This is an extended introduction to discrete valuation rings and Dedekind domains. Some natural generalizations of Dedekind domains are also (briefly) discussed including "almost Dedekind domains", Prüfer domains, Krull domains, and singular integral domains of dimension 1.

History and Overview,Commutative Algebra,Number Theory
Definable henselian valuations in positive residue characteristic

Margarete Ketelsen,Simone Ramello,Piotr Szewczyk

2024-06-11

Abstract:We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial definable henselian valuation. In particular, we treat cases where the canonical henselian valuation has positive residue characteristic, using techniques from the model theory and algebra of tame fields.

Logic,Commutative Algebra
Flat modules over valuation rings

F. Couchot

DOI: https://doi.org/10.1016/j.jpaa.2007.01.010

IF: 0.834

2007-10-01

Journal of Pure and Applied Algebra

Abstract:Let R be a valuation ring and let Q be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if Q is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of R is a zero-divisor and that each singly projective module is locally projective if and only if R is self-injective. Moreover, R is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or π-coherent.A complete characterization of semihereditary commutative rings which are π-coherent is given. When R is a commutative ring with a self-FP-injective quotient ring Q, it is proved that each flat R-module is finitely projective if and only if Q is perfect.

mathematics, applied
Characterizing diophantine henselian valuation rings and valuation ideals

Sylvy Anscombe,Arno Fehm

DOI: https://doi.org/10.1112/plms.12042

2016-02-03

Abstract:We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative results on diophantine henselian valuation rings and diophantine valuation ideals in the literature. We also treat questions of uniformity and we apply the results to show that a given field can carry at most one diophantine nontrivial equicharacteristic henselian valuation ring or valuation ideal.

Logic,Commutative Algebra,Number Theory

Quasi valuation and valuation derived from filtered ring and properties

Quasi-Valuations Extending a Valuation

Quasi-valuations - topology and the weak approximation theorem

Quasi-Fuzzy Valuations on HFI-Algebras

On valuation rings

Quasi-valuations and algebras over valuation domains

Valuations on power series rings in an arbitrary set of indeterminates

Quasi-quadratic modules in pseudo-valuation domain

Algebraic valuation ring extensions as limits of complete intersection algebras

Pure transcendental, immediate valuation ring extensions as limits of smooth algebras

Valuations and Frobenius

Valuation Semirings

Generating sequences of valuations on simple extensions of domains

The Zariski-Riemann space of valuation domains associated to pseudo-convergent sequences

Upper Ramification Groups for Arbitrary Valuation Rings

A family of quotients of the Rees algebra

What are discrete valuation rings? What are Dedekind domains?

Definable henselian valuations in positive residue characteristic

Flat modules over valuation rings

Characterizing diophantine henselian valuation rings and valuation ideals