小さな非可換単純群 - PSL(2,p)
イントロ
2番目に/小さい非可換/単純群
最小の非可換単純群は位数60の5次交代群だった. 正20面体の対称性でもあることから, 特に線形表現に現れる幾何学的な性質について以前調べた.
専ら6次対称群を見ていたので交代群固有の性質にはあまり注目していなかったが, 6次交代群の線形表現も調べた. この群は位数360でやはり単純群だが, 小さいほうからは3番目である.
では5次交代群と6次交代群の間にある2番目に小さい非可換単純群の位数はいくつかというと168で, この位数を持つ唯一の単純群が
である. 見た目の異なる2つの群が交わっている.
はじめのいくつかの単純群
オンライン整数列辞典のA109379にこんな数列が登録されている. "Orders of non-cyclic simple groups (with repetition)."「非可換単純群の位数(繰り返しを含む)」.
60, 168, 360, 504, 660, 1092, 2448, 2520, 3420, 4080, 5616, 6048, 6072, 7800, 7920, 9828, 12180, 14880, 20160, 20160, 25308, 25920, 29120,...
(with repetition)というのは同型ではないが同じ位数の群の位数を重複して含めているということ. 実際20160は2つあってそれぞれPSL(3,4)とPSL(4,2)(8次交代群に同型)である.
ちなみに次にこういうことが起こるのは402,403番目の4585351680で対応する群はB3(3)とC3(3)らしい.
List of finite simple groups - Wikipedia
前者はの交換子群で後者はの交換子群.
シュヴァレー型のとは位数が同じで, qが偶数, nが2より大きいとき同型ではないらしいので「偶然」ではないよう. つまり同じ系列で位数の重複は繰り返し起こって次は65784756654489600になる.
こういうことが起こる位数の数列もOEISには登録されている.
"Orders for which there is more than one simple group." 「1つより多い単純群が存在する位数」
COMMENTSを見ると, 最初の20160を除いてとによるダブりだけらしい. 有限単純群は全部分かっているとはいえすごい.
つまりこの数列はFORMULA欄に与えられているように, 第1項20160を除いて全て
で表されることになる. では奇素数のべき(3,5,7,9,11,13,17,19,23,25,29,...)
Math Stack Exchangeのこの質問への回答では例外的な同型についても触れられている.
Are there any distinct finite simple groups with the same order?
math.stackexchange.com
(「同じ位数の単純群が同型にならないこと」が難しいのが偶然同型の生じる原因ということが言える?) この事実を知ると8次交代群の異常性が一層際立つ気がする. いつか調べたいところ.
- 同型
のいずれか、というこの定理、Artinの名前が付いていた。
Kimmerle, W., Lyons, R., Sandling, R., & Teague, D. N. (1990). Composition factors from the group ring and Artin's theorem on orders of simple groups. Proceedings of the London Mathematical Society, 3(1), 89-122.
https://doi.org/10.1112/plms/s3-60.1.89
何の話だったか. 2番目に小さい非可換単純群の位数は168なのだった(でかい数を見た後なので妙に小さく感じる). 交代群はなんせ階乗で位数が増えるから疎らで, 位数の小さい非可換単純群の最初のほうはほとんどPSL(2,q)が占めている(ちゃんと言っていなかったがq>3ですべて単純群になる). 実際1万以下の内訳は下のようになっている.
有限体上の特殊射影線形群 PSL(n,p)
定義
さて順序が前後したがを定義する. 記号で表されることもある.
PはProjective, SがSpecial, LがLinear. は行列のサイズでは有限体上にあることを意味する. 行列式1の行列全体のなす群の中心による剰余群がこの群である.
一般論に踏み込むことはできないのでここからは専らを考える. pは奇素数としておく. この場合話は早くて, に対する, 行列式が1の1次分数変換全体のなす群と考えるとよい.
たとえばで
置換の巡回記法で表すとそれぞれ
になっている.
はへの推移的な作用で次対称群に埋め込めるということ.
ガロアの最期の手紙
ではそれより小さい対称群への埋め込みが存在するか, というと, これこそガロアが死の直前に友人オーギュスト・シュヴァリエに宛てた手紙の中で述べた命題の内容で,
の場合にしか次対称群への埋め込みは存在しない
(位数の元が存在することからそれ未満は不可能だとすぐに分かる.).
Galois' last letter
http://www.neverendingbooks.org/galois-last-letter
一応この3つ組を調べること, 特に指標表を書くこと(PSL(2,5)は5次交代群なのですでにやったが)を目標として書き始めたのがこの記事. これもまたマッカイ対応のひとつらしい. 保形形式の理論をはじめ, すごい数学がここから広がっているらしいが地道に始める. PSL(2,p)のよいところは簡単な数論で調べられるところ.
PSL(2,p)の位数
まずを数える.の元は個. 第1列をこの中から1つ決めると, 第2列はその定数倍ではない個の中から選ばなくてはならず, さらに行列式が1であるためにはそのに限られて結局
pは奇素数と決めたので中心はで
共役類を数える
共役類を数えるには中心化部分群から. 与えられたの中心化部分群の位数を数える.
準同型写像によるの逆像の元のひとつをとすると(つまり),
である(は単位行列).
従ってを代表元に持つ共役類の大きさは,
で表せる.
このようなを数えていく.
AX=XAの場合
がスカラー行列でないときと表せる. とすると,
の置き換えによって,
と変形できる. Xとこの方程式の解の個数が等しい. 判別式によって解の様子が変わる.
- 判別式がの平方剰余のとき
で因数分解できて
ただしはの平方根の一方(大小はないが"小さいほう"をとっておけばよい). 解は個.
- 判別式が0のとき
で解は個.
- 判別式がの平方非剰余のとき
とする. の解の個数がを除いてすべて等しいことを言う.
-
- (-1)がの平方剰余⇔のとき
は容易に確かめられる:
今は平方非剰余であるため, 全単射の存在は
を意味する. また, がともに平方剰余, またはともに平方非剰余のとき, は平方剰余だから, 全単射によって
が分かる.
-
- (-1)がの平方非剰余⇔のとき
が平方剰余なのでがに存在.
から, 全単射の存在から
が分かる. 以下同様.
の解は意外に存在しないから, の解はすべて等しく個.
AX=-XAの場合
2×2行列の基底として次の4つを取る.
積は
となっている. 標数2以外の体に係数を持つ分解型四元数と見ればよい.
これを用いると,
と表せる. さて,とすると,
係数の比較から, は
と同値であることが分かる.
- のとき
(2)から
(1)へ代入することにより
から. 再び(2')からを得るが, に反するため不可能*1. .
- のとき
(2)から
であるから,
-
- のとき
(1)から. から,
左辺の判別式/4は
従って, -1が平方剰余か否かに応じて解の個数は個, 個.
-
- のとき
少なくとも一方は非零. 仮にならとから
解の個数は-1が平方剰余か否かに応じて個, 個. でも同様.
結局, を満たす
はなら個,
なら個
存在する.
まとめると, としてとなるXは,
- のとき
- ......個
- ......個
- が平方剰余......個
- が平方非剰余......個
- のとき
- ......個
- ......個
- が平方剰余......個
- が平方非剰余......個
ここで,
に含まれる平方剰余は
......個
......個
平方非剰余は
......個
......個
ところで, 任意のに対しての元に, 少なくとも一つはそれをトレースとして持つものが存在する:
によるの像を, の共役類をとすると,
は言える(大小関係は元として)から,
の元の数に対してだけ不足する. 大きさ1の共役類は単位元を含むもの以外に存在しないから, これを埋め合わせられるのはトレースが±2(PSLでは±は同一視される)の場合のみ*2. 代表元が何かはこの考察からは分からないが, この共役類をとすると,結局
が分かる. の共役類はほとんど元の±トレー)で決まるが, ±2の場合のみ単位元とほかの2つに分裂するということ. 共役類は合わせて個になる.
単純性
でどうなっているか見る.
まず11の平方剰余は1,3,4,5,9.
13の平方剰余は1,3,4,9,10,12.
さて, この共役類の表をじっと睨むとどちらも単純群であることが分かる.
もっと簡単なの場合で説明する.
位数は168. 非自明な正規部分群は単位元を含んで, それ以外の共役類はすべて大きさ21以上なので指数は168/22以下2以上, 7,6,4,3,2しかありえない.すなわち部分群の位数として可能なのは24,28,42,56,84だが, 共役類をどう組み合わせてもこれらは実現できない. 従っては単純群.
の一般的な場合に同様に証明できるかどうか知らない*3. しかしともかく共役類の情報だけから最初のいくつかのが単純群であることが分かる.
まとめとこれから
奇素数pに対してPSL(2,p)の位数はである. 共役類はほとんど±トレースで決まるが±2の場合のみ3つに分裂して合計個になる. したがって既約表現も個.
次の記事からを調べる. 既約表現は6個で次元は1,3,3,6,7,8.