Bourbaki

Exercise 5, § 1

Commutative Algebra, V, 355

Let AA be a commutative ring, BB a commutative ring containing AA and xx an invertible element of BB. Show that every element of A[x]∩A[x−1]A[x] \cap A[x^{-1}] is integral over AA. (If y=a0+…+apx−p=b0+…+bqxqy = a_0 + \ldots + a_p x^{-p} = b_0 + \ldots + b_q x^q, where the aia_i and bjb_j are in AA, show that the sub-A-module of BB generated by 1, x, …, xp+q+11,\ x,\ \ldots,\ x^{p+q+1} is a faithful A[y]A[y]-module.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.