Permalink
Browse files

Fix typo in modules

  • Loading branch information...
1 parent 5349282 commit e78cc6fdcdeccd7610d394c204fbfa6d94894382 @aisejohan aisejohan committed Feb 17, 2017
Showing with 1 addition and 1 deletion.
  1. +1 −1 modules.tex
View
@@ -4375,7 +4375,7 @@ \section{Modules of differentials}
of $\mathcal{I}$. And this is clear from the Leibniz rule
$\text{d} f_1f_2 \otimes 1 =
(f_1 \text{d}f_2 + f_2 \text{d} f_1 )\otimes 1 =
-\text{d}f_2 \otimes f_1 + \text{d}f_2 \otimes f_1 = 0$.
+\text{d}f_2 \otimes f_1 + \text{d}f_1 \otimes f_2 = 0$.
A similar computation show this map is
$\mathcal{O}'_2 = \mathcal{O}_2/\mathcal{I}$-linear. The map on the right
is the one from Lemma \ref{lemma-functoriality-differentials}. To see

0 comments on commit e78cc6f

Please sign in to comment.