On the minimal reduction and multiplicity of .
Let k[[x,y]] be the formal power series ring in two variables over a field k of characteristic zero and let d be a nonzero derivation of k[[x,y]]. We prove that if Ker(d) ≠ k then Ker(d) = Ker(δ), where δ is a jacobian derivation of k[[x,y]]. Moreover, Ker(d) is of the form k[[h]] for some h ∈ k[[x,y]].
We show that the S-Euclidean minimum of an ideal class is a rational number, generalizing a result of Cerri. In the proof, we actually obtain a slight refinement of this and give some corollaries which explain the relationship of our results with Lenstra's notion of a norm-Euclidean ideal class and the conjecture of Barnes and Swinnerton-Dyer on quadratic forms. In particular, we resolve a conjecture of Lenstra except when the S-units have rank one. The proof is self-contained but uses ideas from...
We describe an ultrametric version of the Stone-Weierstrass theorem, without any assumption on the residue field. If is a subset of a rank-one valuation domain , we show that the ring of polynomial functions is dense in the ring of continuous functions from to if and only if the topological closure of in the completion of is compact. We then show how to expand continuous functions in sums of polynomials.