
Mathematics 2007
On the valuesemigroup of a simple complete ideal in a twodimensional regular local ringAbstract: Let R be a twodimensional regular local ring with maximal ideal \mathfrak m, and let \wp be a simple complete \mathfrak mprimary ideal which is residually rational. Let R_0:= R\subsetneqq ...\subsetneqq R_r be the quadratic sequence associated to \wp, let \Gamma_\wp be the valuesemigroup associated to \wp, and let ((e_j(\wp))_{0\leq j\leq r} be the multiplicity sequence of \wp. We associate to \wp a sequence of natural integers, the formal characteristic sequence of \wp, and we show that the valuesemigroup, the multiplicity sequence and the formal characteristic sequence are equivalent data. Furthermore, we give a new proof that \Gamma_\wp is symmetric, and give a formula for c_\wp, the conductor of \Gamma_\wp, in terms of entries of the HamburgerNoether tableau of \wp.
