Assertion: group scheme | /r/HasProperty | formed
Facets:
value: by taking restriction of scalars
type: MANNER
value: from smaller group schemes
type: OTHER
Source sentences:
text: Group schemes can be formed from smaller group schemes by taking restriction of scalars with respect to some morphism of base schemes, although one needs finiteness conditions to be satisfied to ensure representability of the resulting functor.