3
$\begingroup$

Let M and N be left R-Modules, is it possible to construct an example of a sub-module of $M \oplus N$ that is not a direct sum of a submodule of M and a submodule of N?

I don't know a whole lot of Modules so I was trying to think of ideals. Maybe some polynomials in two variables x,y?

Anyone think this is on track?

  • 0
    Try the direct sum of $\mathbb{R}$-modules $\mathbb{R} \oplus \mathbb{R}$.2011-09-11

1 Answers 1

8

Hint: Let $R=N=M=\mathbb{Z}$. There are many $(x,y)\in \mathbb{Z}\oplus \mathbb{Z}$ such that the submodule generated by $(x,y)$ is not the direct sum of submodules of $\mathbb{Z}$. Can you find some?

This works in much greater generality than $\mathbb{Z}$, of course.

  • 0
    since $ \mathbb{Z} $ only has $ n \mathbb{Z} $ as submodules (they're the only subgroups) wouldn't any module generated by (n,m) be the direct sum of $ n \mathbb{Z} $ and $ m \mathbb{Z} $? I guess if I use two points though like $ (2,3),(5,7) $ maybe they generate a submodule that can't be the direct sum of any submodules of $ \mathbb{Z} $2011-09-11
  • 2
    Compare $$n\mathbb{Z}\oplus m\mathbb{Z}=\{(a,b)\in\mathbb{Z}\oplus\mathbb{Z}\mid n\text{ divides } a, m\text{ divides } b\}$$ and $$\langle(n,m)\rangle = \{(nt,mt)\in\mathbb{Z}\oplus\mathbb{Z}\mid t\in\mathbb{Z}\},$$ they are not the same.2011-09-11
  • 1
    @user9352: If you replace $\mathbb Z$ by $\mathbb R$ in Zev's answer, your question becomes: are there lines in the plane $\mathbb R^2$ which are neither vertical nor horizontal?2011-09-11
  • 1
    ok I think i see, the direct sum is bigger like if I use (2,3) then (2,6) is in the direct sum $2\mathbb{Z} \oplus 3\mathbb{Z}$ but not the submodule generated by (2,3)2011-09-11
  • 0
    What about a bigger sub-module, would it be possible to get a submodule of a direct sum that is not contained in the direct sum of two submodules?2011-09-12
  • 0
    Actually, any submodule of a direct sum $M\oplus N$ is contained in the direct sum of two submodules: namely, $M\oplus N$ (because $M$ is a submodule of itself, and $N$ is a submodule of itself, $M\oplus N$ is a direct sum of submodules).2011-09-12