Let be a commutative ring with identity and the ring of Laurent polynomials with coefficients in Obviously is not a finitely generated -module but we can prove this:

**Problem**. There exists such that is a finitely generated -module.

**Solution**. Let Then and Now an easy induction shows that for all Hence

Advertisements