一般線形群

線形変換とその表現

同じ体$K$（四則演算が定義できる集合）上のベクトル空間$V$から$W$への写像で，任意の$\bm{x},\bm{y} \in V$と$a,b\in K$について

という性質を満たすものを，線形写像（linear map）という。 同じ体上というのは，例えばベクトル空間$V$が実ベクトル空間であれば$W$も実ベクトル空間，$V$が複素ベクトル空間であれば$W$も複素ベクトル空間といった意味である， 特に，$V=W$であるとき，すなわち同じベクトル空間上の写像であるとき，$T$を線形変換（linear transformation）や1次変換などという。

$V$の次元を$n$とし，基底を$\bm{e}_j \ (j=1,2,...,n)$と選ぶと，$V$の任意のベクトル$\bm{x}$は

と展開でき，これに対する$T$による変換は

と書ける。 この行列を，基底$\{\bm{e}_j\}$を用いた$T$の表現行列（representation matrix）という。 何もしないという変換（恒等変換）も，単位行列$I$によって表現できる。

線形変換群

変換$T,U$を続けて行った結果は

となり，$UT$という変換も，$\sum_{i=1}^n U_{ki}T_{ij}$という成分を持つ行列で表現できる。 また，線形代数の基本的な性質として，任意の行列は積の結合則を満たす。 さらに，表現行列が正則な行列，すなわち逆行列を持つ行列であれば，線形変換の表現行列は群としての定義を満たす。

すなわち，正則な正方行列からなる集合は群を成している。 これを$GL(n,F)$と表し，一般線形群（general linear group）と呼ぶ。 $F$は行列の成分が属する体を指しており，実数を成分とする行列からなる場合は$GL(n,R)$と表し，実一般線形群（real general linear group）と，複素数を成分とする行列からなる場合は$GL(n,C)$と表し，複素一般線形群（complex general linear group）と呼んだりもする。 一般線形群のことを線形変換群や1次変換群と呼ぶこともある。

特殊線形群

ここでは，体として$R$または複素数体$C$を考え，$K$は$R$か$C$のどちらかを表すとする。 体$K$上で定義される$n$次正方行列すべての集合$M(n,K)$のうち，正則な行列（逆行列を持つ行列）の作る集合$GL(n,K)$は群を成し，それを一般線形群と呼ぶのであった。

正則であるということは行列式が0でないということだから，$GL(n,K)$は

と表せる。 このうち，行列式が1である部分，すなわち

を，特殊線形群（special linear group）という。

特殊線形群$SL(n,K)$が$GL(n,K)$の部分群となっていることは次のことからわかる。 まず，定義より，任意の$g,h\in SL(n,K)$について$\det g= \det h=1$であるが，行列式の性質から，$\det(gh)=\det{(g)}\det{(h)}=1$であるから

とわかる。 また，逆行列の性質として，$\det (g^{-1})=(\det{g})^{-1}$が成り立つから，任意の$g\in SL(n,C)$について，$\det (g^{-1})=(\det{g})^{-1}=1$である。 よって

であり，(\ref{eq:gh1})および(\ref{eq:gh2})より，$SL(n,K)$が$GL(n,K)$の部分群であることが言える。