关于在素体中对范数剩余符号的Takagi-Hasse公式的计算

对于范数剩余符号(υ,μ),若取素元π=λ已经得到了Artin Hasse公式,而在此利用范数剩余符号的性质及剩余类合同式的性质,证明商群的直积分解中的代表元κa的一个重要合同式,并利用此结论通过计算得到高木公式,由生成函数公式进而得到Takagi Hasse公式.