  Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a
submodule. The index of reducibility ir$_M(N)$ is the number of irreducible
submodules that appear in an irredundant irreducible decomposition of $N$ (this
number is well defined by a classical result of Emmy Noether). Then the main
results of this paper are: (1) $\mathrm{ir}_M(N) = \sum_{{\frak p} \in
\mathrm{Ass}_R(M/N)} \dim_{k(\frak p)} \mathrm{Soc}(M/N)_{\frak p} $; (2) For
an irredundant primary decomposition of $N = Q_1 \cap \cdots \cap Q_n$, where
$Q_i$ is $\frak p_i$-primary, then $\mathrm{ir}_M(N) = \mathrm{ir}_M(Q_1) +
\cdots + \mathrm{ir}_M(Q_n)$ if and only if $Q_i$ is a $\frak p_i$-maximal
embedded component of $N$ for all embedded associated prime ideals $\frak p_i$
of $N$;
  (3) For an ideal $I$ of $R$ there exists a polynomial $\mathrm{Ir}_{M,I}(n)$
such that $\mathrm{Ir}_{M,I}(n)=\mathrm{ir}_M(I^nM)$ for $n\gg 0$. Moreover,
$\mathrm{bight}_M(I)-1\le \deg(\mathrm{Ir}_{M,I}(n))\le \ell_M(I)-1$; (4) If
$(R, \frak m)$ is local, $M$ is Cohen-Macaulay if and only if there exist an
integer $l$ and a parameter ideal $\frak q$ of $M$ contained in $\frak m^l$
such that $\mathrm{ir}_M({\frak q}M)=\dim_k\mathrm{Soc}(H^d_{\frak m}(M))$,
where $d=\dim M$.
