Skip to content

Commit

Permalink
Fix parenthetical remark in proof
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Nov 14, 2020
1 parent 26e60b7 commit 4b1a0f0
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Expand Up @@ -16,6 +16,7 @@ Konstantin Ardakov
Dima Arinkin
Aravind Asok
Dario Balboni
Badam Baplan
Adrian Barquero-Sanchez
Owen Barrett
Giulia Battiston
Expand Down
4 changes: 2 additions & 2 deletions more-algebra.tex
Expand Up @@ -4747,8 +4747,8 @@ \section{Torsion free modules}
0 = a_1 \cdot (-a'_j) + a_j \cdot 1 (j \geq 2)
$$
shows that the relation was trivial (to be explicit the elements
$a_{ij}$ are defined by setting $a_{1j} = -a'_j$ and $a_{ij} = \delta_{ij}$
for $i, j \geq 2$).
$a_{ij}$ are defined by setting $a_{11} = 0$, $a_{1j} = -a'_j$
for $j > 1$, and $a_{ij} = \delta_{ij}$ for $i, j \geq 2$).
\end{proof}

\begin{lemma}
Expand Down

0 comments on commit 4b1a0f0

Please sign in to comment.