Assertion: scheme | /r/HasProperty | abelian
Facets:
Source sentences:
text: This generalizes to the notion of abelian scheme; a group scheme G over a base S is abelian if the structural morphism from G to S is proper and smooth with geometrically connected fibers They are automatically projective, and they have many applications, e.g., in geometric class field theory and throughout algebraic geometry.