Lemma 15.23.16. Let $R$ be a Noetherian domain. Let $M$ be a finite reflexive $R$-module. Let $\mathfrak p \subset R$ be a prime ideal.

1. If $\text{depth}(R_\mathfrak p) \geq 2$, then $\text{depth}(M_\mathfrak p) \geq 2$.

2. If $R$ is $(S_2)$, then $M$ is $(S_2)$.

Proof. Since formation of reflexive hull $\mathop{\mathrm{Hom}}\nolimits _ R(\mathop{\mathrm{Hom}}\nolimits _ R(M, R), R)$ commutes with localization (Algebra, Lemma 10.10.2) part (1) follows from Lemma 15.23.10. Part (2) is immediate from Lemma 15.23.11. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).