Note on the ideal class group of abelian number fields (Q2366815)

Let \(L\) be an abelian number field and \(K\) be any subfield of \(L\) with relative degree \(n\). Then, the author intends to prove that the ideal class group \(C(L)\) of \(L\) contains a subgroup isomorphic to the \(n\)-th power group \(C(K)^ n\) of the ideal class group \(C(K)\) by using Galois theory and class field theory.