一般線型群とは何？わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

一般線型群

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/22 10:23 UTC 版)

ナビゲーションに移動検索に移動

数学において、一般線型群（いっぱんせんけいぐん、英: general linear group）とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。

定義

$F$ を体とする^{[注 1]}。 $F$ 線型空間 $V$ 上の一般線型群とは $V$ 上の線型写像全体 $End(V)$ ^{[注 2]} のうち全単射な写像全体が写像の合成に関してなす群のことをいい、 $GL(V)$ または $Aut(V)$ ^{[注 3]} と表す。

あるいは $n$ 次元 $F$ 線型空間 $V$ の基底 $B$ = $(v 1, \dots, v n)$ をひとつ選び固定して、数ベクトル空間 $F n$ の元 $(a 1, \dots, a n)$ と線型空間 $V$ の元 $a 1 v 1 + \dots + a n v n$ とを同一視することによって、 $n$ 次正方行列全体 $M n (F)$ のうち正則な行列全体が行列の積に関してなす群のことを一般線型群ということも多い。この場合には $GL n (F)$ または $GL(n, F)$ と表す。行列式がゼロでない行列全体と言い換えてもよい。

\operatorname {GL} (V)=\{\,f\in \operatorname {End} (V)\mid \exists g\in \operatorname {End} (V)\ f\circ g=\operatorname {id} _{V}=g\circ f\,\}

{\begin{aligned}\operatorname {GL} _{n}(F)&=\{\,A\in \operatorname {M} _{n}(F)\mid \exists B\in \operatorname {M} _{n}(F)\ AB=I_{n}=BA\,\}\\&=\{\,A\in \operatorname {M} _{n}(F)\mid \det A\neq 0\,\}\end{aligned}}

どちらの定義も同じ対象を定めていると思ってよい。実際、 $n$ 次元 $F$ 線型空間 $V$ 上の一般線型群 $GL(V)$ と $n$ 次正則行列全体 $GL n (F)$ との間には次で定まる同型写像がある。

\operatorname {GL} (V)\to \operatorname {GL} _{n}(F),\ f\mapsto A=(a_{ij})

f(v_{i})=\sum _{j=1}^{n}a_{ji}v_{j}

例

$GL 2 (C)$

複素数体 $C$ 上の2次正則行列全体 $GL 2 (C)$ は次のように表せる。

\operatorname {GL} _{2}(\mathbb {C} )=\left\{\,{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {M} _{2}(\mathbb {C} )\mid ad-bc\neq 0\,\right\}

$GL 2 (F 2)$

二元体 $F 2 = Z /2 Z$ 上の $2$ 次正則行列全体 $GL 2 (F 2)$ は $3$ 次対称群と同型で次の $6$ つの行列からなる。

\operatorname {GL} _{2}(\mathbb {F} _{2})=\left\{{\begin{pmatrix}1&0\\0&1\end{pmatrix}},\ {\begin{pmatrix}0&1\\1&0\end{pmatrix}},\ {\begin{pmatrix}0&1\\1&1\end{pmatrix}},\ {\begin{pmatrix}1&0\\1&1\end{pmatrix}},\ {\begin{pmatrix}1&1\\0&1\end{pmatrix}},\ {\begin{pmatrix}1&1\\1&0\end{pmatrix}}\right\}

性質

有限一般線型群の位数

$q$ 元体 $F q$ 上の一般線型群 $GL n (F q)$ の位数は次のように表せる^[1]。

\vert \operatorname {GL} _{n}(\mathbb {F} _{q})\vert =(q^{n}-1)(q^{n}-q)\dotsm (q^{n}-q^{n-1})=q^{n(n-1)/2}\prod _{m=1}^{n}(q^{m}-1)

特に、主対角成分がすべて $1$ の上あるいは下三角行列からなる部分群 $U$ ^{[注 4]} は位数 $q n (n - 1)/2$ なので有限体の位数 $q$ を割り切る素数 $p$ に関するSylow部分群である^[2]。

Bruhat分解

一般線型群はBruhat分解される^[3]。つまり $B$ をBorel部分群（上あるいは下三角行列からなる部分群）、 $W$ をWeyl群（置換行列からなる部分群）としたとき一般線型群 $G = GL n (F)$ は両側剰余類として

G=BWB=\coprod _{w\in W}BwB

と分解される。

BNペア

一般線型群はBNペアを持つ^[4]。 $G$ の対角行列からなる部分群 $T$ ^{[注 5]} の $G$ における正規化群を $N = N G (T)$ とおけば、 $N$ は単項行列からなる部分群で $(B, N)$ はBNペアをなす。

脚注

注

^ $F$ としては有理数 $Q$ 、実数 $R$ 、複素数 $C$ などを例に考えればよい。
^ $V$ 上の自己準同型写像 (endomorphism) の意。
^ $V$ 上の自己同型写像 (automorphism) の意。
^ $U$ の元 $u$ は冪単（英語版） (unipotent) ―つまり $1 - u$ がべき零行列―なので慣習的に $U$ を使う。
^ Torusの意。

出典

^ Alperin & Bell 1995, p. 41.
^ Alperin & Bell 1995, p. 64.
^ Alperin & Bell 1995, p. 45.
^ Alperin & Bell 1995, p. 48.

参考文献

Alperin, J. L.; Bell, Rowen B. (1995). Groups and representations. Graduate texts in mathematics. 162. Springer-Verlag. ISBN 0-387-94526-1.

ウィキペディア小見出し辞書

索引トップ用語の索引ランキング

一般線型群

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/12 05:55 UTC 版)

「シローの定理」の記事における「一般線型群」の解説

q = pe 元からなる有限体 'F'q 上の一般線型群を G = GL(n, q) とおく。シローの定理から位数 |G|p = qn(n − 1)/2 のシロー p-部分群 U が存在する。たとえば n = 3 のとき U = { ( 1 x z 0 1 y 0 0 1 ) | x , y , z ∈ F q } {\displaystyle U=\left\{{\begin{pmatrix}1&x&z\\0&1&y\\0&0&1\end{pmatrix}}{\mathrel {}}{\Bigg |}{\mathrel {}}x,y,z\in \mathbb {F} _{q}\right\}} は GL(3, q) のシロー p-部分群で、位数が q3である。一般の n についても同様で、主対角成分が1の上三角行列からなる群は GL(n, q) のシロー p-部分群である。

※この「一般線型群」の解説は、「シローの定理」の解説の一部です。
「一般線型群」を含む「シローの定理」の記事については、「シローの定理」の概要を参照ください。

ウィキペディア小見出し辞書の「一般線型群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

>> 「一般線型群」を含む用語の索引
一般線型群のページへのリンク

一般線型群とは？わかりやすく解説

一般線型群

目次

定義