Torsion sheaf
In mathematics, a torsion sheaf is a sheaf on a site for which, for every quasi-compact U, the space of sections is a torsion group. Similarly, for a prime number l, we say a sheaf is l-torsion if every section over any quasi-compact is killed by a power of l.
A torsion sheaf on an étale site is the union of its constructible subsheaves.[1]
Notes
- Milne 2012, Remark 17.6
gollark: Lack of good response interpreted as "wow, you're right, ABR is excellent and I withdraw all objections to making it the new admin in place of esobot".
gollark: And why is discriminating against certain humans bad? What if someone is evil on a Discord server? Obviously they should be banned from it possibly.
gollark: No, LyricLy is just wrong about my bot.
gollark: > only sentient beings can be discriminated againstWhy?> they can't think because they don't have mindsWhy do they not have minds and why is that required for thought?
gollark: Why can't they think, and why does that mean they can't be discriminated against?
References
- J. S. Milne (2012). "Lectures on Étale Cohomology
- J. S. Milne, Étale Cohomology
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.