Let be a commutative algebra over a field . Assume is a noetherian, infinite, integral domain. The group of automorphisms of ,i.e. acts in a natural way on .In the first part of this article, we study the structure of when the orbit space is finite.We note that most of the results, not particularly relevent to fields, in [1,\S 2] hold in this case as well. Moreover, we prove that is a field. In the second part, we study a special case of the Conjecture 2.1 in [1] : If is a non trivial field extension where is algebraically closed and then is algebraically closed. In the end, we give an elementary proof of [1,Theorem 1.1] in case is finitely generated over its prime subfield.

生成讲解博客的中文版本

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