Movatterモバイル変換

射影線型群

出典: フリー百科事典『ウィキペディア（Wikipedia）』

「PGL」はこの項目へ転送されています。ポケモングローバルリンク（BW版）については「ポケットモンスターブラック・ホワイト#ポケモングローバルリンク」を、ポケモングローバルリンク（XY版）については「ポケットモンスター X・Y#ポケモングローバルリンク」をご覧ください。

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2024年1月）

数学における射影線型群（しゃえいせんけいぐん、英:projective linear group）あるいは射影一般線型群（しゃえいいっぱんせんけいぐん、英:projective general linear group）とは一般線型群の中心による剰余群のことである。

同様に、射影特殊線型群(しゃえいとくしゅせんけいぐん、英:projective special linear group)とは特殊線型群の中心による剰余群のことである。有限体上の射影特殊線型群はほとんどの場合に非可換有限単純群となる。

これらの群は射影空間に忠実に作用する。

定義

[編集]

体F 上の線型空間V の射影一般線型群とは、V 上の一般線型群 GL(V) の中心 Z(V) による剰余群PGL(V) = GL(V) / Z(V)のことである。この中心 Z(V) は非零スカラー変換全体のなす群と一致する。

同様に射影特殊線型群とは、V 上の特殊線型群 SL(V) の中心 SZ(V) による剰余群PSL(V) = SL(V) / SZ(V)のことである。この中心 SZ(V) は行列式が 1 であるスカラー変換全体のなす群と一致する。

特にV =Fⁿ のとき PGL(V)や PSL(V) の代わりに PGL(n,F) や PSL(n,F) と表記されることもある。

名前の由来

[編集]

射影線型群という名前は射影幾何学から発生した。ここに、同次座標系 (x₀:x₁: …:x_n) に作用する射影群は、射影幾何学の基礎をなす群である。（注意：従って、PGL(n + 1,F) は、n 次元射影空間に対する群である。）言い換えれば、群 GL(V) のV への自然な作用は、PGL(V) の射影空間P(V) への作用を引起こす。従って、射影線型群は、一次分数変換全体の群 PGL(2,C) （時としてメビウス群ともいう）を一般化したものである。ここで、PGL(2,C) は、複素射影直線に作用する。

有限体上の射影線型群

[編集]

この節では特に位数q の有限体F_q 上の射影線型群について述べる。このとき PGL(n,F_q) = PGL(n,q) や PSL(n,F_q) = PSL(n,q) = LF(n,q) = L_n(q) などと表すこともある。

位数

[編集]

${\begin{aligned}\vert \operatorname {PGL} (n,q)\vert &=q^{n(n-1)/2}\prod _{i=2}^{n}(q^{i}-1)/(q-1),\\\vert \operatorname {PSL} (n,q)\vert &=q^{n(n-1)/2}\prod _{i=2}^{n}(q^{i}-1)/d,\qquad d=(n,q-1).\end{aligned}}$

L_n(q) の単純性

[編集]

n ≥ 2 のときL₂(2)（3 次の対称群と同型である）およびL₂(3)（4 次の交代群と同型である）を除けばL_n(q) は非可換有限単純群である。非可換有限単純群である射影特殊線型群L_n(q) にも例外的にm 次の交代群A_m と同型であることがある。

L₂(4) ≅L₂(5) ≅A₅
L₂(9) ≅A₆
L₄(2) ≅A₈

参考文献

[編集]

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2024年1月）

日本数学会編『岩波数学辞典』（第4版）岩波書店、2007年3月。ISBN 978-4000803090。
Aschbacher, Michael (2000). Finite Group Theory. Cambridge University Press. ISBN 0-521-78675-4. Zbl 0997.20001

Movatterモバイル変換

定義

名前の由来

有限体上の射影線型群

位数

Ln(q) の単純性

参考文献

関連項目

L_n(q) の単純性