Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Q(ζ 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
|