この記事は英語版の対応するページ
を翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。数学において、一般線型群(いっぱんせんけいぐん、英: 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) と表す。行列式がゼロでない行列全体と言い換えてもよい。 GL ( V ) = { f ∈ End ( V ) ∣ ∃ g ∈ End ( V ) f ∘ g = id V = g ∘ 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\,\}} GL n ( F ) = { A ∈ M n ( F ) ∣ ∃ B ∈ M n ( F ) A B = I n = B A } = { A ∈ M n ( F ) ∣ det A ≠ 0 } {\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}}} どちらの定義も同じ対象を定めていると思ってよい。実際、n 次元 F 線型空間 V 上の一般線型群 GL(V) と n 次正則行列全体 GLn(F)との間には次で定まる同型写像がある。 GL ( V ) → GL n ( F ) , f ↦ A = ( a i j ) {\displaystyle \operatorname {GL} (V)\to \operatorname {GL} _{n}(F),\ f\mapsto A=(a_{ij})} f ( v i ) = ∑ j = 1 n a j i v j {\displaystyle f(v_{i})=\sum _{j=1}^{n}a_{ji}v_{j}} 複素数体 C 上の2次正則行列全体 GL2(C) は次のように表せる。 GL 2 ( C ) = { [ a b c d ] ∈ M 2 ( C ) ∣ a d − b c ≠ 0 } {\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\}} 二元体 F2 = Z/2Z 上の 2 次正則行列全体 GL2(F2) は 3 次対称群と同型で次の 6 つの行列からなる。 GL 2 ( F 2 ) = { [ 1 0 0 1 ] , [ 0 1 1 0 ] , [ 0 1 1 1 ] , [ 1 0 1 1 ] , [ 1 1 0 1 ] , [ 1 1 1 0 ] } {\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\}} q元体 Fq 上の一般線型群 GLn(Fq) の位数は次のように表せる[1]。
定義
例
GL2(C)
GL2(F2)
性質
有限一般線型群の位数
Size:23 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef