Assertion: group's subgroup | /r/HasProperty | abelian
Facets:
value: for a finite field
type: OTHER
Source sentences:
text: the subgroup R = {id, r 1 , r 2 , r 3 }, as well as the corresponding quotient are abelian, whereas D 4 is not abelian.
text: In particular, for a finite field F with odd characteristic, the 2-Sylow subgroup of SL 2 (F) is non-abelian and has only one subgroup of order 2, so this 2-Sylow subgroup must be a generalized quaternion group, (Gorenstein 1980, p. 42).