5
$\begingroup$

Let $R$ be a principal ideal domain. Let $M$ be a finitely generated torsion-free $R$-module. Suppose that $S$ is a submodule of $M$ such that rank$(S)=1$ and $M/S$ is a torsion module. Prove that $M$ is a free $R$-module with rank$(M)=1$.

My partial answer:

Since $M/S$ is a torsion module, we can find $m_0+S \in M/S$ where $m_0 \notin S$ and $r_0 \in R\backslash\{0\}$ such that $r_0(m_0+S)=S$. Hence, $r_0m_0 \in S$. Since $tm_0=0$ only satisfied by $t=0$, then $\{m_0\}$ is linearly independent. It's clear that $\langle\langle m_0 \rangle \rangle \subseteq M$. How to prove the reverse inclusion?

$\endgroup$
  • $\begingroup$ All elements $m+S\in M/S$ have finite order, don't they? You will have to use that $S$ has rank $1$. $\endgroup$ – Berci Mar 24 '13 at 15:01
  • $\begingroup$ The reverse inclusion does not necessarily hold. You might have $R=M=\mathbb{Z}$, $S=6\mathbb{Z}$, and you might have accidentally picked $m_0=2$. $\endgroup$ – Jyrki Lahtonen Mar 24 '13 at 15:11
  • $\begingroup$ So how to find an $m'\in M$ such that $\{m'\}$ is a basis for $M$? $\endgroup$ – beginner Mar 24 '13 at 15:14
  • $\begingroup$ How much structure theory of f.g. modules over a PID have you covered? $\endgroup$ – Jyrki Lahtonen Mar 24 '13 at 15:36
2
$\begingroup$

Let $$N=\{m\in M\mid rm\in S\ \text{for some $r\in R, r\neq0$}\}.$$ We were also given that $S$ is free of rank one, so let $s$ be a generator of $S$ as an $R$-module.

Hints (for steps):

  1. Show that $N=M$.
  2. Let $m_1,m_2,\ldots, m_k$ be generators of $M$. By step 1 there exist some elements $r_i,i=1,2,\ldots,k$ such that $r_im_i\in S$ for $i=1,2,\ldots,k$. Let $I$ be the ideal generated by the elements $r_i$. Show that $I$ is the smallest ideal of $R$ such that $IM\subseteq S$.
  3. Let $$ J=\{r\in R\mid rs\in IM\}. $$ Check that this is an ideal of $R$ as well.
  4. Let $i\in I$ and $j\in J$ be generators of the two ideals. Show that there exists an element $m_0\in M$ such that $im_0=js$.
  5. Show that $m_0$ generates $M$.
$\endgroup$
  • $\begingroup$ Not happy with this. Fairly sure that $J=R$, and something simpler is out there. Thinking... $\endgroup$ – Jyrki Lahtonen Mar 24 '13 at 15:33
2
$\begingroup$

Since $M$ is a finitely genearated module over PID and torsion-free, then $M$ is a free module. Since rank$(S)=1$ then $S\neq \{0\}$, hence $M\neq \{0\}$. Assume contrary that rank$(M) \neq 1$ then we have rank$(M)>1$. Let $B$ be a basis for $M$ with $|B|>1$. Let $b_1,b_2$ be a different element of $B$. Since $b_1+S, b_2+S \in M/S$ then there exist $r_1,r_2 \in R \backslash \{0\}$ such that $r_1(b_1+S)=S$ and $r_2(b_2+S)=S$. Hence, $r_1b_1, r_2b_2 \in S$. Since $M$ is torsion-free, then $r_1b_1\neq 0$ and $r_2b_2\neq 0$. Let $\{s\}$ be a basis of $S$, then there exist $r_1',r_2' \in R \backslash \{0\}$ such that $r_1b_1=r_1's$ and $r_2b_2=r_2's$. Hence, we have $r_2'r_1 \neq 0$ and $-r_1'r_2 \neq 0$ such that $(r_2'r_1)b_1+(-r_1'r_2)b_2=0$, contrary to $B$ is linearly independent. So, rank$(M)=1$.

$\endgroup$
  • $\begingroup$ +1 Well done! Ok, so you did know that torsion-free and f.g. implies free. I tried to do without :-) $\endgroup$ – Jyrki Lahtonen Mar 24 '13 at 16:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.