Let p≡1mod4 be a prime, and let ω=e2πi/p. Let L=Q(ω).
(a) Show that [L:Q]=p−1.
(b) Calculate disc(1,ω,ω2,…,ωp−2). Deduce that p∈L.
(c) Now suppose p=5. Prove that OL×={±ωa(21+25)b∣a,b∈Z}. [You may use any general result without proof, provided that you state it precisely.]