PSL(2,_7)とは？わかりやすく解説

射影特殊線型群PSL₂(7) (別表記: PSL(2, 7), PSL₂(F₇), PSL(2, F₇)など)もしくはそれと同型なPSL₃(2) (別表記: PSL(3, 2), PSL₃(F₂), PSL(3, F₂)など)は、代数学、幾何学、数論といった分野で重要な役割を持つ有限単純群である。PSL₂(7)はクラインの平面4次曲線（英語版）の自己同型群と同型で、またファノ平面の対称性の群とも同型である。位数168の単純群はPSL₂(7)と同型であり、位数60の交代群A₅（PSL₂(4)、PSL₂(5)、正二十面体群と同型。）に次いで2番目に小さな非可換単純群である。

定義

「射影特殊線型群」も参照

一般線型群GL₂(7)は、7個の要素からなる有限体F₇上の行列式が0でない2次正方行列全体のなす群である。SL₂(7)はGL₂(7)の部分群であり、行列式が1のものだけからなる。このときPSL₂(7)は商群

\mathrm {SL} _{2}(7)/\{I,-I\}

として定義される。ここで、Iは単位行列である。すなわち、SL₂(7)内で1倍と-1倍を同一視したものがPSL₂(7)である。

同型

以下の群はすべて同型である。

PSL₂(7)
GL₃(2)
F₂においてGL, SL, PGL, PSLの区別はないので、ただちに次の同型もわかる。
- SL₃(2)
- PGL₃(2)
- PSL₃(2)
クラインの平面4次曲線の自己同型群
ファノ平面の対称性の群

性質

PSL₂(7)は168個の要素を持つ。これは行列の取り得る列の数を数え上げることで確認できる。1列目には7²−1 = 48通りの組み合わせが存在する。2列目には7²−7 = 42通りの組み合わせが存在する。ここで行列式が1のものを取り出すために7−1 = 6で割り、Iと-Iを同一視するので2で割る。すると (48×42)/(6×2) = 168が得られる。

一般にPSL_n(q)は n, q ≥ 2 （qは素数の冪）のとき、 (n, q) = (2, 2), (2, 3)という例外を除いて単純群となる。 PSL₂(2)は対称群S₃に同型であり、PSL₂(3)は交代群A₄に同型である。PSL₂(7)は交代群A₅に次いで2番目に小さな非可換単純群である。

PSL₂(7)は6個の共役類および非同型な既約表現をもつ。各共役類の大きさは1, 21, 42, 56, 24, 24であり、各既約表現の次元は1, 3, 3, 6, 7, 8である。

指標表

{\begin{array}{r|cccccc}&1A_{1}&2A_{21}&4A_{42}&3A_{56}&7A_{24}&7B_{24}\\\hline \chi _{1}&1&1&1&1&1&1\\\chi _{2}&3&-1&1&0&\sigma &{\bar {\sigma }}\\\chi _{3}&3&-1&1&0&{\bar {\sigma }}&\sigma \\\chi _{4}&6&2&0&0&-1&-1\\\chi _{5}&7&-1&-1&1&0&0\\\chi _{6}&8&0&0&-1&1&1\\\end{array}}

ただし $\sigma =(-1+i{\sqrt {7}})/2$ とする。

PSL₂(7)の位数は168=3×7×8なので、位数3,7,8のシロー部分群を持つ。素数位数の群は巡回群に限られるので、前者二つが巡回群であることは容易にわかる。共役類3A₅₆の任意の要素はシロー3部分群を生成する。また、共役類7A₂₄, 7B₂₄の任意の要素はシロー7部分群を生成する。シロー2部分群は位数8の二面体群である。これは共役類2A₂₁の任意の要素の中心化群として記述できる。GL₃(2)としての実現では、シロー2部分群は上三角行列の全体と一致する。

参考文献

Richter, David A., How to Make the Mathieu Group M₂₄ 2010年4月15日閲覧。

さらに詳しく

Brown, Ezra; Loehr, Nicholas (2009). “Why is PSL (2,7)≅ GL (3,2)?”. Am. Math. Mon. 116 (8): 727–732. doi:10.4169/193009709X460859. Zbl 1229.20046.


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのPSL(2, 7) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

PSL(2,_7)とは？わかりやすく解説

PSL(2, 7)

目次

定義

同型

性質

参考文献

さらに詳しく

関連項目

外部リンク

「PSL(2, 7)」の例文・使い方・用例・文例

「PSL(2,_7)」の関連用語

PSL(2,_7)とは？ わかりやすく解説

PSL(2, 7)

目次

定義

同型

性質

参考文献

さらに詳しく

関連項目

外部リンク

「PSL(2, 7)」の例文・使い方・用例・文例

「PSL(2,_7)」の関連用語

PSL(2,_7)とは？わかりやすく解説