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.
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.
The answer is accepted.
- answered
- 232 views
- $30.00
Related Questions
- Differentiate $f(x)=\int_{\tan x}^{0} \frac{\cos t}{1+e^t}dt$
- How old is the wise man?
- Tensor Product II
- Find rational numbers A & B given the attached formula
- Calculating Speed and Velocity
- Artin-Wedderburn isomorphism of $\mathbb{C}[S_3]$
- Find the domain of the function $f(x)=\frac{\ln (1-\sqrt{x})}{x^2-1}$
- Fields and Galois theory