Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
number field
|
| gptkbp:base_field |
gptkb:Q
|
| gptkbp:contains |
all n-th roots of unity
ζ_n |
| gptkbp:degree_over_Q |
φ(n)
|
| gptkbp:Galois_group_over_Q |
(Z/nZ)×
|
| gptkbp:generation |
ζ_n
|
| gptkbp:heldBy |
gptkb:cyclotomic_field
|
| https://www.w3.org/2000/01/rdf-schema#label |
Q(ζ n)
|
| gptkbp:minimal_polynomial_of_ζ_n_over_Q |
Φ_n(x)
|
| gptkbp:normal_extension_of |
gptkb:Q
|
| gptkbp:ring_of_integers |
Z[ζ_n]
|
| gptkbp:splitting_field_of |
x^n - 1 over Q
|
| gptkbp:bfsParent |
gptkb:cyclotomic_field
|
| gptkbp:bfsLayer |
6
|