For a prime number p>2, set ζ=e2πi/p,K=Q(ζ) and K+=Q(ζ+ζ−1).
(a) Show that the (normalized) minimal polynomial of ζ−1 over Q is equal to
f(x)=x(x+1)p−1.
(b) Determine the degrees [K:Q] and [K+:Q].
(c) Show that
j=1∏p−1(1−ζj)=p
(d) Show that disc(f)=(−1)2p−1pp−2.
(e) Show that K contains Q(p∗), where p∗=(−1)2p−1p.
(f) If j,k∈Z are not divisible by p, show that 1−ζk1−ζj lies in OK∗.
(g) Show that the ideal (p)=pOK is equal to (1−ζ)p−1.