Hilbert类域(希尔伯特类域):在代数数论中,给定一个数域 \(K\),其Hilbert类域是 \(K\) 的最大无分歧阿贝尔扩张(在所有有限素处都无分歧;常见表述也会结合无穷处的约定)。它的伽罗瓦群与 \(K\) 的理想类群同构,是类域论的核心对象之一。(在函数域或不同约定下,细节表述可能略有差异。)
/ˈhɪlbərt klæs fiːld/
The Hilbert class field of a number field is its maximal unramified abelian extension.
一个数域的Hilbert类域是它的最大无分歧阿贝尔扩张。
Using class field theory, one can relate the Galois group of the Hilbert class field to the ideal class group of the base field.
借助类域论,可以把Hilbert类域的伽罗瓦群与底域的理想类群联系起来。
该术语以德国数学家David Hilbert(大卫·希尔伯特)命名;“class field(类域)”源于理想类群(class group)与对应的阿贝尔扩张之间的关系。Hilbert类域最典型地体现了“类域论”中“类群 ↔ 阿贝尔扩张”的对应思想。