巨大数研究 Wiki
登録
Advertisement
巨大数研究 Wiki

バシク行列公理による全てのBMSを分類する。

コンベンション[]

ドメイン、界、門、綱、目、科、属、種によって分類する。上科や下属のような細かい分類を使うこともある。

一覧[]

  • 非BMSドメイン -- BMSではないもの。
    • BM1界 -- (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)のbad rootが4であるもの。全てのBM1界の行列システムは停止しないことが知られている。
    • BM3.1.1界
      • 現在BM3.1.1のみが知られている。
    • BM3.1界 -- (0,0,0)(1,1,1)(2,0,0)(1,1,1)が(0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,2,0)...と展開されるもの。
      • 現在BM3.1のみが知られている。
    • BM3界 -- (0,0,0)(1,1,1)(2,1,1)(1,1,1)が(0,0,0)(1,1,1)(2,1,1)(1,1,0)(2,2,1)(3,1,1)(2,2,0)(3,3,1)(4,1,1)...と展開されるもの。
      • 現在BM3のみが知られている。
  • BMSドメイン
      • BM2界 -- (0,0,0)(1,1,1)(2,1,0)(1,1,1)が(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)...と展開されるもの。
      • BM3界 -- (0,0,0)(1,1,1)(2,1,0)(1,1,1)が(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)...と展開されるもの。
Advertisement