English
Related papers

Related papers: Dp-finite and Noetherian NIP integral domains

200 papers

We prove an assortment of results on (commutative and unital) NIP rings, especially $\mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is…

Logic · Mathematics 2022-07-20 Will Johnson

We prove that definable ring topologies on NIP fields are closely connected to NIP integral domains. More precisely, we show that up to elementary equivalence, any NIP topological field arises from an NIP integral domain. As an application,…

Logic · Mathematics 2025-04-16 Will Johnson

It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$.…

Logic · Mathematics 2020-06-11 Christian d'Elbée , Yatir Halevi

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…

Logic · Mathematics 2020-01-16 Will Johnson

Let $K$ be a field of characteristic 0 and $S=K[x_1,\ldots,x_m]/I$ be an affine domain. Consider $R=S_P$ where $P\in Spec(S)$ such that $R$ is regular. In this paper we construct a field $F$ which is contained in $R$ such that (1) The…

Commutative Algebra · Mathematics 2024-06-11 Sayed Sadiqul Islam , Tony J. Puthenpurakal

Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already…

Algebraic Geometry · Mathematics 2015-05-13 Ofer Gabber , Fabrice Orgogozo

In this paper, we completely describe the family of integrally closed Noetherian domains between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$. We accomplish this result by classifying the Krull domains between these two polynomial rings. To this…

Commutative Algebra · Mathematics 2026-02-02 Gyu Whan Chang , Giulio Peruginelli

Local Noetherian domains arising as local rings of points of varieties or in the context of algebraic number theory are analytically unramified, meaning their completions have no nontrivial nilpotent elements. However, looking elsewhere,…

Commutative Algebra · Mathematics 2012-09-14 Bruce Olberding

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…

Logic · Mathematics 2025-04-16 Christian d'Elbée , Yatir Halevi , Will Johnson

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$, among all ideals $I$ in $R$. In this paper, we obtain a characterization of Noetherian rings $R$ whose rank is not equal to the supremum of ranks of…

Commutative Algebra · Mathematics 2025-09-22 Dmitry Kudryakov

Let $D$ be an integrally closed local Noetherian domain of Krull dimension 2, and let $f$ be a nonzero element of $D$ such that $fD$ has prime radical. We consider when an integrally closed ring $H$ between $D$ and $D_f$ is determined…

Commutative Algebra · Mathematics 2017-04-26 Bruce Olberding , Francesca Tartarone

We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…

Commutative Algebra · Mathematics 2017-09-13 Chloe I. Avery , Caitlyn Booms , Timothy M. Kostolansky , S. Loepp , Alex Semendinger

Using an old example of Nagata, we construct a Noetherian ring of prime characteristic p, whose Frobenius morphism is locally finite, but not finite.

Commutative Algebra · Mathematics 2022-07-21 Tiberiu Dumitrescu , Cristodor Ionescu

We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…

Logic · Mathematics 2020-05-29 Will Johnson

In this paper, we introduce a new notion, called the integral dimension, for noetherian rings. It can be regarded as the weak Briancon-Skoda numbers of rings. The point is that every noetherian local ring has finite integral dimension.

Commutative Algebra · Mathematics 2016-03-02 Caijun Zhou

We investigate the rings in which the set of nonzero elements is positive-existential (i.e. a finite union of projections of "algebraic" sets). In the case of Noetherian domains, we prove in particular that this condition is satisfied…

Commutative Algebra · Mathematics 2011-11-10 Laurent Moret-Bailly

Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$.…

Commutative Algebra · Mathematics 2018-01-22 Rankeya Datta , Karen E. Smith

Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice…

Commutative Algebra · Mathematics 2014-04-15 William Heinzer , Christel Rotthaus , Sylvia Wiegand

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map.…

Commutative Algebra · Mathematics 2017-04-25 Kazuma Shimomoto

Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if…

Commutative Algebra · Mathematics 2023-06-16 Bruce Olberding , William Heinzer
‹ Prev 1 2 3 10 Next ›