Skip to content

Commit

Permalink
Update 0-introduction.tex
Browse files Browse the repository at this point in the history
  • Loading branch information
pitmonticone committed Apr 15, 2024
1 parent cff9566 commit 756d0ec
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion blueprint/src/chapters/0-introduction.tex
Original file line number Diff line number Diff line change
Expand Up @@ -262,7 +262,7 @@ \chapter{Introduction}
\leanok
\uses{lmm:norm_lambda}
If $2$ were in $I$, then by definition, $\lambda$ would divide $2 \in \cc{O}_K$.
Recall from \Cref{lmm:norm_lambda} that the norm of $lambda$ is $3$.
Recall from \Cref{lmm:norm_lambda} that the norm of $\lambda$ is $3$.
If $\lambda$ divided $2$, then by properties of divisibility in number fields,
the norm of $\lambda$ would also divide $2$.
However, $3$ does not divide $2$, showing a contradiction.
Expand Down

0 comments on commit 756d0ec

Please sign in to comment.