# Prove that R is a finitely generated S-module

1. Feb 10, 2007

### Dragonfall

1. The problem statement, all variables and given/known data

Let S be a subring of the ring R=$$\mathbb{C}[t]$$ which properly contains $$\mathbb{C}$$. Prove that R is a finitely generated S-module.

3. The attempt at a solution

Not sure where to start.

2. Feb 11, 2007

### Dragonfall

Does it have to do with presentation matrices?

3. Feb 11, 2007

### HallsofIvy

Staff Emeritus
I would say it has a lot to do with the DEFINITION of "finitely presented module"! How is that defined?

4. Feb 11, 2007

### Dragonfall

I got it. It seemed a lot harder than it is.