When $M$ is a submodule of $M[t^{-1}]$?

29 Views Asked by At

Take $X=\mathbb{C}[[t]]$ and $M$ an $X$ module. I was reading the following statement:

If M is flat as $X-$module then $M$ can be seen as submodule of $M[t^{-1}]$

Now, I think that I can prove it using the flatness, the idea is watching $$ M \cong M\otimes_XX \hookrightarrow M \otimes \mathbb{C}[[t]][t^{-1}]\cong M[t^{-1}].$$

Now, I think that is always true that $M$ is an $X$-submodule of $M[t^{-1}]$. I'd appreciate any type of help

1

There are 1 best solutions below

1
On BEST ANSWER

The map $M \to M[t^{-1}], m \mapsto \frac{m}{1},$ is injective if and only if the map $M \to M, m \mapsto tm,$ is.