多项式扩张不保持强有限型性质
Polynomial extensions do not preserve the strong finite type property
AI总结：
该研究针对多项式扩张是否保持强有限型（SFT）性质这一公开问题，构造出SFT环R但R[X]非SFT，给出了否定解答。
AI中文摘要：
Arnold于1973年在研究幂级数环的维数时引入了强有限型（SFT）性质。对几类环而言，多项式扩张可保持SFT性质已为人知，但该问题的一般情形仍未解决。我们通过构造一个SFT环R，使得R[X]不是SFT，给出了否定回答。
英文摘要：
Arnold introduced the strong finite type (SFT) property in 1973 while studying the dimension of power series rings. For several classes of rings, polynomial extension is known to preserve the SFT property, but the general question remained open. We answer it negatively by constructing an SFT ring $R$ such that $R[X]$ is not SFT.
