行列群

数学において、行列群 (matrix group) はある体 K、通常は前もって固定される、上の可逆行列からなる群 G で、行列の積と逆の演算をもつ。より一般に、可換環 R 上の n × n 行列を考えることができる。（行列のサイズは有限に制限される、なぜならば任意の群は任意の体上の無限行列の群として表現することができるからだ。）線型群 (linear group) は体 K 上の行列群に同型な抽象群である、言い換えれば、K 上の忠実な有限次元表現をadmitする。

任意の有限群は線型である、なぜならばそれはケイリーの定理を使って置換行列によって実現できるからだ。無限群の中で、線型群は面白く扱いやすいクラスをなす。線型でない群の例はすべての「十分大きい」群を含む。例えば、無限集合の置換からなる無限対称群。

基本的な例

可換環 R 上の n × n 行列全体の集合 M_R(n,n) はそれ自身行列の加法と乗法の下で環である。M_R(n,n) の単元群は環 R 上の n × n 行列の一般線型群と呼ばれ、GL_n(R) あるいは GL(n,R) と表記される。すべての行列群は一般線型群の部分群である。

古典群

"「古典群」"

とりわけ面白い行列群はいわゆる古典群である。行列群の係数の環が実数のとき、これらの群は古典リー群である。基礎環が有限体であるとき古典群はリー型の群である。これらの群は有限単純群の分類において重要な役割を果たす。

行列群としての有限群

すべての有限群はある行列群と同型である。これはすべての有限群はある置換群と同型であると述べるケイリーの定理と似ている。同型の性質は推移的であるので、置換群から行列群をどのように構成するかを考えるだけでよい。

G を n 点 (Ω = {1,2,…,n}) 上の置換群とし {g₁,...,g_k} を G の生成集合とする。複素数体上の n×n 行列の一般線型群 GL_n(C) は自然にベクトル空間 Cⁿ に作用する。B={b₁,…,b_n} を Cⁿ の標準基底とする。各 g_i に対して M_i ∈ GL_n(C) を各 b_j を b_gi(j) に送る行列とする。つまり、置換 g_i が点 j を k に送るならば、M_i は基底ベクトル b_j を b_k に送る。M を {M₁,…,M_k} で生成される GL_n(C) の部分群とする。すると G の Ω 上の作用はちょうど M の B 上の作用と同じである。各 g_i を M_i に送る関数は同型に拡張ししたがってすべての群は行列群に同型であることが証明できる。

M は成分が 0 か 1 の元しかふくまないので体（上の場合 C）は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意の体に対して構成を同じく容易に実行することができる。

例として、G = S₃、3点上の対称群とする。g₁ = (1,2,3) と g₂ = (1,2) とする。このとき

[math] M_1 = \begin{bmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix} [/math]

[math] M_2 = \begin{bmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{bmatrix} [/math]

M₁b₁ = b₂, M₁b₂ = b₃ そして M₁b₃ = b₁. 同様に、M₂b₁ = b₂, M₂b₂ = b₁ そして M₂b₃ = b₃.

表現論と指標理論

線型変換と行列は（一般的に言って）数学においてよく理解されている対象であり、群の研究において広範囲に渡って使われてきた。とくに表現論は群から行列群への写像を研究し、指標理論は表現のトレースによって与えられる群から体への準同型を研究する。

例

• たくさんの例にはリー群一覧、有限単純群一覧、単純リー群一覧を見よ。
• 推移的有限線型群一覧を見よ。
• 2000年に braid group B_n がすべての n に対して線型であることが示されたときに長年の予想が解かれた。

参考文献

• Brian C. Hall Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, 1st edition, Springer, 2006. ISBN 0-387-40122-9
• Wulf Rossmann, Lie Groups: An Introduction Through Linear Groups (Oxford Graduate Texts in Mathematics), Oxford University Press ISBN 0-19-859683-9.
• La géométrie des groupes classiques, J. Dieudonné. Springer, 1955. ISBN 1-114-75188-X
• The classical groups, H. Weyl, ISBN 0-691-05756-7

Further reading

• Suprnenko, D.A. (1976). Matrix groups, Translations of mathematical monographs. American Mathematical Society. ISBN 0-8218-1595-4. 

外部リンク

• Linear groups, Encyclopaedia of Mathematics