出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|General linear group|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
数学において、一般線型群(いっぱんせんけいぐん、英: general linear group)とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。
F を体とする[注 1]。 F 線型空間 V 上 の一般線型群とは V 上の線型写像全体 End(V)[注 2] のうち全単射 な写像全体が写像の合成に関してなす群のことをいい、GL(V) または Aut(V)[注 3] と表す。
あるいは n 次元 F 線型空間 V の基底 B = (v1, …, vn) をひとつ選び固定して、数ベクトル空間 Fn の元 (a1, …, an) と線型空間 V の元 a1v1 + … + anvn とを同一視することによって、 n 次正方行列全体 Mn(F) のうち正則な行列全体が行列の積に関してなす群のことを一般線型群ということも多い。この場合には GLn(F) または GL(n, F) と表す。行列式がゼロでない行列全体と言い換えてもよい。
![{\displaystyle \operatorname {GL} (V)=\{\,f\in \operatorname {End} (V)\mid \exists g\in \operatorname {End} (V)\ f\circ g=\operatorname {id} _{V}=g\circ f\,\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7b62f01b2807de7365af361a8e389935b58c19)
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7843c5e6c7ea340005e8f61278f3db0b007b294)
どちらの定義も同じ対象を定めていると思ってよい。実際、n 次元 F 線型空間 V 上の一般線型群 GL(V) と n 次正則行列全体 GLn(F)
との間には次で定まる同型写像がある。
![{\displaystyle \operatorname {GL} (V)\to \operatorname {GL} _{n}(F),\ f\mapsto A=(a_{ij})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d036450ea0717440cc86b788d67a27d13083d6d)
![{\displaystyle f(v_{i})=\sum _{j=1}^{n}a_{ji}v_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5edea2e02eb2b940c99b3ac577a1889e626df13)
GL2(C)[編集]
複素数体 C 上の2次正則行列全体 GL2(C) は次のように表せる。
![{\displaystyle \operatorname {GL} _{2}(\mathbb {C} )=\left\{\,{\begin{bmatrix}a&b\\c&d\end{bmatrix}}\in \operatorname {M} _{2}(\mathbb {C} )\mid ad-bc\neq 0\,\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c7941d590600cb0e4d4016d380a00ad93a5d023)
GL2(F2)[編集]
二元体 F2 = Z/2Z 上の 2 次正則行列全体 GL2(F2) は 3 次対称群と同型で次の 6 つの行列からなる。
![{\displaystyle \operatorname {GL} _{2}(\mathbb {F} _{2})=\left\{{\begin{bmatrix}1&0\\0&1\end{bmatrix}},\ {\begin{bmatrix}0&1\\1&0\end{bmatrix}},\ {\begin{bmatrix}0&1\\1&1\end{bmatrix}},\ {\begin{bmatrix}1&0\\1&1\end{bmatrix}},\ {\begin{bmatrix}1&1\\0&1\end{bmatrix}},\ {\begin{bmatrix}1&1\\1&0\end{bmatrix}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1446778c26ea4be5d552e056eb6c426f0022b54a)
有限一般線型群の位数[編集]
q元体 Fq 上の一般線型群 GLn(Fq) の位数は次のように表せる。
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b70af248915e8dff318047c07c206d2995feaf1)
特に、主対角成分がすべて 1 の上あるいは下三角行列からなる部分群 U[注 4] は位数 qn(n − 1)/2 なので有限体の位数 q を割り切る素数 p に関するSylow部分群である。
Bruhat分解[編集]
一般線型群はBruhat分解される。つまり B をBorel部分群(上あるいは下三角行列からなる部分群)、W をWeyl群(置換行列からなる部分群)としたとき一般線型群 G = GLn(F) は両側剰余類として
![{\displaystyle G=BWB=\coprod _{w\in W}BwB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b96cbca47d50f188974f0adbffcd1b90426b191a)
と分解される。
BNペア[編集]
一般線型群はBNペアを持つ。G の対角行列からなる部分群 T[注 5] の G における正規化群を N = NG(T) とおけば、N は単項行列からなる部分群で (B, N) はBNペアをなす。
関連項目[編集]
参考文献[編集]