Skip to content

Commit

Permalink
stronger ---> weaker
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jun 16, 2016
1 parent a3bcad4 commit af2d184
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Expand Up @@ -68,6 +68,7 @@ Alberto Gioia
Julia Ramos Gonzalez
Jean-Pierre Gourdot
Darij Grinberg
Yuzhou Gu
Zeshen Gu
Quentin Guignard
Albert Gunawan
Expand Down
2 changes: 1 addition & 1 deletion etale-cohomology.tex
Expand Up @@ -2901,7 +2901,7 @@ \section{Kummer theory}
\begin{proof}
By definition the sheaf $\mu_{n, S}$ is the kernel of the map
$(\cdot)^n$. Hence it suffices to show that the last map is surjective.
Since the syntomic topology is stronger than the fppf topology, see
Since the syntomic topology is weaker than the fppf topology, see
Topologies, Lemma \ref{topologies-lemma-zariski-etale-smooth-syntomic-fppf},
it suffices to prove this for the syntomic topology.
Let $U$ be a scheme over $S$. Let
Expand Down

0 comments on commit af2d184

Please sign in to comment.