English

Rank one discrete valuations of $k((X_1,...X_n))$

Commutative Algebra 2012-03-24 v2

Abstract

In this paper we study the rank one discrete valuations of k((X1,...,Xn))k((X_1,... ,X_n)) whose center in k\lcor\X\rcork\lcor\X\rcor is the maximal ideal (\X)(\X). In sections 2 to 6 we give a construction of a system of parametric equations describing such valuations. This amounts to finding a parameter and a field of coefficients. We devote section 2 to finding an element of value 1, that is, a parameter. The field of coefficients is the residue field of the valuation, and it is given in section 5. The constructions given in these sections are not effective in the general case, because we need either to use the Zorn's lemma or to know explicitly a section σ\sigma of the natural homomorphism Rv\dR_v\to\d between the ring and the residue field of the valuation vv. However, as a consequence of this construction, in section 7, we prove that k((\X))k((\X)) can be embedded into a field L((\Y))L((\Y)), where the {\em ``extended valuation'' is as close as possible to the usual order function}.

Keywords

Cite

@article{arxiv.math/0010313,
  title  = {Rank one discrete valuations of $k((X_1,...X_n))$},
  author = {M. A. Olalla Acosta},
  journal= {arXiv preprint arXiv:math/0010313},
  year   = {2012}
}

Comments

21 pages