范数指数定理（一个解析证明）

我们利用伊代尔类群的谱理论，给出了数域循环扩张的范数指数定理 $[I_:K^* N(I_L)] =[L:K]$ 的解析证明。