Skip to content

Commit

Permalink
Missing bracket
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 12, 2022
1 parent 1390371 commit 6c7e370
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion algebra.tex
Original file line number Diff line number Diff line change
Expand Up @@ -24778,7 +24778,7 @@ \section{Cohen-Macaulay modules}
$\text{depth}(M_\mathfrak p) \geq \text{depth}(M) - \dim(R/\mathfrak p) =
\text{depth}(M) - 1$ by Lemma \ref{lemma-depth-localization} and our
choice of $\mathfrak p$.
Thus $\text{depth}(M_\mathfrak p) \geq \dim(\text{Supp}(M_\mathfrak p)$
Thus $\text{depth}(M_\mathfrak p) \geq \dim(\text{Supp}(M_\mathfrak p))$
as desired (the other inequality is Lemma \ref{lemma-bound-depth}).
\end{proof}

Expand Down

0 comments on commit 6c7e370

Please sign in to comment.