# Ideals in Valuation Domains

• November 28th 2009, 04:46 AM
robeuler
Ideals in Valuation Domains
Let V be a valuation integral domain. Let A be a proper ideal of V. And let B be the intersection of A, A^1, A^2,.... to infinity.

Prove that B is a prime ideal of V

Prove that if P is a prime ideal of V properly contained in A, then P is contained in B.
• November 28th 2009, 05:43 PM
NonCommAlg
Quote:

Originally Posted by robeuler
Let V be a valuation integral domain. Let A be a proper ideal of V. And let $B = \bigcap_{n=1}^{\infty}A^n.$

Prove that B is a prime ideal of V.

suppose $x,y \in V$ with $x \notin B, \ y \notin B.$ we need to show that $xy \notin B.$ so there exist integers $i, j \geq 1$ such that $x \notin A^i, \ y \notin A^j.$ therefore $A^i \subset , \ A^j \subset ,$ because the ideals of a

valuation ring are totally ordered. obviously $A^i \subseteq =.$ suppose that $A^i=.$ then $ry=xy,$ for some $r \in A^i$ and hence $x=r \in A^i,$ which is impossible.

thus $A^i \subset $ and so $A^{i+j} \subseteq A^i \subset .$ hence $xy \notin A^{i+j}$ and therefore $xy \notin B. \ \Box$

Quote:

Prove that if P is a prime ideal of V properly contained in A, then P is contained in B.
if $A^i \subseteq P,$ for some integer $i \geq 1,$ then $A \subseteq P,$ because $P$ is prime. but that would be impossible because we're given that $P$ is "properly" contained in $A.$ so we must have $P \subseteq A^i, \ \forall i \geq 1. \ \Box$