free module

Let \(R\) be a ring and \(M\) an \(R\)-module Then \(M\) is said to be a free module if it is isomorphic to the direct sum of ring

\begin{align*} \bigoplus_{i \in I} R \cong M \end{align*}