Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
finite field
|
| gptkbp:contains |
roots of unity
|
| gptkbp:degree_over_Q_is |
gptkb:Euler's_totient_function_φ(n)
|
| gptkbp:example |
the field extension Q(ζ_n)/Q
|
| gptkbp:Galois_group_is |
abelian
|
| gptkbp:Galois_group_is_isomorphic_to |
multiplicative group of integers modulo n
|
| gptkbp:generation |
adjoining a primitive n-th root of unity
|
| gptkbp:heldBy |
Galois extension
abelian extension |
| https://www.w3.org/2000/01/rdf-schema#label |
cyclotomic extension
|
| gptkbp:minimal_polynomial_is |
gptkb:cyclotomic_polynomial
|
| gptkbp:relatedTo |
gptkb:cyclotomic_field
gptkb:Kronecker–Weber_theorem |
| gptkbp:splitting_field_of |
x^n - 1 over Q
|
| gptkbp:studiedBy |
algebraic number theory
|
| gptkbp:used_in |
class field theory
|
| gptkbp:bfsParent |
gptkb:Schur_group
|
| gptkbp:bfsLayer |
7
|