Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:number_field
|
| gptkbp:abelianOver |
gptkb:Q
|
| gptkbp:automorphismGroup |
C4
|
| gptkbp:contains |
gptkb:Q
Q(√5) |
| gptkbp:defines |
the field extension of Q by a primitive 5th root of unity
|
| gptkbp:degree |
4
|
| gptkbp:discriminant |
625
|
| gptkbp:embeddings |
4
|
| gptkbp:Galois_group |
cyclic group of order 4
|
| gptkbp:generation |
ζ_5
|
| gptkbp:isCyclotomicField |
true
|
| gptkbp:isSplittingFieldOf |
x^5-1 over Q
|
| gptkbp:minimalPolynomial |
x^4 + x^3 + x^2 + x + 1
|
| gptkbp:normalOver |
gptkb:Q
|
| gptkbp:primitiveElement |
ζ_5
|
| gptkbp:ringOfIntegers |
Z[ζ_5]
|
| gptkbp:bfsParent |
gptkb:cyclotomic_field
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Q(ζ 5)
|