On the ring of invariants of F*2n.
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.
We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal invariants for the complexity of this ordered set. In particular, we give an interpretation of the height function in terms of the Hilbert-Samuel polynomial, and we compute bounds on the maximal order type.