On the Class Number of a Relatively Cyclic Number Field

Let l be a rational prime. For each n≧0 , denote by ζ ln a primitive l n -th root of unity and by Q ( ζ l,n ) the cyclotomic field obtained by adjoining ζ l,n to the rational field Q. Then a theorem which was proved by H. Weber is well known: