3

Proposition 7.8 Atiyah Macdonald says that:

Let $A\subseteq B\subseteq C$ be rings. Suppose that $A$ is Noeterian, that $C$ is finitely generated as an $A$-algebra and that $C$ is either (i) finitely generated as a B-module or (ii) integral over $B$. Then $B$ is finitely generated as an $A$-module.

I try to solve it and here is my solution: It is easy to see $C$ is Noetherian as an $A$-module. On the other hand, $B$ is also an $A$-module (because $B$ is subring of $C$). So $B$ is Noetherian as an $A$-module and we have done.

I know it is wrong but I can not realise where it is. Can you help me point it out?

Soulostar
  • 436
  • By the way, the proposition you were trying to prove is false. You have changed the proposition in transferring it from Atiyah to this post, and judging by your attempted proof, it seems like you were trying to prove this one, not the one in Atiyah. The error you made in transferring is that you wrote "Then $B$ is finitely generated as an $A$-module" instead of "Then $B$ is finitely generated as an $A$-algebra." It is easy to see that your version is false; for example, the rings $k \subseteq k[x] \subseteq k[x]$ with $k$ a field. –  Oct 21 '16 at 17:56

1 Answers1

3

In general $C$ is not a Noetherian $A$-module. For example $C = \mathbb{Z}[X]$ is a finitely generated $A$-algebra for $A = \mathbb{Z}$ but it is not a Noetherian $A$-module, as $$ \{ \text{polynomials of degree } \leq 1\} \subsetneq \{ \text{polynomials of degree } \leq 2 \} \subsetneq \dots $$ is a strictly increasing sequence of $A$-submodules of $C$.

Dune
  • 7,397