Assertion: galois group | /r/HasProperty | finite
Facets:
value: always
type: DEGREE
Source sentences:
text: For an extension of finite fields of characteristic p, its Galois group is always finite and cyclic, generated by a power of the Frobenius mapping.