Skip to content

Commit

Permalink
Typo in 0535
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Feb 17, 2017
1 parent 4c0aa19 commit e498214
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion more-algebra.tex
Expand Up @@ -4907,7 +4907,7 @@ \section{Blowing up and flatness}
\begin{proof}
By Lemma \ref{lemma-blowup-fitting-ideal} we have
$\text{Fit}_k(M') = R'$. By Lemma \ref{lemma-fitting-ideal-finite-locally-free}
it suffices to show that $\text{Fit}_{k - 1}(M') = R'$.
it suffices to show that $\text{Fit}_{k - 1}(M') = 0$.
Recall that $R' \subset R'_a = R_a$, see
Algebra, Lemma \ref{algebra-lemma-affine-blowup}.
Hence it suffices to prove that $\text{Fit}_{k - 1}(M')$
Expand Down

0 comments on commit e498214

Please sign in to comment.