Length of finitely generated module over $0$-dimensional Gorenstein local ring
Please see attached images: Can someone slowly walk me through the details of the proof of Lemma 4.1 using basic commutative algebraic arguments and definitions?
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?
- closed
- 135 views
- $44.00
Related Questions
- Vector field
- Fields and Galois theory
- Element satisfying cubic equation in degree $5$ extension
- Algebra 2 help Please find attachment
- Algebra Word Problem 2
- Find the coordinates of the point $(1,1,1)$ in Spherical coordinates
- There are a total of 95 coins, quarters and dimes, and the total is $15.35. How many dimes are there ?
- Find $a,b,c$ so that $\begin{bmatrix} 0 & 1& 0 \\ 0 & 0 & 1\\ a & b & c \end{bmatrix} $ has the characteristic polynomial $-\lambda^3+4\lambda^2+5\lambda+6=0$