一元体
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/19 14:57 UTC 版)
数学において一元体(いちげんたい、英: field with one element)あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。
- ^ Tits, 1957
- ^ Manin, 1995
- ^ Lescot, 2009
- ^ Deitmar, 2005
- ^ Toën and Vaquié, 2005
- ^ Durov, 2008
- ^ a b c Soulé, 1999
- ^ Borger, 2009
- ^ Connes, Consani, and Marcoli, 2009
- ^ Noah Snyder, The field with one element, Secret Blogging Seminar, 14 August 2007.
- ^ This Week's Finds in Mathematical Physics, Week 187
- ^ Deitmar, 2006
- ^ This Week's Finds in Mathematical Physics, Week 183, q-arithmetic
- ^ Mikhail Kapranov, linked at The F_un folklore
- 一元体のページへのリンク