Assertion: group scheme | /r/HasProperty | commutative
Facets:
Source sentences:
text: An S-group scheme G is commutative if the group G(T) is an abelian group for all S-schemes T.