Quotient by An Equivalence Relation
Get Quotient by An Equivalence Relation essential facts below. View Videos or join the Quotient by An Equivalence Relation discussion. Add Quotient by An Equivalence Relation to your PopFlock.com topic list for future reference or share this resource on social media.
Quotient by An Equivalence Relation

In mathematics, given a category C, a quotient of an object X by an equivalence relation is a coequalizer for the pair of maps

where R is an object in C and "f is an equivalence relation" means that, for any object T in C, the image (which is a set) of is an equivalence relation; that is, a reflexive, symmetric and transitive relation.

The basic case in practice is when C is the category of all schemes over some scheme S. But the notion is flexible and one can also take C to be the category of sheaves.


  • Let X be a set and consider some equivalence relation on it. Let Q be the set of all equivalence classes in X. Then the map that sends an element x to the equivalence class to which x belongs is a quotient.
  • In the above example, Q is a subset of the power set H of X. In algebraic geometry, one might replace H by a Hilbert scheme or disjoint union of Hilbert schemes. In fact, Grothendieck constructed a relative Picard scheme of a flat projective scheme X[1] as a quotient Q (of the scheme Z parametrizing relative effective divisors on X) that is a closed scheme of a Hilbert scheme H. The quotient map can then be thought of as a relative version of the Abel map.

See also


  1. ^ One also needs to assume the geometric fibers are integral schemes; Mumford's example shows the "integral" cannot be omitted.


  • Nitsure, N. Construction of Hilbert and Quot schemes. Fundamental algebraic geometry: Grothendieck's FGA explained, Mathematical Surveys and Monographs 123, American Mathematical Society 2005, 105-137.

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Music Scenes