generalise the results from $M_n$ to $\prod_iM_{n_i}$ ( $\cong_{\star\texttt{a}} \bigoplus_iM_{n_i}$ )
