Fitting ideals and the Gorenstein property (Q849205)

Let \(R\) be a noetherian local ring, \(M\) a finite \(R\)-module and \(\mathrm{Fit}_R(M)\) be its Fitting ideal. If \(R\) is a DVR then it is known that \(\mathrm{length}\;M=\mathrm{length}\;R/\mathrm{Fit}_R(M)\). Now let \(p\) be a prime number, \(G\) a finite commutative group whose order is not a multiple of \(p^2\), \({\mathbb Z}_p\) the \(p\)-adic integer ring, \(R={\mathbb Z}_p[G]\) and \(M\) be a finite \(R\)-module. Here it shows that \(length\;M\leq length\;R/\mathrm{Fit}_R(M)\), with equality when \(\mathrm{Fit}_R(M)\) is a principal ideal.