# Length of finitely generated module over $0$-dimensional Gorenstein local ring

1) Why $R[\mathfrak{m}] \cong k$? (where $k$ is the residue field of $R$)

2) I know length is additive on direct sums, but how is the RHS of the inequality additive as well, since it is a product?

3) Why does the inequality coincide when $R$ is the module over itself?

4) How does $R$ being Gorenstein of dimension $0$ imply that $R$ is the only indecomposable injective module, and why is its injective hull free as a result?

5) Why $M \subseteq \mathfrak{m}F$?

6) Why does $M=0$ imply the desired result?

Jbuck

152

Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.

- closed
- 471 views
- $44.00

### Related Questions

- Let $f(x,y,z)=(x^2\cos (yz), \sin (x^2y)-x, e^{y \sin z})$. Compute the derivative matrix $Df$.
- How do you prove that when you expand a binomial like $(a+b)^n$ the coefficients can be calculated by going to the n row in Pascal's triangle?
- The last six digits of the number $30001^{18} $
- Mechanical principle science (maths)
- Center of algebra of functions
- Let $z = f(x − y)$. Show that $\frac{\partial z}{\partial x}+\frac{\partial z}{\partial y}=0$
- Points of intersection between a vertical and horizontal parabola
- Abstract Algebra : Commutativity and Abelian property in Groups and Rings