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