Skip to main content
edited tags
Link
Matt Samuel
  • 59.6k
  • 11
  • 80
  • 121
Source Link

$k[x]$ and its subfield as a finitely generated $k[t]$ Module

The following is from "Aluffi Chapter 0" V.1.3

1.3. Let $k$ be a field, and let $f \in k[x], f \notin k$. For every subring $R$ of $k[x]$ containing $k$ and $f$, define a homomorphism $\varphi: k[t] \rightarrow R$ by extending the identity on $k$ and mapping $t$ to $f$. This makes every such $R$ a $k[t]$-algebra (Example III.5.6).

  • i) Prove that $k[x]$ is finitely generated as a $k[t]$-module.
  • ii) Prove that every subring $R$ as above is finitely generated as a $k[t]$-module.
  • iii) Prove that every subring of $k[x]$ containing $k$ is a Noetherian ring.

My question is about my approach:

i) For first we can define trivial isomorphism of rings as:

$$g:k[t]\to k[x]\\f(t)\mapsto f(x)$$

Which makes $k[x]$ a $k[t]$-Module

Since they are isomorphic module $k[t]$ as $k[t]$-Module is the same as $k[x]$ as $k[t]$ module which is then finitely generated by $1\in k[x]$. However this is a different $k[t]$ module structre on $k[x]$ than what question asked. Then I guess we should use $\varphi: k[t] \to R$ by extending the target as $$\varphi: k[t] \to R\subset k[x]$$ so via this $k[x]$ is a $k[t]$ module

I think I am so confused, any hint, answer would be appreciated.