Assertion: maximal torus | /r/HasProperty | satisfied
Facets:
value: over an algebraically closed field
type: LOCATION
value: automatically
type: MANNER
Source sentences:
text: In fact the classification carries over to the case of an arbitrary base field under the assumption that there exists a split maximal torus (which is automatically satisfied over an algebraically closed field).