主理想定理 在数学中类域论代数数论的一个分支的主理想定理指出理想的扩張给出了從代数数域的类群到其希尔伯特类域的类群的映射从而將所有理想类送到主理想類这种现象也被称为主理想化