Es sei M i {\displaystyle {}M_{i}} , i ∈ I {\displaystyle {}i\in I} , eine Familie von freien R {\displaystyle {}R} -Moduln über einem kommutativen Ring R {\displaystyle {}R} .
Dann ist auch die direkte Summe ⨁ i ∈ I M i {\displaystyle {}\bigoplus _{i\in I}M_{i}} frei.
