グローバルフィールドのAd λoelesの環の形式化【JST・京大機械翻訳】

de Frutos-Fernandez Maria Ines

プレプリント

J-GLOBAL ID：202202205228092750 整理番号：22P0322565

グローバルフィールドのAd λoelesの環の形式化【JST・京大機械翻訳】

Formalizing the Ring of Ad\`eles of a Global Field

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年03月06日プレプリントサーバーでの情報更新日： 2022年03月06日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

グローバルフィールドのアドホックネットワークとそのユニットのグループ,id のグループは,現代数理論における基本的対象である。Lean3定理証明器における定義の形式化を論じた。必要条件として,著者らはDedekindドメインに関するアディック評価を定式化した。グローバルクラスフィールド理論の主要定理のステートメントを含むいくつかの応用と,多数のフィールドの理想的なクラスグループが,そのid εeleクラスグループの陽的指数と同形であるという証明を示した。【JST・京大機械翻訳】

, , , , ,

ニューロコンピュータ , 符号理論 , システム・制御理論一般

, , , ,

前のページに戻る