2
$\begingroup$

Let $R$ be a Cohen–Macaulay local ring with maximal ideal $m$ and $dim R = 1.$ In the paper "Almost Gorenstein rings", by "Goto, Matsuoka, Phuong", with this settings:
enter image description here

they have
enter image description here
How they reach the highlighted exact sequence? (they take $Hom (T,R)$ isomorphic to $R:T$ and $Hom (T,K)$ isomorphic to $K:T$?)

Thank You for reading this long context.

$\endgroup$
3
  • $\begingroup$ also asked here $\endgroup$
    – user 1
    Commented Nov 4, 2015 at 10:18
  • $\begingroup$ Could you define $R:T$? I'm not super familiar with that notation $\endgroup$ Commented Nov 4, 2015 at 17:43
  • $\begingroup$ For $R$-modules $N\le M$ one defines $N:M =\{r \in R \mid r\cdot M \subseteq N\}$. This is an ideal in $R$. $\endgroup$ Commented Nov 4, 2015 at 20:24

1 Answer 1

2
$\begingroup$

First let's note that by the paper, $Q(R)$ is the total ring of fractions of $R$, i.e. it is the localization of $R$ by the subset of non-zero-divisors. The natural map $R \to Q(R),\,r \mapsto \frac{r}{1}$ is an embedding.

Let $R \le S \le Q(R)$ be commutative rings. Then $R:S \cong Hom_R(S,R)$ as $R$-modules. An isomorphism is given by $\varphi: r \mapsto (s \mapsto rs)$ with inverse $f \mapsto f(1)$.

By commutativity of the rings, $\varphi$ is obviously a hom. of $R$-modules and because of $\varphi(r)(1)=r$, $\varphi$ is injective.

Surjectivity: Let $f: S \to R$ be $R$-linear and let $s\in S$. Write $s=a/b$ with $a,b\in R$ and $b$ a non-zero-divisor. Since $bs \in R$, $bsf(1)=f(bs)=bf(s)$ and since $b$ is not a zero-divisor, we have $f(s)=f(1)s$. This shows (i) $f(1)\cdot S = f(S) \subseteq R$ i.e. $f(1) \in R:S$ and (2) $f = \varphi(f(1))$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .