The totally real subfield
L
of
Q
(exp(2*Pi*I/13))
[
L
:
Q
] = 6, discriminant = 13
5
Minimal polynomial: x^6+x^5-5*x^4-4*x^3+6*x^2+3*x-1
Ramified primes: 13
P1 Primes: 2, 7, 11, 19, 37
P1P2 Primes: 3, 17, 23, 29
P1P2P3 Primes: 5, 31
Split Primes:
k
factor(
k
)
z
L
(1-
k
)
denominator of
z
L
(
k
)
2
2
4
2
2
6
2*3
8
2
3
10
2*5
12
2
2
*3
14
2*7
16
2
4
18
2*3
2
20
2
2
*5
22
2*11
24
2
3
*3
26
2*13
28
2
2
*7
30
2*3*5
32
2
5
34
2*17
36
2
2
*3
2