给定一个数域 ,存在一个唯一的极大无分歧阿贝尔扩张
,它包含
的所有其他无分歧阿贝尔扩张。这个有限域扩张
称为
的希尔伯特类域。根据类域论的一个定理,伽罗瓦群
与
的类群同构,并且对于
的每个子群
,存在一个唯一的无分歧阿贝尔扩张
,它包含于
中,且满足
。
的次数,即
相对于
的次数,等于
的类数。
给定一个数域 ,存在一个唯一的极大无分歧阿贝尔扩张
,它包含
的所有其他无分歧阿贝尔扩张。这个有限域扩张
称为
的希尔伯特类域。根据类域论的一个定理,伽罗瓦群
与
的类群同构,并且对于
的每个子群
,存在一个唯一的无分歧阿贝尔扩张
,它包含于
中,且满足
。
的次数,即
相对于
的次数,等于
的类数。
此条目由 David Terr 贡献
Terr, David. "希尔伯特类域." 来自 -- 一个 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/HilbertClassField.html