Related papers: Filtered Ring Derived from Discrete Valuation Ring…
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.
In this paper we show if R is a filtered ring and M a filtered R module then we can define a valuation on a module for M. Then we show that we can find an skeleton of valuation on M, and we prove some properties such that derived form it…
We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the…
The purpose of this article is to prove that Gersten's conjecture for a commutative discrete valuation ring is true. Combining with the result of \cite{GL87}, we learn that Gersten's conjecture is true if the ring is a commutative regular…
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.
The aim of this paper is to introduce and study graded and filtered gamma rings and gamma modules. We prove that the filtered $\Gamma$-ring (module) is a generalization of the notion of graded ring (module). Also, we construct a graded…
We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…
We give an explicit description of cubic rings over a discrete valuation ring, as well as a description of all ideals of such rings.
$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$Integer-valued rational functions are a natural generalization of integer-valued polynomials. Given a domain $D$, the collection of all integer-valued rational functions over $D$ forms a ring…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We show that a valuation ring containing its residue field of characteristic $p>0$ is a filtered direct limit of complete intersection ${\bf F}_p$-algebras.
We prove that a triangulated category which is the underlying category of a stable derivator has a filtered enhancement, providing an affirmative answer to a conjecture in [3].
Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…
As in Zariski's Uniformization Theorem we show that a valuation ring $V$ of characteristic $p>0$ of dimension one is a filtered direct limit of smooth ${\bf F}_p$-algebras under some conditions of transcendence degree. Under mild…
Two are the objectives of the present paper. First we study properties of a differentially simple commutative ring R with respect to a set D of derivations of R. Among the others we investigate the relation between the D-simplicity of R and…
We define a closure operation for rings of mixed characteristic and verify that the closure is a ring. We then show that this closure produces a ring with good properties with respect to its Fontaine ring and give an example to show that…
Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the…
Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a…
Although the characterization of ring derivations has an extensive literature, up to now, all of the characterizations have had the following form: additivity and another property imply that the function in question is a derivation. The aim…
We prove several new Bertini theorems over arbitrary fields and discrete valuation rings.