×

重新审视了模棱两可的类号公式。 (英语) Zbl 1402.11133号

设(L/K)是素数阶数域的循环扩张。由\(L/K)的Galois群固定的理想类构成一个称为模糊理想类群的群,模糊类数公式规定其顺序为\(h\cdot\ell^{t-1}/(E:E\cap NL^times)\),其中\(h\)是\(K\)的类数,\(t\)是在\(L/K\)中分支素数(包括无限素数)的个数,(E\)是\(K\)的单位组,而\(E\ cap NL^\ times \)是作为\(L\)元素范数的单位组。本文基于经典类场理论中的单位主亏格定理(Artin和Herbrand单位定理的一个推论)给出了一个初等证明。

MSC公司:

11兰特29 类号、类群、判别式
11兰特37 类场理论
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司