Assertion: galois group | /r/HasProperty | cyclic
Facets:
value: always
type: DEGREE
Source sentences:
text: A field extension is called a cyclic extension if its Galois group is cyclic.
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.