Stacks project -- Comments Stacks project, see en (The Stacks project) (Pieter Belmans) Stacks project -- Comments #4535 on tag 09GZ by Ashutosh A new comment by Ashutosh on tag 09GZ. Second paragraph of Lemma 09H9 may be needs a line saying that now we prove that is separable.

Ashutosh Sat, 14 Sep 2019 07:09:27 GMT
#4531 on tag 00JP by BB A new comment by BB on tag 00JP. I think there's a small typo in the last paragraph of the proof, in the third to last sentence: I think you want to say IS_f \neq S_f to conclude that (S/I)_f is not zero.

Also, perhaps I missed something, but I could not find anywhere in the proof refereeing to parts (8) or (9) of the lemma.

BB Thu, 12 Sep 2019 09:37:17 GMT
#4530 on tag 0CDM by 李时璋 A new comment by 李时璋 on tag 0CDM. very very small issue, on the first line you had 768g, but on the second line you were saying 728g.

李时璋 Wed, 11 Sep 2019 07:07:56 GMT
#4529 on tag 00AR by Aniruddh Agarwal A new comment by Aniruddh Agarwal on tag 00AR. Trivial remark: in (45), should the article "a" be used instead of "an"?

Aniruddh Agarwal Tue, 10 Sep 2019 12:49:58 GMT
#4528 on tag 0106 by Johan A new comment by Johan on tag 0106. Usually, in a situation like this when we are definining a blah which is unique up to isomorphism in the definiition we say "a blah" and then in a comment after the definition we say that because the thing is unique up to unique isomorphism we will from now on use the terminology "the blah". See the text following this definition in Section 12.3.

Johan Mon, 09 Sep 2019 08:30:53 GMT
#4527 on tag 086Q by awllower A new comment by awllower on tag 086Q. Two minor typos:

should be

And should be

awllower Sun, 08 Sep 2019 10:07:41 GMT
#4526 on tag 01DZ by Théo de Oliveira Santos A new comment by Théo de Oliveira Santos on tag 01DZ. A few trivial typos: Let F be a abelian sheaf Extra parenthesis: The family of functors forms [...] from Extra parenthesis*: The family of functors forms [...] from

Théo de Oliveira Santos Sun, 08 Sep 2019 06:47:11 GMT
#4525 on tag 0106 by Aniruddh Agarwal A new comment by Aniruddh Agarwal on tag 0106. This is a very minor point, but is there a reason for using the terminology "a cokernel", etc. instead of "the cokernel", etc. when these objects are unique upto unique iso? ]]> Aniruddh Agarwal Sun, 08 Sep 2019 03:37:25 GMT #4524 on tag 00MH by Johan A new comment by Johan on tag 00MH. Yes very good. The key is that here is surjective whereas in Lemma 10.98.1 it doesn't need to be.

Johan Fri, 06 Sep 2019 06:40:03 GMT
#4523 on tag 00MH by Ronnie A new comment by Ronnie on tag 00MH. To show is injective, may be we can also argue as follows. Let denote the kernel of , it is a finite module. Since is flat over , applying we get . It follows that , which shows, by Nakayama's lemma, that .

Ronnie Fri, 06 Sep 2019 04:57:51 GMT