In the book Introduction to Commutative algebra (Atiyah and Macdonald), Corollary 5.22 reads:
Let $A\subset K$ be a subring of a field $K$, then the integral closure of $A$ is intersection of all valuation rings of $K$ containing $A$.
Is it still true if we replace "valuation rings" above by "discrete valuation rings"?
2026-03-26 06:05:30.1774505130
integral closure is intersection of discrete valuation rings?
588 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in RING-THEORY
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- A commutative ring is prime if and only if it is a domain.
- Find gcd and invertible elements of a ring.
- Prove that $R[x]$ is an integral domain if and only if $R$ is an integral domain.
- Prove that $Z[i]/(5)$ is not a field. Check proof?
- If $P$ is a prime ideal of $R[x;\delta]$ such as $P\cap R=\{0\}$, is $P(Q[x;\delta])$ also prime?
- Let $R$ be a simple ring having a minimal left ideal $L$. Then every simple $R$-module is isomorphic to $L$.
- A quotient of a polynomial ring
- Does a ring isomorphism between two $F$-algebras must be a $F$-linear transformation
- Prove that a ring of fractions is a local ring
Related Questions in COMMUTATIVE-ALGEBRA
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- Extending a linear action to monomials of higher degree
- Tensor product commutes with infinite products
- Example of simple modules
- Describe explicitly a minimal free resolution
- Ideals of $k[[x,y]]$
- $k[[x,y]]/I$ is a Gorenstein ring implies that $I$ is generated by 2 elements
- There is no ring map $\mathbb C[x] \to \mathbb C[x]$ swapping the prime ideals $(x-1)$ and $(x)$
- Inclusions in tensor products
- Principal Ideal Ring which is not Integral
Related Questions in VALUATION-THEORY
- Does every valuation ring arise out of a valuation?
- Calculating the residue field of $\mathbb{F}_q(t)$ with respect to the valuation $-\deg$
- Different discrete valuation rings inside the same fraction field
- Extensions of maximally complete fields
- State Price Density Integration - Related to Ito's lemma
- Valuation on the field of rational functions
- Is every algebraically closed subfield of $\mathbb C[[X]]$ contained in $\mathbb C$?
- Working out an inequality in the proof of Ostrowski's Theorem
- The image of a valuation is dense in $\mathbb{R}$
- Kernel of the map $D^2+aD+b : k[[X]] \to k[[X]]$ , where $D :k[[X]] \to k[[X]]$ is the usual derivative map
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Without some other major assumptions on $A$, this is false. An important class of domains for which it is does hold are the Krull domains, which includes UFDs. As pointed out in the comments it is also true for Noetherian domains, which can be argued directly or taken for granted from e.g. the Mori-Nagata theorem and the statement for Krull domains.
The easiest counterexample comes from valuation domains, because a valuation domain is integrally closed and it is the intersection of discrete valuation rings precisely when it is a DVR itself. (An easy way to see this is to note that overrings of a valuation domain are just localizations at prime ideals, and that a DVR is 1-dimensional.)
If you are familiar with the concept of complete integral closure, then note also that your hypothesis would imply that the complete integral closure of $A$ coincides with the integral closure of $A$, which is usually not the case, even with significant chain conditions like having ACCP (or even stronger being Mori).