- #1
- 299
- 68
Hello,
I asked somebody a question, and didn't understood his answer. Can someone explain it to me ?
My question was : Is there a valuation ring in ℚ(x,y), lying above the ideal <x,y> in the ring ℚ[x,y], whose residual field is a non-trivial extension of ℚ ? Here is his answer:
This is not too hard, geometrically blow up the origin, then there are infinitely many points on that P1. If you blowup anyone of those points, that gives a distinct discrete valuation lying over the origin. The residue field of every such valuation ring is a transcendental (degree = 1) extension of ℚ.
I asked somebody a question, and didn't understood his answer. Can someone explain it to me ?
My question was : Is there a valuation ring in ℚ(x,y), lying above the ideal <x,y> in the ring ℚ[x,y], whose residual field is a non-trivial extension of ℚ ? Here is his answer:
This is not too hard, geometrically blow up the origin, then there are infinitely many points on that P1. If you blowup anyone of those points, that gives a distinct discrete valuation lying over the origin. The residue field of every such valuation ring is a transcendental (degree = 1) extension of ℚ.