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?
Jbuck
152
Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.
- closed
- 457 views
- $44.00
Related Questions
- Given that $-6x \equiv -8 \pmod{7}$, show that $x \equiv 6 \pmod{7}$
- Algebra question
- Derive and show
- Fields and Galois theory
- If both $n$ and $\sqrt{n^2+204n}$ are positive integers, find the maximum value of $𝑛$.
- Prove that $tan x +cot x=sec x csc x$
- Set theory question
- Use Rouche’s Theorem to show that all roots of $z ^6 + (1 + i)z + 1 = 0$ lines inside the annulus $ \frac{1}{2} \leq |z| \leq \frac{5}{4}$