3
$\begingroup$

From Dummit and Foot, Abstract Algebra ch10.2:

Defn: Let A,B be submodules of the R-module M. The sum of A and B is the set

$A+B=\{a+b| a\in A, b\in B \}$ it is easily checked that the sum of two submodules A and B is a submodule and is the smallest submodule which contains both A and B.

By the submodule criterion, it follow that $A+B$ is a submodule of M. How can we show that that $A+B$ is the smallest submodule that contains A and B?

2 Answers 2

3

If $C$ is a submodule containing $A$ and $B$, it is closed under addition, thus for all $a \in A$ and $b \in B$, $a,b \in C$, hence $a+b \in C$ and $A+B \subseteq C$. Therefore $A+B$ "is the smallest" (under inclusion).

Alternatively, you could define $A+B$ as the intersection of all modules containing $A$ and $B$ (intersection of submodules is a submodule, and $\{ a+b \, |\, a \in A, b \in B \}$ must be in the intersection so it's non-empty).

Hope that helps,

  • 0
    Exactly! These are all the same ideas.2012-02-26
3

Modules are close under addition. So any module containing both $A$ and $B$ must contain sums of elements in $A$ and $B$, thus by definition it must contain $A+B$.