数学においては,具体的な数字が問題になることは,一般に思われているよりもずっと少ないのですが,それでも,このような具体的かつ巨大な値が重要な意味を持つことがあります。この値は54桁で,宇宙中の粒子の個数に匹敵するとも言われています。
「モンスターの位数」要するに何かの個数がこの数だというのですが,高校生程度でわかる言葉で言うならば,196,883次の正方行列がこれだけあると考えて下さい。その中の一つは単位行列です。また,この196,883次の行列はどれも逆行列を持ち,逆行列もその中に含まれています。さらに,この中の2つの行列の積も,また,この中に入ります。(つまり,積と逆行列という演算に関して閉じています。このことを,これらは群をなす,と言います。)もう少し,小さい行列で表されれば分かり易いのですが,行列で表すには, この196,883というのが最も小さい値です。
この行列は,196,883次元のベクトル空間の1次変換を引き起こしています。このベクトル空間にも重要な意味があることが,最近の研究からわかって来ました。この196,883という値も,保型関数論という数学の別の視点から見たときに重要な値だということが知られています。さらに,最初の数を素因数分解した
記号 | 発見・構成 | Mへの埋め込み | 位数 | |
M | Fischer-Griess | + | 2^46.3^20.5^9.7^6.11^2.13^3.17.19.23.29.31.41.47.59.71 | |
BM | Fischer | + | N(2A)=2B | 2^41.3^13.5^6.7^2.11.13.17.19.23.31.47 |
F'_24 | Fischer | + | N(3A)=3F_24 | 2^21.3^16.5^2.7^3.11.13.17.23.29 |
J_4 | Janko | - | 2^21.3^3.5.7.11^3.23.29.31.37.43 | |
Co.1 | Conway | + | N(2B)=2^{1+24}Co.1 | 2^21.3^9.5^4.7^2.11.13.23 |
F_23 | Fischer | + | 2^18.3^13.5^2.7.11.13.17.23 | |
Th | Thompson | + | N(3C)=S_3xTh | 2^15.3^10.5^3.7^2.13.19.31 |
Ly | Lyons | - | 2^8.3^7.5^6.7.11.31.37.67 | |
HN | Harada-Norton | + | N(5A)=(D_10xHN).2 | 2^14.3^6.5^6.7.11.19 |
F_22 | Fischer | + | 2^17.3^9.5^2.7.11.13 | |
Co.2 | Conway | + | 2^18.3^6.5^3.7.11.23 | |
Co.3 | Conway | + | 2^10.3^7.5^3.7.11.23 | |
ON | O'Nan | - | 2^9.3^4.5.7^3.11.19.31 | |
Suz | Suzuki | + | N(3B)=3^{1+12}2Suz:2 | 2^13.3^7.5^2.7.11.13 |
Ru | Rudvalis | - | 2^14.3^3.5^3.7.13.29 | |
He | Held | + | N(7A)=(7:3xHe):2 | 2^10.3^3.5^2.7^3.17 |
McL | McLaughlin | + | 2^7.3^6.5^3.7.11 | |
M_24 | Mathieu | + | 2^10.3^3.5.7.11.23 | |
J_3 | Janko | - | 2^7.3^5.5.17.19 | |
HS | Higman-Sims | + | 2^9.3^2.5^3.7.11 | |
M_23 | Mathieu | + | 2^7.3^2.5.7.11.23 | |
HJ(=J_2) | Hall-Janko | + | N(5B)=5^{1+6}:4HJ.2 | 2^7.3^3.5^2.7 |
M_22 | Mathieu | + | 2^7.3^2.5.7.11 | |
J_1 | Janko | - | 2^3.3.5.7.11.19 | |
M_12 | Mathieu | + | 2^6.3^3.5.11 | |
M_11 | Mathieu | + | 2^4.3^2.5.11 |