加载中…
Suppose that is an arbitrary field. Consider the field , which is the quotient field of the ring of formal power series in the variables , with coefficients in . Suppose that is a formal power series in with coefficints in the algebraic closure of . We give a very simple necessary and sufficient condition for to be algebraic over . As an application of our methods, we give a characterization of valuation rings which dominate an excellent, Noetherian local domain of dimension two, and such that the rank increases after passing to the completion of a birational extension of .

生成讲解博客的中文版本

生成AI智能校验的中文版本