Module-finiteness of Laurent polynomial rings

Posted: March 11, 2010 in Elementary Algebra; Problems & Solutions, Rings and Modules
Tags: , , ,

Let R be a commutative ring with identity and S=R[x,x^{-1}], the ring of Laurent polynomials with coefficients in R. Obviously S is not a finitely generated R-module but we can prove this:

Problem. There exists f \in S such that S is a finitely generated R[f]-module.

Solution. Let f=x+x^{-1}. Then x=f - x^{-1} and x^{-1}=f-x. Now an easy induction shows that x^n \in xR[f]+R[f] for all n \in \mathbb{Z}. Hence S=xR[f] + R[f]. \ \Box


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s