This is just the Chinese Remainder Theorem applied to modules. The Isomorphism Theorems help, but you do indeed need to go beyond the Isomorphism Theorems and use the fact that the $I_j$ are pairwise comaximal in some way.
Edited.
Essentially, the isomorphism theorems and the universal property of the direct sum let you define a homomorphism $M/(I_1\cap\cdots\cap I_n)M\to\bigoplus_{j=1}^n M/I_jM$ by considering the family of canonical projections $M\to M/I_jM$, which give a map into the direct sum, and then noting that the intersection equals the kernel of the induced map.
But this is as far as the isomorphism theorems take you. Here, you have to make no assumptions about the $I_j$ other than that they are ideals.
Then you need to actually get into the brass tacks. The fact that the $I_j$ are comaximal is used for two things:
- To show that $I_1\cap\cdots\cap I_n = I_1\cdots I_n$; and
- To show that the induced map is onto the direct sum (the isomorphism theorems only guarantee that the image of $M$ is a subdirect product, that is, that the composition of the map with the projections are onto).
The arguments here are the same as for the usual Chinese Remainder Theorem.
First: $I_1I_2\cdots I_n\subseteq I_1\cap\cdots\cap I_n$. For the converse inclusion, first note that if $I$ and $J$ are comaximal, then $IJ=I\cap J$, since given $a\in I\cap J$, write $1=a_i+a_j$, with $a_i\in I$, $a_j\in J$, and we have $a=a(a_i+a_j) = aa_i+aa_j\in IJ=JI$. Then note that $I_1\cap\cdots I_{n-1}$ is comaximal with $I_n$, since $R=(I_1+I_n)(I_2+I_n)\cdots(I_{n-1}+I_n) \subseteq I_1I_2\cdots I_{n-1}+I_n\subseteq R.$ Now use an inductive argument to show that $I_1\cap\cdots\cap I_n\subseteq I_1\cdots I_n$.
To show the induced map is onto, you show that for each $j$ you can find $r\in R$ such that $r\equiv 1 \pmod{I_j}$ and $r\equiv 0\pmod{I_k}$ for $k\neq j$ (use the fact that $I_j$ is comaximal with $\cap_{k\neq j}I_k$). Then given $m_1,\ldots,m_n\in M$, show that $r_1m_1+\cdots +r_nm_n\equiv m_k\pmod{I_kM}$ for each $k$ to get that the map $M\to\oplus M/I_jM$ is onto.