一元體
field with one element$ {\Bbb F}_1,$ {\Bbb F}_{\rm un}
一元体 - Wikipedia
Field with one element - Wikipedia
1個の元から成る体
field with one element in nLab
一元體上の幾何學
任意の有限集合は一元體上の affine 空閒であり、また一元體上の射影空閒でもある。
任意の基點附き集合は一元體上の線形空閒である。
点付き集合 - Wikipedia#:~:text=もできるし、-,一元体,-上のベクトル空間
點附き集合は離散位相を備へた點附き空閒と見ることもできるし、一元體上の線形空閒と見なすこともできる。
有限體$ {\Bbb F}_qは一元體の q-量子化 (q-類似) である。
Weyl 群は一元體上の單純代數群である。
ワイル群 - Wikipedia#代数群との類似
代數群と Weyl 群の間には數々の類似對應が存在する。例へば對稱群の元の個數は階乘$ n!であり、有限體上の一般線形群の元の個數は q-階乘$ \lbrack n\rbrack q!になる。ゆゑに對稱群は、あたかもそれが「一元體」上の線形群であるかのやうに振る舞ふ。これが一元體の方法論であり、その文脈で Weyl 群は一元體上の單純代數群と考へることができる。
q-類似
單純代數群に對する Дынкина 圖形が與へられたとき、その Weyl 群は一元體上の單純代數群である。
代数群 - Wikipedia#コクセター群
代數群と Coxeter 群にはいくつかの類似する結果がある.例へば,對稱群の元の個數は$ n!であり,有限體上の一般線形群の元の個數は q-階乘$ \lbrack n\rbrack q!である.したがって對稱群は「1 つの元を持つ體」上の線形群かのやうに振る舞ふ.これは一元體によって形式化される.これは Coxeter 群を一元體上の單純代數群と考へる.
整數環$ \Zが一元體上の多元環となる。$ {\rm Spec}\Zは一元體上の曲線である。
任意の群は一元體上の Hopf 代數である。もっと一般に、代數的對象の圖式として定義されるいかなる對象も、集合の圈において$ {\Bbb F}_1-類似物をもつ。
ホップ代数 - Wikipedia#群との類似
群は Hopf 代數と同じ圖式 (同じことだが演算) によって公理化できる,ただし G は加群の代はりに集合と取られる.この場合:
體 K は 1 點集合で置き換へられる
自然な餘單位射がある (1 點に寫す)
自然な餘積がある (對角寫像)
單位射は群の單位元である
積は群の積である
對合射は逆元である
この哲學において,群は「一元體」上の Hopf 代數と考へることができる.
集合上の群$ Gの作用は一元體上の群の射影表現であり、これにより$ Gは群 Hopf 代數$ {\Bbb F}_1となる。
一元體上の代數多樣體は toric 多樣體であり、任意の toric 多樣體は一元體上の代數多樣體を決定する。
一元體上の$ {\Bbb P}^Nのζ函數は$ \zeta(s)=s(s-1)\dots(s-N)である。
一元體の m-次の K-群$ K({\Bbb F}_1)は球 spectre の m-次安定 homotopy 群でなければならない。
単純群 - Wikipedia#:~:text=交代群は-,一元体,-上のリー型
交代群は一元體上の Lie 型の群と考へることもでき、その場合は次の族に分類することもできるので、非 Abelian 有限單純群の族はすべて Lie 型の群であるとも見なせる。
対称群 - Wikipedia#群の置換表現
置換表現を一元體上の線形表現と看做して表現論の一般論に組み込む試みが見られる。