R, Sを可換環とします。
アティマクのProposition5.1によると、x∈SがR上整であることと、R[x]がR上有限生成であることが同値らしいのですが、R[x]はつねにR上有限生成だと思うのですが、これはどういう意味なのでしょうか？