Integral basis in ray class fields
We start by some motivating remarks on cyclotomic fields. Let f > 1 be a natural number and ζ a primitive f-th root of unity. Then
is the ray class field modulo over , and ζ is known to generate a power basis over for the ring of integers f in kf :
Therefore, the ray class field modulo over is generated by a ...