Module isomorphism and length of tensor product.
See image: Why is the isomorphism of $\Psi_A$ modules true and how do we show the length equality? Notation: $A$ is a commutative, Noetherian, local ring together with a surjective homomorphism to a discrete valuation ring: $\lambda: A \rightarrow \mathcal{O} , p_A=ker(\lambda), I_A= Ann[p_A]$ (the annihilator of the kernel of the map), $\Psi_A=\mathcal{O}/\lambda(I_A), M[I]=\{m \in M: mi=0, \forall i \in I\}$ (for every ideal $I$ of $A$), $\hat{\Psi}_A= \frac{M}{M[I_A]+I_AM}$. Please let me know if you need to know any more facts.
152
Answer
Answers can be viewed only if
- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.
779
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.
- answered
- 526 views
- $30.00
Related Questions
- Closest Points on Two Lines: How to use algebra on equations to isolate unknowns?
- Stuck on this and need the answer for this problem at 6. Thanks
- Induced and restricted representation
- Find the domain of the function $f(x)=\frac{\ln (1-\sqrt{x})}{x^2-1}$
- How do you go about solving this question?
- Representation theory 2 questions
- Prove that language L = {a^p ; p is prime} isn't regular using Myhill-Nerode theorem.
- Find $\lim _{x \rightarrow 0} x^{x}$