Assertion: quaternion group | /r/HasProperty | gorenstein
Facets:
Source sentences:
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).