PulseAugur
实时 11:31:56
实体 Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields

Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields

PulseAugur coverage of Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields — every cluster mentioning Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_247741 ·

    在 Lean 4 中形式化自对偶码的构造

    本文介绍了在 Lean 4 中对自对偶码构造的形式化,重点关注各向同性线。它建立了 Chinburg 和 Zhang 在二元希尔伯特符号实现中的约简与 Kim 的构造法之间的等价性。该工作还将这些机制扩展到 q 同余于 1 模 4 的 q 元类似物,从而在构造有限域上的最优自对偶码方面得到应用。