Assertion: group scheme | /r/HasProperty | defined over field
Facets:
Source sentences:
text: Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field.